{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:07:44Z","timestamp":1725566864293},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540290100"},{"type":"electronic","value":"9783540320579"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11557432_8","type":"book-chapter","created":{"date-parts":[[2005,11,2]],"date-time":"2005-11-02T08:43:26Z","timestamp":1130921006000},"page":"97-112","source":"Crossref","is-referenced-by-count":28,"title":["UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal"],"prefix":"10.1007","author":[{"given":"Michelle L.","family":"Crane","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juergen","family":"Dingel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The ESTEREL synchronous programming language: design, semantics, implementation. Science of Comp. Prog.\u00a019, 87\u2013152 (1992)","journal-title":"Science of Comp. Prog."},{"key":"8_CR2","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"1999","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1999)"},{"key":"8_CR3","series-title":"Object Technology Series","volume-title":"Real Time UML","author":"B.P. Douglass","year":"2004","unstructured":"Douglass, B.P.: Real Time UML, 3rd edn. Object Technology Series. Addison-Wesley, Reading (2004)","edition":"3"},{"key":"8_CR4","unstructured":"Gogolla, M., Parisi-Presicce, F.: State diagrams in UML: A formal semantics using graph transformations. In: Proc. Workshop on Precise Semantics for Modelling Techniques, Technische Universit\u00e4t M\u00fcnchen, TUM-I9803, pp. 55\u201372 (1998)"},{"issue":"3","key":"8_CR5","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming\u00a08(3), 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/3-540-63166-6_23","volume-title":"Computer Aided Verification","author":"D. Harel","year":"1997","unstructured":"Harel, D.: Some thoughts on statecharts, 13 years later. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 226\u2013231. Springer, Heidelberg (1997)"},{"issue":"7","key":"8_CR7","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/2.596624","volume":"30","author":"D. Harel","year":"1997","unstructured":"Harel, D., Gery, E.: Executable object modeling with statecharts. Computer\u00a030(7), 31\u201342 (1997)","journal-title":"Computer"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/978-3-540-27863-4_19","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"D. Harel","year":"2004","unstructured":"Harel, D., Kugler, H.: The RHAPSODY semantics of statecharts (on, on the executable core of the UML) (preliminary version). In: Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) INT 2004. LNCS, vol.\u00a03147, pp. 325\u2013354. Springer, Heidelberg (2004)"},{"issue":"4","key":"8_CR9","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"Harel, D., Naamad, A.: The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology\u00a05(4), 293\u2013333 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"8_CR10","first-page":"54","volume-title":"Proc. of the 2nd IEEE Symposium on Logic in Computer Science","author":"D. Harel","year":"1987","unstructured":"Harel, D., Pnueli, A., Schmidt, J.P., Sherman, R.: On the formal semantics of statecharts. In: Proc. of the 2nd IEEE Symposium on Logic in Computer Science, pp. 54\u201364. Computer Society Press of the IEEE, Los Alamitos (1987)"},{"key":"8_CR11","volume-title":"Modeling Reactive Systems with Statecharts: the STATEMATE Approach","author":"D. Harel","year":"1998","unstructured":"Harel, D., Politi, M.: Modeling Reactive Systems with Statecharts: the STATEMATE Approach. McGraw-Hill, New York (1998)"},{"key":"8_CR12","unstructured":"I-Logix. Rhapsody 6.0 User Guide"},{"key":"8_CR13","unstructured":"I-Logix. Tutorial for Rhapsody in J, Release 4.1 MR2 (2003)"},{"key":"8_CR14","first-page":"120","volume-title":"Proc.8th ACM SIGSOFT Int\u2019ll Symposium on Foundations of Software Engineering","author":"G. L\u00fcttgen","year":"2000","unstructured":"L\u00fcttgen, G., von der Beeck, M., Cleaveland, R.: A compositional approach to statecharts semantics. In: Proc.8th ACM SIGSOFT Int\u2019ll Symposium on Foundations of Software Engineering, pp. 120\u2013129. ACM Press, New York (2000)"},{"key":"8_CR15","unstructured":"Mikk, E.: Semantics and Verification of Statecharts. PhD thesis, Christian- Albrechts University of Kiel, 2000. Bericht Nr (2011)"},{"key":"8_CR16","unstructured":"OMG. OMG Unified Modeling Language specification. Adopted Formal Specification formal\/03-03-01, Object Management Group, 2003. Version 1.5 (2003)"},{"key":"8_CR17","unstructured":"OMG. UML 2.0 infrastructure specification. Technical Report ptc\/03-09-15, Object Management Group (2004)"},{"key":"8_CR18","unstructured":"OMG. UML 2.0 superstructure specification. Technical Report ptc\/04-10-02, Object Management Group (2004)"},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-54415-1_49","volume-title":"Theoretical Aspects of Computer Software","author":"A. Pnueli","year":"1991","unstructured":"Pnueli, A., Shalev, M.: What is in a step: On the semantics of statecharts. In: Ito, T., Meyer, A.R. (eds.) TACS 1991. LNCS, vol.\u00a0526, pp. 244\u2013264. Springer, Heidelberg (1991)"},{"issue":"5","key":"8_CR20","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/MS.2003.1231146","volume":"20","author":"B. Selic","year":"2003","unstructured":"Selic, B.: The pragmatics of model-driven development. IEEE Software\u00a020(5), 19\u201325 (2003)","journal-title":"IEEE Software"},{"key":"8_CR21","unstructured":"Selic, B.: Personal Communication (March 2005)"},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","first-page":"128","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"M. Beeck von der","year":"1994","unstructured":"von der Beeck, M.: A comparison of statecharts variants. In: Langmaack, H., de Roever, W.-P., Vytopil, J. (eds.) FTRTFT 1994 and ProCoS 1994. LNCS, vol.\u00a0863, pp. 128\u2013148. Springer, Heidelberg (1994)"},{"issue":"2","key":"8_CR23","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/s10270-002-0012-8","volume":"1","author":"M. Beeck von der","year":"2002","unstructured":"von der Beeck, M.: A structured operational semantics for UML-statecharts. Software and Systems Modeling\u00a01(2), 130\u2013141 (2002)","journal-title":"Software and Systems Modeling"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11557432_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:09:20Z","timestamp":1619507360000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11557432_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540290100","9783540320579"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11557432_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}