{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:48Z","timestamp":1725559008417},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540266129"},{"type":"electronic","value":"9783540315391"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11506843_9","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T01:58:08Z","timestamp":1279072688000},"page":"133-148","source":"Crossref","is-referenced-by-count":30,"title":["Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Eichner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Fleischhack","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roland","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulrik","family":"Schrimpf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Stehno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45397-0","volume-title":"Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets","author":"G. Agha","year":"2001","unstructured":"Agha, G., de Cindio, F., Rozenberg, G.: Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets. LNCS, vol.\u00a02001. Springer, Heidelberg (2001)"},{"key":"9_CR2","first-page":"35","volume-title":"Workshop on Software and Performance 2002","author":"S. Bernardi","year":"2002","unstructured":"Bernardi, S., Donatelli, S., Merseguer, J.: From UML sequence diagrams and statecharts to analysable petri net models. In: Balsamo, S., Inverardi, P., Selic, B. (eds.) Workshop on Software and Performance 2002, Rome, Italy, pp. 35\u201345. ACM Press, New York (2002)"},{"issue":"10","key":"9_CR3","doi-asserted-by":"publisher","first-page":"813","DOI":"10.1007\/s002360050144","volume":"35","author":"E. Best","year":"1998","unstructured":"Best, E., Fra\u0327czak, W., Hopkins, R.P., Klaudel, H., Pelz, E.: M-nets: an Algebra of High-level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages. Acta Informatica\u00a035(10), 813\u2013857 (1998)","journal-title":"Acta Informatica"},{"issue":"1","key":"9_CR4","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W. Damm","year":"2001","unstructured":"Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design\u00a019(1), 45\u201380 (2001)","journal-title":"Formal Methods in System Design"},{"issue":"1","key":"9_CR5","first-page":"1","volume":"54","author":"R. Devillers","year":"2003","unstructured":"Devillers, R., Klaudel, H., Koutny, M., Pommereau, F.: Asynchronous Box Calculus. Fundamenta Informaticae\u00a054(1), 1\u201350 (2003)","journal-title":"Fundamenta Informaticae"},{"key":"9_CR6","first-page":"15","volume-title":"Parallel and Distributed Software Engineering","author":"H. Fleischhack","year":"1997","unstructured":"Fleischhack, H., Grahlmann, B.: A Petri Net Semantics for B(PN)2 with Procedures. In: Agha, G., Russo, S. (eds.) Parallel and Distributed Software Engineering, pp. 15\u201327. IEEE Computer Society, Los Alamitos (1997)"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/3-540-69108-1_9","volume-title":"Application and Theory of Petri Nets 1998","author":"H. Fleischhack","year":"1998","unstructured":"Fleischhack, H., Grahlmann, B.: A Compositional Petri Net Semantics for SDL. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol.\u00a01420, pp. 144\u2013164. Springer, Heidelberg (1998)"},{"key":"9_CR8","series-title":"The Addison-Wesley Object Technology Series","volume-title":"UML Distilled","author":"M. Fowler","year":"2004","unstructured":"Fowler, M.: UML Distilled. The Addison-Wesley Object Technology Series. Addison-Wesley Longman, Reading (2004)"},{"key":"9_CR9","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-0-387-35394-4_1","volume-title":"Formal Description Techniques and Protocol Specification, Testing and Verification (FORTE\/PSTV 1998)","author":"T. Gehrke","year":"1998","unstructured":"Gehrke, T., Huhn, M., Rensink, A., Wehrheim, H.: An Algebraic Semantics for Message Sequence Charts Documents. In: Budkowski, S., Cavalli, A.R., Najm, E. (eds.) Formal Description Techniques and Protocol Specification, Testing and Verification (FORTE\/PSTV 1998), pp. 3\u201318. Kluwer Academic Press, Dordrecht (1998)"},{"key":"9_CR10","unstructured":"Heymer, S.: A Semantics for MSC Based on Petri Net Components. In: SAM 200, Col de Porte, Grenoble, France, pp. 262\u2013275, VERIMAG, IRISA, SDL Forum (2000)"},{"key":"9_CR11","unstructured":"ITU-T. Recommendation Z.120 (11\/99): Message Sequence Charts ITU-T, Geneva (2000)"},{"key":"9_CR12","unstructured":"Jeckle, M., Rupp, C., Hahn, J., Zengler, B., Queins, S.: UML 2 glasklar. Hanser (2004)"},{"key":"9_CR13","unstructured":"Jensen, K.: Coloured Petri Nets \u2014 Basic Concepts, Analysis Methods and Practical Use. In: EATCS Monographs in Computer Science, vol.\u00a01. Springer, Heidelberg (1992)"},{"key":"9_CR14","unstructured":"Katoen, J.-P., Lambert, L.: Pomsets for Message Sequence Charts. In: K\u00f6nig, H., Langend\u00f6rfer, P. (eds.) Formale Beschreibungstechniken f\u00fcr verteilte Systeme, Cottbus, June 1998, pp. 197\u2013207. GI\/ITG, Shaker Verlag (1998)"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-540-40022-6_10","volume-title":"Petri Net Technology for Communication-Based Systems","author":"O. Kluge","year":"2003","unstructured":"Kluge, O.: Modelling a railway crossing with message sequence charts and petri nets. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol.\u00a02472, pp. 197\u2013218. Springer, Heidelberg (2003)"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Lilius, J.: OB(PN)2: An object based petri net programming notation. In: Agha, et al. (eds.) [1], pp. 247\u2013275.","DOI":"10.1007\/3-540-45397-0_8"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541\u2013580 (1989)","DOI":"10.1109\/5.24143"},{"key":"9_CR18","unstructured":"Object Management Group. UML 2.0 Superstructure Specification, 03-08-02 edition (August 2003)"},{"key":"9_CR19","unstructured":"Project P-UMLaut, http:\/\/www.p-umlaut.de"},{"key":"9_CR20","volume-title":"Theoretische Informatik: Petri-Netze","author":"L. Priese","year":"2002","unstructured":"Priese, L., Wimmel, H.: Theoretische Informatik: Petri-Netze. Springer, Heidelberg (2002)"},{"key":"9_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri nets \u2013 An introduction","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: Petri nets \u2013 An introduction. Springer, Heidelberg (1985)"},{"key":"9_CR22","unstructured":"Reniers, M.A.: Message Sequence Charts. PhD thesis, Eindhoven University of Technology (1999)"},{"key":"9_CR23","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1109\/HCC.2003.1260216","volume-title":"2003 IEEE Symposium on Human Centric Computing Languages and Environments","author":"H. St\u00f6rrle","year":"2003","unstructured":"St\u00f6rrle, H.: Semantics of Interactions in UML 2.0. In: 2003 IEEE Symposium on Human Centric Computing Languages and Environments, Auckland, New Zealand, pp. 129\u2013136. IEEE Computer Society, Los Alamitos (2003)"}],"container-title":["Lecture Notes in Computer Science","SDL 2005: Model Driven"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11506843_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:03:35Z","timestamp":1605643415000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11506843_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540266129","9783540315391"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11506843_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}