{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:23:07Z","timestamp":1725488587365},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540426677"},{"type":"electronic","value":"9783540454410"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45441-1_23","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T13:29:50Z","timestamp":1186406990000},"page":"302-316","source":"Crossref","is-referenced-by-count":4,"title":["Representing Embedded System Sequence Diagrams as a Formal Language"],"prefix":"10.1007","author":[{"given":"Elizabeth","family":"Latronico","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philip","family":"Koopman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,9,17]]},"reference":[{"key":"23_CR1","unstructured":"Douglass, B. Doing Hard Time. Addison-Wesley, 1999."},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Glinz, M. An Integrated Formal Model of Scenarios Based on Statecharts. In Proceedings of the 5th European Software Engineering Conference (ESEC 95), Sitges, Spain, 1995, pp. 254\u2013271.","DOI":"10.1007\/3-540-60406-5_19"},{"issue":"3","key":"23_CR3","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, vol.8, no.3, 1987, pp. 231\u2013274.","journal-title":"Science of Computer Programming"},{"key":"23_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/978-3-540-48480-6_2","volume-title":"UML\u2019 98-The Unified Modeling Language","author":"M. Hitz","year":"1999","unstructured":"Hitz, M., and G. Kappel. Developing with UML-Some Pitfalls and Workarounds. UML\u2019 98-The Unified Modeling Language, Lecture Notes in Computer Science 1618, Springer-Verlag, 1999, pp. 9\u201320."},{"issue":"2","key":"23_CR5","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/52.268953","volume":"11","author":"P. Hsia","year":"1994","unstructured":"Hsia, P. et al. Formal Approach to Scenario Analysis. IEEE Software, vol.11, no.2, 1994, pp. 33\u201341.","journal-title":"IEEE Software"},{"key":"23_CR6","unstructured":"ITU-T. Recommendation Z.120. ITU-Telecommunication Standardization Sector, Geneva, Switzerland, May 1996."},{"key":"23_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1007\/978-3-540-48480-6_11","volume-title":"UML\u2019 98-The Unified Modeling Language","author":"I. Khriss","year":"1999","unstructured":"Khriss, I., M. Elkoutbi, and R. Keller. Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams. UML\u2019 98-The Unified Modeling Language, Lecture Notes in Computer Science 1618, Springer-Verlag, 1999, pp. 132\u2013147."},{"issue":"1","key":"23_CR8","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1109\/52.646888","volume":"15","author":"K. Koskimies","year":"1998","unstructured":"Koskimies, K., T. Syst\u00e4, J. Tuomi, and T. M\u00e4nnist\u00f6. Automated Support for Modeling OO Software. IEEE Software, vol.15, no.1, 1998, pp. 87\u201394.","journal-title":"IEEE Software"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Leue, S., L. Mehrmann, and M. Rezai. Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications. In Proceedings of the 13th IEEE International Conference on Automated Software Engineering, Honolulu, Hawaii, 1998, pp. 192\u2013195.","DOI":"10.1109\/ASE.1998.732635"},{"key":"23_CR10","unstructured":"Li, X. and J. Lilius. Checking Compositions of UML Sequence Diagrams for Timing Inconsistency. In Proceedings of the Seventh Asia-Pacific Software Engineering Conference (APSEC 2000), Singapore, 2000, pp. 154\u2013161."},{"key":"23_CR11","unstructured":"Louden, K. Compiler Construction: Principles and Practice. PWS Publishing Company, 1997."},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Som\u00e9, S., R. Dssouli, and J. Vaucher. From Scenarios to Timed Automata: Building Specifications from User Requirements. In Proceedings of the 1995 Asia-Pacific Software Engineering Conference, Australia, 1995, pp. 48\u201357.","DOI":"10.1109\/APSEC.1995.496953"},{"issue":"5","key":"23_CR13","first-page":"18","volume":"13","author":"T. Syst\u00e4","year":"2000","unstructured":"Syst\u00e4, T. Incremental Construction of Dynamic Models for Object-Oriented Software Systems. Journal of Object-Oriented Programming, vol.13, no.5, 2000, pp. 18\u201327.","journal-title":"Journal of Object-Oriented Programming"},{"key":"23_CR14","unstructured":"Unified Modeling Language Specification, Version 1.3, 1999. Available from the Object Management Group. \n                    http:\/\/www.omg.com\n                    \n                  ."},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Whittle, J., and J. Schumann. Generating Statechart Designs from Scenarios. In Proceedings of the 2000 International Conference on Software Engineering (ICSE 2000), Limerick, Ireland, 2000, pp. 314.","DOI":"10.1145\/337180.337217"}],"container-title":["Lecture Notes in Computer Science","\u226aUML\u226b 2001 \u2014 The Unified Modeling Language. Modeling Languages, Concepts, and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45441-1_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,20]],"date-time":"2019-02-20T20:02:33Z","timestamp":1550692953000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45441-1_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426677","9783540454410"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45441-1_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}