{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:32:08Z","timestamp":1742383928760},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437031"},{"type":"electronic","value":"9783540478843"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-47884-1_8","type":"book-chapter","created":{"date-parts":[[2007,5,19]],"date-time":"2007-05-19T20:46:26Z","timestamp":1179607586000},"page":"128-144","source":"Crossref","is-referenced-by-count":16,"title":["Translating Statecharts to B"],"prefix":"10.1007","author":[{"given":"Emil","family":"Sekerinski","sequence":"first","affiliation":[]},{"given":"Rafik","family":"Zurob","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,4,23]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"J.-R. Abrial. The B Book: Assigning Programs to Meaning. Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511624162"},{"issue":"7","key":"8_CR2","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/2.596624","volume":"30","author":"D. Harel","year":"1996","unstructured":"D. Harel and E. Gery. Executable object modeling with statecharts. IEEE Computer, 30(7):31\u201342, 1996.","journal-title":"IEEE Computer"},{"issue":"5","key":"8_CR3","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"D. Harel and A. Naamad. The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology, 5(5):293\u2013333, 1996.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"8_CR4","doi-asserted-by":"publisher","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:231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"R. Laleau and A. Mammar. An overview of a method and its support tool for generating B specifications from UMl notations. In 15th IEEE International Conference on Automated Software Engineering, ASE 2000, Grenoble, France, 2000. IEEE Computer Socitey Press.","DOI":"10.1109\/ASE.2000.873675"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"K. Lano, K. Androutsopoulos, and P. Kan. Structuring reactive systems in B AMN. In 3rd IEEE International Conference on Formal Engineering Methods, York, England, 2000. IEEE Computer Socitey Press.","DOI":"10.1109\/ICFEM.2000.873802"},{"key":"8_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"430","DOI":"10.1007\/3-540-46852-8_31","volume-title":"UML\u201999-The Unified Modeling Language Beyond the Standard","author":"J. Lilius","year":"1999","unstructured":"J. Lilius and I. P. Paltor. Formalising UML state machines for model checking. In R. France and B. Rumpe, editors, UML\u201999-The Unified Modeling Language Beyond the Standard, Lecture Notes in Computer Science 1723, pages 430\u2013445, Fort Collins, Colorado, 1999. Springer-Verlag."},{"key":"8_CR8","unstructured":"J. Lilius and I. Paltor. vUML: a tool for verifying UML models. In 14th IEEE International Conference on Automated Software Engineering, ASE\u201999, Cocoa Beach, Florida, 1999. IEEE Computer Socitey Press."},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"E. Mikk, Y. Lakhnech, C. Petersohn, and M. Siegel. On the formal semantics of statecharts as supported by statemate. In BCS-FACS 2nd Northern Formal Methods Workshop, Ilkley, 1997. Springer-Verlag.","DOI":"10.14236\/ewic\/FA1997.12"},{"key":"8_CR10","unstructured":"E. Mikk, Y Lakhnech, M. Siegel, and G. J. Holzmann. Implementing statecharts in Promela \/ Spin. In Second IEEE Workshop on Industrial-Strength Formal Specification Techniques, Boca Raton, Florida, 1998. IEEE Computer Society Press."},{"key":"8_CR11","unstructured":"H. P. Nguyen. D\u00e9rivation De Sp\u00e9cifications Formelles B \u00e0 Partir De Sp\u2019ecifications Semi-Formelles. Doctoral thesis, Centre d\u2019\u00c9tudes et de Recherche en Informatique du CNAM, 1998."},{"key":"8_CR12","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddi, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall, 1991."},{"key":"8_CR13","unstructured":"J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1999."},{"key":"8_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45441-1_28","volume-title":"UML 2001-The Unified Modeling Language, 4th International Conference","author":"E. Sekerinski","year":"2001","unstructured":"E. Sekerinski and R. Zurob. iState: A statechart translator. In M. Gogolla and C. Kobryn, editors, UML 2001-The Unified Modeling Language, 4th International Conference, Lecture Notes in Computer Science 2185, Toronto, Canada, 2001. Springer-Verlag."},{"key":"8_CR15","series-title":"Lect Notes Comput Sci","volume-title":"2nd International B Conference","author":"E. Sekerinski","year":"1998","unstructured":"E. Sekerinski. Graphical design of reactive systems. In D. Bert, editor, 2nd International B Conference, Lecture Notes in Computer Science 1393, Montpellier, France, 1998. Springer-Verlag."}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47884-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T05:37:50Z","timestamp":1587533870000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47884-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437031","9783540478843"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-47884-1_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}