{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T22:40:22Z","timestamp":1737153622230,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540729198"},{"type":"electronic","value":"9783540729525"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-72952-5_5","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T08:10:08Z","timestamp":1182845408000},"page":"76-90","source":"Crossref","is-referenced-by-count":21,"title":["Analysis of UML Activities Using Dynamic Meta Modeling"],"prefix":"10.1007","author":[{"given":"Gregor","family":"Engels","sequence":"first","affiliation":[]},{"given":"Christian","family":"Soltenborn","sequence":"additional","affiliation":[]},{"given":"Heike","family":"Wehrheim","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","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, Springer, Heidelberg (2000)"},{"key":"5_CR2","unstructured":"Hausmann, J.H.: Dynamic Meta Modeling. PhD thesis, University of Paderborn (2005)"},{"key":"5_CR3","unstructured":"OMG: Model Driven Architecture. http:\/\/www.omg.org\/mda\/"},{"key":"5_CR4","series-title":"Applications, Languages and Tools","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","year":"1999","unstructured":"Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation. Applications, Languages and Tools, vol.\u00a02. World Scientific Publisher, Singapore (1999)"},{"key":"5_CR5","first-page":"235","volume-title":"VL\/HCC","author":"H. St\u00f6rrle","year":"2004","unstructured":"St\u00f6rrle, H.: Semantics of Control-Flow in UML 2.0 Activities. In: VL\/HCC, pp. 235\u2013242. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"C. Bolton","year":"2000","unstructured":"Bolton, C., Davies, J.: On Giving a Behavioural Semantics to Activity Graphs, Online proceedings. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, Springer, Heidelberg (2000)"},{"key":"5_CR7","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":"5_CR8","first-page":"117","volume":"P-64","author":"J.H. Hausmann","year":"2005","unstructured":"Hausmann, J.H., St\u00f6rrle, H.: Towards a Formal Semantics of UML 2.0 Activities. Software Engineering 2005\u00a0P-64, 117\u2013128 (2005)","journal-title":"Software Engineering 2005"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"W. Aalst van der","year":"1997","unstructured":"van der Aalst, W.: Verification of Workflow Nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/978-3-540-25959-6_40","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"A. Rensink","year":"2004","unstructured":"Rensink, A.: The GROOVE Simulator: A Tool for State Space Generation. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol.\u00a03062, pp. 479\u2013485. Springer, Heidelberg (2004)"},{"key":"5_CR11","first-page":"117","volume-title":"Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages","author":"E. Clarke","year":"1983","unstructured":"Clarke, E., Emerson, E., Sistla, A.: Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach. In: Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, pp. 117\u2013126. ACM Press, New York (1983)"},{"key":"5_CR12","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow Management - Models, Methods, and Systems","author":"W. Aalst van der","year":"2002","unstructured":"van der Aalst, W., van Hee, K.: Workflow Management - Models, Methods, and Systems. The MIT Press, Cambridge (2002)"},{"key":"5_CR13","unstructured":"Object Management Group: UML Specification V2.0 (2005) http:\/\/www.omg.org\/technology\/documents\/modeling_spec_catalog.htm"},{"key":"5_CR14","unstructured":"Object Management Group: The MOF Specification (2004), http:\/\/www.omg.org\/cgi-bin\/doc?formal\/00-04-03"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/3-540-61228-9_79","volume-title":"Graph Grammars and Their Application to Computer Science","author":"A. Corradini","year":"1996","unstructured":"Corradini, A., Ehrig, H., L\u00f6we, M., Montanari, U., Padberg, J.: The Category of Typed Graph Grammars and its Adjunctions with Categories. In: Cuny, J., Engels, G., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars and Their Application to Computer Science. LNCS, vol.\u00a01073, pp. 56\u201374. Springer, Heidelberg (1996)"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/11691617_19","volume-title":"Model Checking Software","author":"H. Kastenberg","year":"2006","unstructured":"Kastenberg, H., Rensink, A.: Model checking dynamic states in GROOVE. In: Valmari, A. (ed.) Model Checking Software. LNCS, vol.\u00a03925, pp. 299\u2013305. Springer, Heidelberg (2006)"},{"issue":"6","key":"5_CR17","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/S0020-0190(99)00074-5","volume":"70","author":"E. Kindler","year":"1999","unstructured":"Kindler, E., van der Aalst, W.: Liveness, Fairness, and Recurrence in Petri Nets. Inf. Process. Lett.\u00a070(6), 269\u2013270 (1999)","journal-title":"Inf. Process. Lett."},{"key":"5_CR18","unstructured":"Soltenborn, C.: Analysis of UML Workflow Diagrams with Dynamic Meta Modeling techniques. Master\u2019s thesis, University of Paderborn (2006)"},{"key":"5_CR19","unstructured":"Rensink, A.: GROOVE: A Graph Transformation Tool Set for the Simulation and Analysis of Graph Grammars (2003), Available at http:\/\/www.cs.utwente.nl\/~groove"},{"key":"5_CR20","unstructured":"St\u00f6rrle, H., Hausmann, J.H.: Towards a Formal Semantics of UML 2.0 Activities. In: Liggesmeyer, P., Pohl, K., Goedicke, M. (eds.) Software Engineering. LNI., GI, vol.\u00a064, pp. 117\u2013128 (2005)"},{"issue":"4","key":"5_CR21","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.entcs.2004.08.046","volume":"127","author":"H. St\u00f6rrle","year":"2005","unstructured":"St\u00f6rrle, H.: Semantics and Verification of Data Flow in UML 2.0 Activities. Electr. Notes Theor. Comput. Sci.\u00a0127(4), 35\u201352 (2005)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"1","key":"5_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1125808.1125809","volume":"15","author":"R. Eshuis","year":"2006","unstructured":"Eshuis, R.: Symbolic model checking of UML Activity diagrams. ACM Trans. Softw. Eng. Methodol.\u00a015(1), 1\u201338 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E.M., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An Opensource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 359\u2013364. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Open Object-Based Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72952-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T22:02:55Z","timestamp":1737151375000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72952-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540729198","9783540729525"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72952-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}