{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:46:11Z","timestamp":1747579571255},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540631415"},{"type":"electronic","value":"9783540691884"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63141-0_13","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:08:43Z","timestamp":1330297723000},"page":"181-195","source":"Crossref","is-referenced-by-count":3,"title":["Horizontal and vertical structuring techniques for statecharts"],"prefix":"10.1007","author":[{"given":"Hartmut","family":"Ehrig","sequence":"first","affiliation":[]},{"given":"Robert","family":"Geisler","sequence":"additional","affiliation":[]},{"given":"Marcus","family":"Klar","sequence":"additional","affiliation":[]},{"given":"Julia","family":"Padberg","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"13_CR1","unstructured":"S. Cook and J. Daniels. Designing Object Systems \u2014 Object-Oriented Modelling with Syntropy. Prentice Hall, 1994."},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"H. Ehrig, A. Habel, H.-J. Kreowski, and F. Parisi-Presicce. From graph grammars to High Level Replacement Systems, pages 269\u2013291. Springer-Verlag, 1991. Lecture Notes in Computer Science 532.","DOI":"10.1007\/BFb0017395"},{"key":"13_CR3","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1017\/S0960129500001353","volume":"1","author":"H. Ehrig","year":"1991","unstructured":"H. Ehrig, A. Habel, H.-J. Kreowski, and F. Parisi-Presicce. Parallelism and concurrency in high-level replacement systems. Math. Struct. in Comp. Science, 1:361\u2013404, 1991.","journal-title":"Math. Struct. in Comp. Science"},{"key":"13_CR4","unstructured":"C. Ermel, J. Padberg, and H. Ehrig. Requirements Engineering of a Medical Information System Using Rule-Based Refinement of Petri Nets. In Proc. Integrated Design and Process Technology, 1996."},{"issue":"3","key":"13_CR5","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231\u2013274, June 1987.","journal-title":"Science of Computer Programming"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"D. Harel and E. Gery. Executable object modeling with statecharts. In Proc. of 18th ICSE, Berlin, March 1996.","DOI":"10.1109\/ICSE.1996.493420"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. Statemate: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16 no. 4, Apr. 1990.","DOI":"10.1109\/32.54292"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"D. Harel and A. Naamad. The Statemate semantics of statecharts. ACM Trans. Soft. Eng. Method., Oct. 1996.","DOI":"10.1145\/235321.235322"},{"key":"13_CR9","first-page":"54","volume-title":"Symposium on Logic in Computer Science","author":"D. Harel","year":"1987","unstructured":"D. Harel, A. Pnueli, J. P. Schmidt, and R. Sherman. On the formal semantics of statecharts. In Symposium on Logic in Computer Science, pages 54\u201364, New York, 1987. IEEE Computer Society Press."},{"key":"13_CR10","volume-title":"Modeling reactive systems with statecharts: The statemate approach. i-Logix Inc","author":"D. Harel","year":"1996","unstructured":"D. Harel and M. Politi. Modeling reactive systems with statecharts: The statemate approach. i-Logix Inc, Three Riverside Drive, Andover, MA 01810, USA, June 1996. Part No. D-1100-43, 6\/96."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"C. Huizing, R. Gerth, and W. P. de Roever. Modelling statecharts behaviour in a fully abstract way. In Proc. 13th CAAP, volume 299 of Lecture Notes in Computer Science. Springer-Verlag, 1988.","DOI":"10.1007\/BFb0026110"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"F. Maraninchi. Operational and compositional semantics of synchronous automaton composition. In Proc. CONCUR'92 \u2014 Third International Conference on Concurrency Theory, volume 630 of Lecture Notes in Computer Science, pages 530\u2013564, 1992.","DOI":"10.1007\/BFb0084815"},{"key":"13_CR13","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1017\/S0960129500000724","volume":"5","author":"J. Padberg","year":"1995","unstructured":"J. Padberg, H. Ehrig, and L. Ribeiro. Algebraic high-level net transformation systems. Mathematical Structures in Computer Science, 5:217\u2013256, 1995.","journal-title":"Mathematical Structures in Computer Science"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science 526","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":"A. Pnueli and M. Shalev. What is in a step: On the semantics of statecharts. In T. Ito and A. R. Meyer, editors, Theoretical Aspects of Computer Software, pages 244\u2013264, New York, Sept. 1991. Springer-Verlag. Lecture Notes in Computer Science 526."},{"key":"13_CR15","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, 1991."},{"key":"13_CR16","unstructured":"B. Selic, G. Gullekson, and P. Ward. Real-Time Object-Oriented Modeling. Wiley, 1994."},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"M. von der Beeck. A comparison of statecharts variants. In Langmaak, de Roever, and Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 863 of Lecture Notes in Computer Science, pages 128\u2013148, 1994.","DOI":"10.1007\/3-540-58468-4_163"}],"container-title":["Lecture Notes in Computer Science","CONCUR '97: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63141-0_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:16:05Z","timestamp":1605647765000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63141-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631415","9783540691884"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-63141-0_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}