{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:00:37Z","timestamp":1725494437628},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540762911"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-76292-8_11","type":"book-chapter","created":{"date-parts":[[2007,11,12]],"date-time":"2007-11-12T08:38:29Z","timestamp":1194856709000},"page":"86-95","source":"Crossref","is-referenced-by-count":0,"title":["Developing State Diagrams Using a State Specialization Technique"],"prefix":"10.1007","author":[{"given":"Il-Yeol","family":"Song","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ki Jung","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"2005","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Upper Saddle River, NJ (2005)"},{"key":"11_CR2","volume-title":"Designing Object Systems: Object-Oriented Modeling with Syntropy","author":"S. Cook","year":"1994","unstructured":"Cook, S., Daniels, J.: Designing Object Systems: Object-Oriented Modeling with Syntropy. Prentice-Hall, Englewood Cliffs (1994)"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1007\/11568346_3","volume-title":"ER Workshops 2005","author":"J.A. Cruz-Lemus","year":"2005","unstructured":"Cruz-Lemus, J.A., Genero, M., Piattini, M., Toval, A.: An Empirical Study of the Nesting Level of Composite States within UML Statechart Diagrams. In: Akoka, J. (ed.) ER Workshops 2005. LNCS, vol.\u00a03770, pp. 12\u201322. Springer, Heidelberg (2005)"},{"key":"11_CR4","unstructured":"Fernandez-Aleman, J.L., Toval-Alvarez, A.: Can Intuition Become Rigorous?: Foundations for UML Model Verification Tool. In: ISSRE 2000. The Eleventh International Symposium on Software Reliability Engineering, San Jos\u00e9, California (2000)"},{"key":"11_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, 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1145\/42411.42414","volume":"31","author":"D. Harel","year":"1988","unstructured":"Harel, D.: On Visual Formalisms. Communications of the ACM\u00a031, 514\u2013530 (1988)","journal-title":"Communications of the ACM"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/s10515-006-0272-6","volume":"13","author":"Z. Hu","year":"2006","unstructured":"Hu, Z., Shatz, S.M.: Explicit Modeling of Semantics Associated with Composite States in UML Statecharts. Automated Software Engineering\u00a013, 423\u2013467 (2006)","journal-title":"Automated Software Engineering"},{"key":"11_CR8","volume-title":"Developing Applications with Visual Basic and UML","author":"P.R. Reed","year":"2000","unstructured":"Reed, P.R.: Developing Applications with Visual Basic and UML. Addison-Wesley Publishing Company, Reading, MA (2000)"},{"key":"11_CR9","unstructured":"Roques, P.: UML in Practice: The Art of Modeling Software Systems Demonstrated through Worked Examples and Solutions. Wiley, Hoboken, NJ (2004)"},{"key":"11_CR10","first-page":"1","volume":"47","author":"T. Schafer","year":"2001","unstructured":"Schafer, T., Knapp, A., Merz, S.: Model Checking UML State Machines and Collaborations. Electronic Notes in Theoretical Computer Science\u00a047, 1\u201313 (2001)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"11_CR11","volume-title":"Object Lifecycles Modeling the World in States","author":"S. Shlaer","year":"1992","unstructured":"Shlaer, S., Mellor, S.J.: Object Lifecycles Modeling the World in States. Yourdon Press, Englewood Cliffs, NJ (1992)"},{"key":"11_CR12","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, 130\u2013141 (2002)","journal-title":"Software and Systems Modeling"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1023\/A:1016091900743","volume":"8","author":"G.M. Wyner","year":"2002","unstructured":"Wyner, G.M., Lee, J.: Process Specialization: Defining Specialization for State Diagrams. Computational & Mathematical Organization Theory\u00a08, 133\u2013155 (2002)","journal-title":"Computational & Mathematical Organization Theory"}],"container-title":["Lecture Notes in Computer Science","Advances in Conceptual Modeling \u2013 Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76292-8_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:45:44Z","timestamp":1619505944000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76292-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540762911"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76292-8_11","relation":{},"subject":[]}}