{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,6]],"date-time":"2025-10-06T09:07:25Z","timestamp":1759741645879,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642008986"},{"type":"electronic","value":"9783642008993"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-00899-3_2","type":"book-chapter","created":{"date-parts":[[2009,3,25]],"date-time":"2009-03-25T10:24:54Z","timestamp":1237976694000},"page":"27-45","source":"Crossref","is-referenced-by-count":9,"title":["Model-Based Software Engineering and Process-Aware Information Systems"],"prefix":"10.1007","author":[{"given":"Ekkart","family":"Kindler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Andrews, T., Cubera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarama, S.: Business process execution language for web services specification. Technical Report Version 1.1 (2003)"},{"issue":"2","key":"2_CR2","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1504\/IJBPIM.2007.015136","volume":"2","author":"B. Axenath","year":"2007","unstructured":"Axenath, B., Kindler, E., Rubin, V.: AMFIBIA: A meta-model for the integration of business process modelling aspects. International Journal on Business Process Integration and Management\u00a02(2), 120\u2013131 (2007)","journal-title":"International Journal on Business Process Integration and Management"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/3-540-44919-1_31","volume-title":"Applications and Theory of Petri Nets 2003","author":"J. Billington","year":"2003","unstructured":"Billington, J., Christensen, S., van Hee, K., Kindler, E., Kummer, O., Petrucci, L., Post, R., Stehno, C., Weber, M.: The Petri Net Markup Language: Concepts, technology, and tools. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 483\u2013505. Springer, Heidelberg (2003)"},{"issue":"2","key":"2_CR4","first-page":"50","volume":"8","author":"M. B\u00f6hm","year":"1995","unstructured":"B\u00f6hm, M., Schulze, W.: Grundlagen von Workflow-Managementsystemen. Wissenschaftliche Beitr\u00e4ge zur Informatik\u00a08(2), 50\u201365 (1995)","journal-title":"Wissenschaftliche Beitr\u00e4ge zur Informatik"},{"key":"2_CR5","volume-title":"Eclipse Modeling Framework","author":"F. Budinsky","year":"2006","unstructured":"Budinsky, F., Steinberg, D., Merks, E.: Eclipse Modeling Framework, 2nd edn. Addison-Wesley Professional, Reading (2006)","edition":"2"},{"key":"2_CR6","unstructured":"Cook, S.: Domain-specific modelling and model driven architecture. MDA Journal, pp.\u00a02\u201310 (January 2004)"},{"key":"2_CR7","doi-asserted-by":"publisher","DOI":"10.1002\/0471741442","volume-title":"Process-Aware Information Systems: Bridging People and Software through Process Technology","author":"M. Dumas","year":"2005","unstructured":"Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Process-Aware Information Systems: Bridging People and Software through Process Technology. Wiley & Sons, Chichester (2005)"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-540-46464-8_21","volume-title":"Theory and Application of Graph Transformations","author":"T. Fischer","year":"2000","unstructured":"Fischer, T., Niere, J., Torunski, L., Z\u00fcndorf, A.: Story diagrams: A new graph rewrite language based on the Unified Modeling Language and Java. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol.\u00a01764, pp. 296\u2013309. Springer, Heidelberg (2000)"},{"key":"2_CR9","unstructured":"Fowler, M.: Language workbenches and model driven architecture (June 2006), http:\/\/martinfowler.com\/articles\/mdaLanguageWorkbench.html"},{"key":"2_CR10","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-75209-7_2","volume-title":"Model Driven Engineering Languages and Systems","author":"J. Greenyer","year":"2007","unstructured":"Greenyer, J., Kindler, E.: Reconciling TGGs with QVT. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 16\u201330. Springer, Heidelberg (2007)"},{"key":"2_CR12","series-title":"Series F: Computer and System Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/978-3-642-82453-1_17","volume-title":"Logics and Models of Concurrent Systems","author":"D. Harel","year":"1985","unstructured":"Harel, D., Pnueli, A.: On the development of reactive systems. In: Apt, K.R. (ed.) Logics and Models of Concurrent Systems. Series F: Computer and System Science, vol.\u00a013, pp. 477\u2013498. Springer, Heidelberg (1985)"},{"key":"2_CR13","first-page":"22","volume":"69","author":"L. Hillah","year":"2005","unstructured":"Hillah, L., Kordon, F., Petrucci, L., Tr\u00e8ves, N.: Model engineering on Petri nets for ISO\/IEC 15909-2: API framework for Petri net types metamodels. Petri Net Newsletter\u00a069, 22\u201340 (2005)","journal-title":"Petri Net Newsletter"},{"key":"2_CR14","unstructured":"Hollingsworth, D.: The workflow reference model. Technical Report TC00-1003, The Workflow Management Coalition, WfMC (1995)"},{"key":"2_CR15","unstructured":"ISO\/JTC1\/SC7\/WG19. Software and Systems Engineering \u2013 High-level Petri Nets \u2013 Part 2: Transfer Format. FCD 15909-2, v.\u00a01.2.0, ISO\/IEC (June 2007)"},{"key":"2_CR16","unstructured":"Jablonski, S.: Workflow-Management-Systeme: Modellierung und Architektur. Thomson Publishers (1995)"},{"key":"2_CR17","first-page":"24","volume":"59","author":"M. J\u00fcngel","year":"2000","unstructured":"J\u00fcngel, M., Kindler, E., Weber, M.: The Petri Net Markup Language. Petri Net Newsletter\u00a059, 24\u201329 (2000)","journal-title":"Petri Net Newsletter"},{"key":"2_CR18","unstructured":"Kindler, E.: The Petri Net Markup Language and ISO\/IEC 15909-2: Concepts, status, and future directions. In: Schnieder, E. (ed.) Entwurf komplexer Automatisierungssysteme, 9. Fachtagung, pp. 35\u201355 (2006)"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Kindler, E., Schmelter, D.: Aspect-oriented modelling from a different angle: Modelling domains with aspects. In: 12 th International Workshop on Aspect-Oriented Modeling, pp. 7\u201312 (2008)","DOI":"10.1145\/1404920.1404922"},{"key":"2_CR20","unstructured":"Kindler, E., Wagner, R.: Triple Graph Grammars: Concepts, extensions, implementations, and application scenarios. Technical Report tr-ri-07-284, Department of Computer Science, University of Paderborn (2007)"},{"key":"2_CR21","series-title":"Object Technology Series","volume-title":"MDA Explained: The Model Driven Architecture: Practice and Promise","author":"A. Kleppe","year":"2003","unstructured":"Kleppe, A., Warmer, J., Bast, W.: MDA Explained: The Model Driven Architecture: Practice and Promise. Object Technology Series. Addison-Wesley, Reading (2003)"},{"key":"2_CR22","volume-title":"Production Workflow: Concepts and Techniques","author":"F. Leymann","year":"1999","unstructured":"Leymann, F., Roller, D.: Production Workflow: Concepts and Techniques. Prentice-Hall PTR, Upper Saddle River (1999)"},{"issue":"1","key":"2_CR23","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s10270-005-0100-7","volume":"5","author":"A.T. McNeile","year":"2006","unstructured":"McNeile, A.T., Simons, N.: Protocol modelling: A modelling approach that supports reusable behavioural abstractions. Software and Systems Modeling\u00a05(1), 91\u2013107 (2006)","journal-title":"Software and Systems Modeling"},{"key":"2_CR24","volume-title":"Executable UML: A Foundation for Model-driven Architecture","author":"S.J. Mellor","year":"2002","unstructured":"Mellor, S.J., Balcer, M.J.: Executable UML: A Foundation for Model-driven Architecture. Addison-Wesley, Reading (2002)"},{"key":"2_CR25","unstructured":"MDA guide v1.0.1. (2003), http:\/\/www.omg.org\/cgi-bin\/doc?omg\/03-06-01"},{"key":"2_CR26","unstructured":"XML metadata interchange (XMI) specification, version 2.0. Technical Report formal\/03-05-02, The Object Management Group, Inc. (2003)"},{"key":"2_CR27","unstructured":"Meta object facility (MOF) specification, version 1.4.1. Technical Report formal\/05-05-05, The Object Management Group, Inc. (2005)"},{"key":"2_CR28","unstructured":"MOF QVT, final adopted specification. Technical Report ptc\/05-11-01, The Object Management Group, Inc. (2005)"},{"key":"2_CR29","unstructured":"OMG. OMG Unified Modeling Language (OMG UML), Superstructure, V2.1.2. Object Management Group, 140 Kendrick Street, Needham, MA 02494, USA (2005), http:\/\/www.omg.org\/spec\/UML\/2.1.2\/Superstructure\/PDF"},{"key":"2_CR30","unstructured":"OMG. Unified Modeling Language: Superstructure Version 2.0. Object Management Group, 140 Kendrick Street, Needham, MA 02494, USA (2005), http:\/\/www.omg.org\/cgi-bin\/doc?formal\/05-07-04"},{"issue":"10","key":"2_CR31","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MC.2003.1236471","volume":"36","author":"C. Peltz","year":"2003","unstructured":"Peltz, C.: Web services orchestration and choreography. IEEE Computer\u00a036(10), 46\u201352 (2003)","journal-title":"IEEE Computer"},{"key":"2_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-59071-4_45","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A. Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol.\u00a0903, pp. 151\u2013163. Springer, Heidelberg (1995)"},{"key":"2_CR33","first-page":"41","volume":"6","author":"L. Unland","year":"2005","unstructured":"Unland, L., George, T.: MDA richtig einsetzen: Klassische und innovative Rezepte. OBJEKTspektrum\u00a06, 41\u201344 (2005)","journal-title":"OBJEKTspektrum"},{"key":"2_CR34","series-title":"Cooperative Information Systems","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. Cooperative Information Systems. MIT Press, Cambridge (2002)"},{"key":"2_CR35","unstructured":"Workflow Management Coalition: Terminology & glossary. Technical Report WFMC-TC-1011, The Workflow Management Coalition, WfMC (1999)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00899-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,8]],"date-time":"2025-02-08T17:29:52Z","timestamp":1739035792000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00899-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642008986","9783642008993"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00899-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}