{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T23:51:06Z","timestamp":1726444266919},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540006244"},{"type":"electronic","value":"9783540364986"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36498-6_8","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T18:28:14Z","timestamp":1181240894000},"page":"151-166","source":"Crossref","is-referenced-by-count":3,"title":["UML and Concurrency"],"prefix":"10.1007","author":[{"given":"Perdita","family":"Stevens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,3,14]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, K. Etessami, and M. Yannakakis. Inference of message sequence charts. In Proc. International Conference on Software Engineering, 2000. 163","DOI":"10.1145\/337180.337215"},{"key":"8_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Proc. IFM 2000","author":"C. Bolton","year":"2000","unstructured":"Christie Bolton and Jim Davies. Activity graphs and processes. In Proc. IFM 2000, number 1945 in LNCS. Springer, 2000. 158, 162"},{"key":"8_CR3","unstructured":"E. B\u00f6rger, A. Cavarra, and E. Riccobene. Solving conflicts in UML state machines concurrent states. In [13]. 162"},{"key":"8_CR4","series-title":"Lect Notes Comput Sci","volume-title":"Proc. AMAST 2000","author":"E. B\u00f6rger","year":"2000","unstructured":"E. B\u00f6rger, A. Cavarra, and E. Riccobene. An ASM semantics for UML activity diagrams. In Proc. AMAST 2000, volume 1826 of LNCS. Springer, 2000. 162"},{"key":"8_CR5","unstructured":"E.\u00f6rger, A. Cavarra, and E. Riccobene. A precise semantics of UML state machines: making semantic variation points and ambiguities explicit. In Proc. of Semantic Foundations of Engineering Design Languages (SFEDL), Satellite Workshop of ETAPS 2002, 2002. 162"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"E. B\u00f6rger, A. Cavarra, and E. Riccobene. Modeling the meaning of transitions from and to concurrent states in UML state machines. In ACM SAC 2003 Software Engineering Track, 2003. 162","DOI":"10.1145\/952532.952745"},{"key":"8_CR7","series-title":"Lect Notes Comput Sci","volume-title":"10th International Workshop on Abstract State Machines","year":"2003","unstructured":"E. B\u00f6rger and Elvinia Riccobene, editors. 10th International Workshop on Abstract State Machines, LNCS. Springer, 2003. (this volume). 165"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"A. Cavarra, E. Riccobene, and P. Scandurra. Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanism of UML State Machines. In [7], 2003. 162","DOI":"10.1007\/3-540-36498-6_13"},{"issue":"1","key":"8_CR9","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W. Damm","year":"2001","unstructured":"Werner Damm and David Harel. LSCs: breathing life into message sequence charts. Formal methods in systems design, 19(1):45\u201380, 2001. 163","journal-title":"Formal methods in systems design"},{"key":"8_CR10","series-title":"Lect Notes Comput Sci","volume-title":"Proc. UML 2001","author":"R. Eshuis","year":"2001","unstructured":"Rik Eshuis and Roel Wieringa. An execution algorithm for UML activity graphs. In Proc. UML 2001, volume 2185 of LNCS. Springer, 2001. 162"},{"key":"8_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-45314-8_7","volume-title":"Proc. Fundamental Approaches to Software Engineering","author":"R. Eshuis","year":"2001","unstructured":"Rik Eshuis and Roel Wieringa. A real-time execution semantics for UML activity diagrams. In Proc. Fundamental Approaches to Software Engineering, volume 2029 of LNCS, pages 76\u201390. Springer, 2001. 162"},{"key":"8_CR12","series-title":"Lect Notes Comput Sci","volume-title":"Petri Net Technology for Communication Based Systems","author":"R. Eshuis","year":"2003","unstructured":"Rik Eshuis and Roel Wieringa. Comparing petri nets and activity diagram variants for workflow modelling-a quest for reactive petri nets. In Petri Net Technology for Communication Based Systems(to appear), LNCS. Springer, 2003. 162"},{"key":"8_CR13","unstructured":"C. Atkinson et al., editor.Workshop on Concurrency Issues in UML, 2001. proceedings unpublished; available from http:\/\/wooddes.intranet.gr\/uml2001\/Home.htm . 159, 164, 165"},{"key":"8_CR14","unstructured":"S\u00e9bastien G\u00e9rard and Ileana Ober. Parallelism\/concurrency specification within UML. White paper connected with [13]. 159"},{"key":"8_CR15","unstructured":"Hassan Gomaa. Designing concurrent, distributed and real-time applications uwith UML. Addison-Wesley, 2000. 162"},{"key":"8_CR16","unstructured":"Katharina Mehner and Annika Wagner. Visualizing the synchronization of Javathreads with UML. In Proceedings of Visual Languages 2000, 2000. 162"},{"key":"8_CR17","unstructured":"Elissa Newman, Aaron Greenhouse, and William L. Scherlis. Annotation-based diagrams for shared data concurrency. In [13]. 1611"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Ileana Ober. An ASM semantics of UML derived from the meta-model and incorporating actions. In [7], 2003. 162","DOI":"10.1007\/3-540-36498-6_21"},{"key":"8_CR19","unstructured":"OMG. Unified Modeling Language Specification version 1.4, September 2001. OMG document formal\/01-09-67 available from http:\/\/www.omg.org\/technology\/documents\/formal\/uml.htm . 151, 152, 153, 158"},{"key":"8_CR20","unstructured":"Dorina C. Petriu and Eric Wong. Using activity diagrams for representing concurrent behaviour. In [13]. 162"},{"key":"8_CR21","series-title":"Lect Notes Comput Sci","volume-title":"Proc. UML 2001","author":"S. Sendall","year":"2001","unstructured":"Shane Sendall and Alfred Strohmeier. Specifying concurrent system behaviour ant timing constraints using OCL and UML. In Proc. UML 2001, number 2185 in LNCS. Springer, 2001. 162"},{"key":"8_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/3-540-45314-8_11","volume-title":"Proc. Fundamental Approaches to Software Engineering","author":"P. Stevens","year":"2001","unstructured":"Perdita Stevens. On use cases and their relationships in the Unified Modelling Language. In Proc. Fundamental Approaches to Software Engineering, number 2029 in LNCS, pages 140\u2013155. Springer-Verlag, April 2001. 161, 164"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36498-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T20:26:59Z","timestamp":1556483219000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36498-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540006244","9783540364986"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-36498-6_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}