{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:50:40Z","timestamp":1725558640187},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540203032"},{"type":"electronic","value":"9783540396567"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39656-7_3","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T18:35:52Z","timestamp":1277836552000},"page":"71-98","source":"Crossref","is-referenced-by-count":29,"title":["Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML"],"prefix":"10.1007","author":[{"given":"Werner","family":"Damm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Josko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amir","family":"Pnueli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelika","family":"Votintseva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Telelogic AB. Telelogic Tau, 2003. http:\/\/www.telelogic.com\/products\/tau\/index.cfm"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/3-540-45441-1_2","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"J.M. Alvarez","year":"2001","unstructured":"Alvarez, J.M., Clark, T., Evans, A., Sammut, P.: An Action Semantics for MML. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, p. 2. Springer, Heidelberg (2001), http:\/\/www.cs.york.ac.uk\/puml\/mmf\/AlvarezUML2001.pdf"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/3-540-45499-3_22","volume-title":"Algebraic Methodology and Software Technology","author":"E. B\u00f6rger","year":"2000","unstructured":"B\u00f6rger, E., Cavarra, A., Riccobene, E.: An ASM Semantics for UML Activity Diagrams. In: Rus, T. (ed.) AMAST 2000. LNCS, vol.\u00a01816, pp. 293\u2013308. Springer, Heidelberg (2000)"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-44518-8_13","volume-title":"Abstract State Machines - Theory and Applications","author":"E. B\u00f6rger","year":"2000","unstructured":"B\u00f6rger, E., Cavarra, A., Riccobene, E.: Modeling the Dynamics of UML State Machines. In: Gurevich, Y., Kutter, P.W., Odersky, M., Thiele, L. (eds.) ASM 2000. LNCS, vol.\u00a01912, pp. 223\u2013241. Springer, Heidelberg (2000), DBLP http:\/\/dblp.uni-trier.de"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/3-540-45314-8_3","volume-title":"Fundamental Approaches to Software Engineering","author":"T. Clark","year":"2001","unstructured":"Clark, T., Evans, A., Kent, S.: The Metamodelling Language Calculus: Foundation Semantics for UML. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol.\u00a02029, pp. 17\u201331. Springer, Heidelberg (2001), www.dcs.kcl.ac.uk\/staff\/tony\/docs\/MMLCalculus.ps"},{"key":"3_CR6","unstructured":"Clark, T., Evans, A., Kent, S., Brodsky, S., Cook, S.: A Feasibility Study in Rearchitecting UML as a Family of Languages Using a Precise OO Meta-Modelling Approach, version 1.0 (September 2000), Available from http:\/\/www.puml.org"},{"key":"3_CR7","unstructured":"Clark, T., Evans, A., Kent, S., Sammut, P.: The MMF Approach to Engineering Object-Oriented Design Languages. In: Proc. Workshop on Language Descriptions, Tools and Applications, LDTA 2001 (2001), Available via http:\/\/www.puml.org"},{"key":"3_CR8","unstructured":"Compton, K., Huggins, J., Shen, W.: A Semantic Model for the State Machine in the UML. In: Reggio, G., Knapp, A., Rumpe, B., Selic, B., Wieringa, R. (eds.) Dynamic Behaviour in UML Models: Semantic Questions, Workshop Proceedings, UML 2000 Workshop, Bericht 0006, October 2000. Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, pp. 25\u201331 (2000), http:\/\/www.kettering.edu\/~jhuggins\/papers\/uml2000.ps"},{"key":"3_CR9","unstructured":"Rational Software Corporation. Rational Rose Family (2003), http:\/\/www.rational.com\/products\/rose\/index.jsp"},{"key":"3_CR10","unstructured":"Damm, W., Josko, B., Pnueli, A., Votintseva, A.: A Formal Semantics for a UML Kernel Language. Omega Technical report, part 1 of the deliverable D1.1.2, Project IST-2001-33522 OMEGA (January 2003), Available from http:\/\/www-omega.imag.fr\/doc\/d1000009_6\/D112_KL.pdf"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-540-39656-7_4","volume-title":"Formal Methods for Components and Objects","author":"W. Damm","year":"2003","unstructured":"Damm, W., Westphal, B.: Live and Let Die: LSC-based Verification of UMLModels. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, pp. 99\u2013135. Springer, Heidelberg (2003) (to appear)"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/3-540-40011-7_23","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"G. Engels","year":"2000","unstructured":"Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 323\u2013337. Springer, Heidelberg (2000)"},{"key":"3_CR13","volume-title":"The Unifed Modeling Language: the first international workshop","author":"R. Evans","year":"1999","unstructured":"Evans, R., France, K.: Lano, and B. Rumpe. The UML as a Formal Modeling Notation. In: The Unifed Modeling Language: the first international workshop. Springer, Heidelberg (June 1998)"},{"key":"3_CR14","volume-title":"2nd Northern Formal Methods Workshop, Ilkley, electronic Workshops in Computing","author":"A.S. Evans","year":"1998","unstructured":"Evans, A.S., Clark, A.N.: Foundations of the Unified Modeling Language. In: 2nd Northern Formal Methods Workshop, Ilkley, electronic Workshops in Computing. Springer, Heidelberg (1998), http:\/\/www.cs.york.ac.uk\/puml\/papers\/nfmw97.ps"},{"issue":"7","key":"3_CR15","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/2.596624","volume":"30","author":"D. Harel","year":"1997","unstructured":"Harel, D., Gery, E.: Executable Object Modeling with Statecharts. IEEE Computer\u00a030(7), 31\u201342 (1997)","journal-title":"IEEE Computer"},{"key":"3_CR16","unstructured":"Hu\u00dfmann, H.: Loose Semantics for UML, OCL. In: Proceedings 6th World Conference on Integrated Design and Process Technology (IDPT 2002). Society for Design and Process Science (June 2002)"},{"key":"3_CR17","unstructured":"I-Logix Inc. Rhapsody (2002), http:\/\/www.ilogix.com\/products\/rhapsody\/index.cfm"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/3-540-46852-8_7","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"S.-K. Kim","year":"1999","unstructured":"Kim, S.-K., Carrington, D.: Formalizing the UML Class Diagrams Using Object- Z. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, pp. 83\u201398. Springer, Heidelberg (1999)"},{"key":"3_CR19","unstructured":"Kleppe, A., Warmer, J.: Unification of Static and Dynamic Semantics of UML (2001), http:\/\/www.klasse.nl\/english\/uml\/unification-report.pdf"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"528","DOI":"10.1007\/3-540-40011-7_39","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"G. Kwon","year":"2000","unstructured":"Kwon, G.: Rewrite Rules and Operational Semantics for Model Checking UML Statcharts. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 528\u2013540. Springer, Heidelberg (2000)"},{"key":"3_CR21","unstructured":"Lilius, J., Paltor, I.P.: vUML: a Tool for Verifying UML Models. Turku Centre for Computer Science, Abo Akademi University, Finland. Technical Report"},{"key":"3_CR22","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","author":"Z. Manna","year":"1991","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, New York (1991)"},{"key":"3_CR23","unstructured":"Ober, I.: Harmonizing Design Languages with Object-Oriented Extensions and an Executable Semantics, PhD Thesis. Institut National Polytechnique de Toulouse, France (April 2001)"},{"key":"3_CR24","unstructured":"Object Management Group. UML 1.4 with Action Semantics, Final Adopted Specification, ptc\/02-01-09 (January 2002), Available from http:\/\/www.kc.com\/as_site\/home.html"},{"key":"3_CR25","unstructured":"Object Management Group. UML Profile for Schedulability, Performance, and Time Specification, ptc\/02-03-02 OMG Adopted Specification (March 2002), Available from http:\/\/cgi.omg.org\/docs\/ptc\/02-03-02.pdf"},{"key":"3_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-46428-X_14","volume-title":"Fundamental Approaches to Software Engineering","author":"G. \u00d6vergaard","year":"2000","unstructured":"\u00d6vergaard, G.: Formal Specification of Object-Oriented Meta-Modelling. In: Maibaum, T. (ed.) FASE 2000. LNCS, vol.\u00a01783, p. 193. Springer, Heidelberg (2000)"},{"key":"3_CR27","unstructured":"\u00d6vergaard, G.: Using the BOOM Framework for Formal Specification of the UML. In: Proceedings of Defining Precise Semantics for UML (2000)"},{"key":"3_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/978-3-540-48480-6_31","volume-title":"The Unified Modeling Language. \u00abUML\u00bb\u201998: Beyond the Notation","author":"G. \u00d6vergaard","year":"1999","unstructured":"\u00d6vergaard, G., Palmkvist, K.: A Formal Approach to Use Cases and Their Relationships. In: B\u00e9zivin, J., Muller, P.-A. (eds.) UML 1998. LNCS, vol.\u00a01618, pp. 406\u2013418. Springer, Heidelberg (1999)"},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"Reggio, G., Astesiano, E., Choppy, C., Hu\u00dfmann, H.: Analyzing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. In: FEAS (2000), ftp:\/\/ftp.disi.unige.it\/pub\/person\/ReggioG\/Reggio99a.ps","DOI":"10.1007\/3-540-46428-X_10"},{"key":"3_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/3-540-45314-8_13","volume-title":"Fundamental Approaches to Software Engineering","author":"G. Reggio","year":"2001","unstructured":"Reggio, G., Cerioli, M., Astesiano, E.: Towards a Rigorous Semantics of UML Supporting Its Multiview Approach. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol.\u00a02029, p. 171. Springer, Heidelberg (2001), ftp:\/\/ftp.disi.unige.it\/pub\/person\/CerioliM\/FASE2001.pdf"},{"key":"3_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/978-3-540-49524-6_35","volume-title":"Conceptual Modeling \u2013 ER \u201998","author":"M. Richters","year":"1998","unstructured":"Richters, M., Gogolla, M.: On Formalizing the UML Object Constraint Language OCL. In: Ling, T.-W., Ram, S., Li Lee, M. (eds.) ER 1998. LNCS, vol.\u00a01507, pp. 449\u2013464. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39656-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T14:57:10Z","timestamp":1559228230000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39656-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540203032","9783540396567"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39656-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}