{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:11:34Z","timestamp":1761487894948},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540675303"},{"type":"electronic","value":"9783540454991"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45499-3_22","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T21:55:04Z","timestamp":1185918904000},"page":"293-308","source":"Crossref","is-referenced-by-count":36,"title":["An ASM Semantics for UML Activity Diagrams"],"prefix":"10.1007","author":[{"given":"Egon","family":"B\u00f6rger","sequence":"first","affiliation":[]},{"given":"Alessandra","family":"Cavarra","sequence":"additional","affiliation":[]},{"given":"Elvinia","family":"Riccobene","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,5,19]]},"reference":[{"unstructured":"G. Booch, J. Rumbaugh, I. Jacobson, The Unified Modeling Language User Guide, Addison Wesley, 1999.","key":"22_CR1"},{"key":"22_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-48257-1_1","volume-title":"Current Trends in Applied Formal Methods (FM-Trends 98)","author":"E. B\u00f6rger","year":"1999","unstructured":"E. B\u00f6rger, High Level System Design and Analysis using Abstract State Machines; in D. Hutter, W. Stephan, P. Traverso, M. Ullmann (eds): Current Trends in Applied Formal Methods (FM-Trends 98), Springer LNCS 1641, pp. 1\u201343, 1999."},{"issue":"1","key":"22_CR3","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1093\/comjnl\/39.1.52","volume":"39","author":"E. B\u00f6rger","year":"1996","unstructured":"B\u00f6rger E., Durdanovic I., Correctness of Compiling Occam to Transputer Code; in: The Computer Journal, Vol. 39, No.1, pp.52\u201392, 1996.","journal-title":"The Computer Journal"},{"doi-asserted-by":"crossref","unstructured":"E. B\u00f6rger, J. Schmid, Composition and Submachine Concepts for Sequential ASMs. Gurevich Festschrift, Proc. CSL\u20192000 (to appear).","key":"22_CR4","DOI":"10.1007\/3-540-44622-2_3"},{"unstructured":"A. Evans, J-M. Bruel, R. France, K. Lano, B. Rumpe, Making UML Precise, OOPSLA\u201998 Workshop on \u201cFormalizing UML. Why and How?\u201d October 1998.","key":"22_CR5"},{"key":"22_CR6","series-title":"Lect Notes Comput Sci","volume-title":"UML98-Beyond the notation","author":"A. Evans","year":"1998","unstructured":"A. Evans, R. France, K. Lano, B. Rumpe, The UML as a formal modeling notation, UML98-Beyond the notation, Springer LNCS, 1998."},{"doi-asserted-by":"crossref","unstructured":"R.B. France, A.S. Evans, K.C. Lano, and B. Rumpe, Developing the UML as a formal modeling notation; in Computer Standards and Interfaces: Special Issues on Formal Development Techniques, 1998.","key":"22_CR7","DOI":"10.1016\/S0920-5489(98)00020-8"},{"unstructured":"Y. Gurevich, Evolving Algebras 1993: Lipari Guide; in E. B\u00f6rger (Ed.): Specification and Validation Methods, Oxford University Press, 1995.","key":"22_CR8"},{"issue":"4","key":"22_CR9","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"D. Harel, A. Naamad, The STATEMATE Semantics of Statecharts, ACM Trans.Soft.Eng. method 5(4), 1996, 293\u2013333.","journal-title":"ACM Trans.Soft.Eng. method"},{"unstructured":"D. Harel, M. Politi, Modeling Reactive Systems with Statecharts, McGraw-Hill, 1998.","key":"22_CR10"},{"unstructured":"Rational Software Corporation, Unified Modeling Language (UML), version 1.3, http:\/\/www.rational.com , 1999.","key":"22_CR11"},{"unstructured":"J. Rumbaugh, I. Jacobson, G. Booch, The Unified Modeling Language Reference Manual, Addison Wesley, 1999.","key":"22_CR12"},{"unstructured":"UML Notation Guide, 1999. (Published as part of [11]).","key":"22_CR13"},{"unstructured":"UML 1.3 Semantics, 1999. (Published as part of [11]).","key":"22_CR14"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45499-3_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T12:28:07Z","timestamp":1556713687000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45499-3_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540675303","9783540454991"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45499-3_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}