{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:04:23Z","timestamp":1725473063920},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540477037"},{"type":"electronic","value":"9783540477044"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11908883_7","type":"book-chapter","created":{"date-parts":[[2006,11,18]],"date-time":"2006-11-18T10:43:22Z","timestamp":1163846602000},"page":"43-52","source":"Crossref","is-referenced-by-count":1,"title":["Finite State History Modeling and Its Precise UML-Based Semantics"],"prefix":"10.1007","author":[{"given":"Dirk","family":"Draheim","sequence":"first","affiliation":[]},{"given":"Gerald","family":"Weber","sequence":"additional","affiliation":[]},{"given":"Christof","family":"Lutteroth","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/3-540-40011-7_22","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"C. Atkinson","year":"2000","unstructured":"Atkinson, C., K\u00fchne, T.: Strict profiles: Why and how. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 309\u2013322. Springer, Heidelberg (2000)"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-45441-1_3","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"C. Atkinson","year":"2001","unstructured":"Atkinson, C., K\u00fchne, T.: The Essence of Multilevel Metamodeling. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 19\u201333. Springer, Heidelberg (2001)"},{"key":"7_CR3","volume-title":"Form-Oriented Analysis - A New Methodology to Model Form-Based Applications","author":"D. Draheim","year":"2005","unstructured":"Draheim, D., Weber, G.: Form-Oriented Analysis - A New Methodology to Model Form-Based Applications. Springer, Heidelberg (2005)"},{"issue":"2","key":"7_CR4","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/j.intcom.2005.01.002","volume":"17","author":"D. Draheim","year":"2005","unstructured":"Draheim, D., Weber, G.: Modelling Form-Based Interfaces with Bipartite State Machines. Journal Interacting with Computers\u00a017(2), 207\u2013228 (2005)","journal-title":"Journal Interacting with Computers"},{"key":"7_CR5","volume-title":"Design Patterns","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., et al.: Design Patterns. Addison-Wesley, Reading (1995)"},{"key":"7_CR6","first-page":"231","volume-title":"Science of Computer Programming","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a Visual Formalism for Complex Systems. In: Science of Computer Programming, pp. 231\u2013274. Elsevier Science Publishers B.V., Amsterdam (1987)"},{"issue":"4","key":"7_CR7","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":"7_CR8","unstructured":"IEEE Std 830-1993. Recommended Practice for Software Requirements Specifications. Software Engineering Standards Committee of the IEEE Computer Society, New York (1993)"},{"key":"7_CR9","volume-title":"The Object Constraint Language","author":"J. Warmer","year":"1999","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language. Addison-Wesley, Reading (1999)"}],"container-title":["Lecture Notes in Computer Science","Advances in Conceptual Modeling - Theory and Practice"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11908883_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:39:28Z","timestamp":1619509168000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11908883_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540477037","9783540477044"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/11908883_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}