{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:27:28Z","timestamp":1750307248209,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,7,3]],"date-time":"2012-07-03T00:00:00Z","timestamp":1341273600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,7,3]]},"DOI":"10.1145\/2325276.2325281","type":"proceedings-article","created":{"date-parts":[[2012,7,10]],"date-time":"2012-07-10T16:41:12Z","timestamp":1341938472000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["A metamodelling approach to behavioural modelling"],"prefix":"10.1145","author":[{"given":"Adrian","family":"Rutle","sequence":"first","affiliation":[{"name":"St. Francis Xavier University, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wendy","family":"MacCaull","sequence":"additional","affiliation":[{"name":"St. Francis Xavier University, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hao","family":"Wang","sequence":"additional","affiliation":[{"name":"St. Francis Xavier University, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yngve","family":"Lamo","sequence":"additional","affiliation":[{"name":"Bergen University College, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,7,3]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Category Theory for Computing Science","author":"Barr M.","year":"1995","unstructured":"M. Barr and C. Wells . Category Theory for Computing Science ( 2 nd Ed.). Prentice Hall , 1995 . M. Barr and C. Wells. Category Theory for Computing Science (2nd Ed.). Prentice Hall, 1995.","edition":"2"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1383559.1383573"},{"key":"e_1_3_2_1_3_1","series-title":"LNBIP","first-page":"130","volume-title":"BIR","author":"Br\u00fcning J.","year":"2010","unstructured":"J. Br\u00fcning , M. Gogolla , and P. Forbrig . Modeling and Formally Checking Workflow Properties Using UML and OCL . In BIR 2010 , volume 64 of LNBIP , pages 130 -- 145 . Springer , 2010. J. Br\u00fcning, M. Gogolla, and P. Forbrig. Modeling and Formally Checking Workflow Properties Using UML and OCL. In BIR 2010, volume 64 of LNBIP, pages 130--145. Springer, 2010."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11423348_8"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.02.006"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","first-page":"351","DOI":"10.4018\/978-1-59140-560-3.ch060","volume-title":"Encyclopedia of Database Technologies and Applications","author":"Diskin Z.","year":"2005","unstructured":"Z. Diskin . Encyclopedia of Database Technologies and Applications , chapter Mathematics of Generic Specifications for Model Management I and II, pages 351 -- 366 . Information Science Reference , 2005 . Z. Diskin. Encyclopedia of Database Technologies and Applications, chapter Mathematics of Generic Specifications for Model Management I and II, pages 351--366. Information Science Reference, 2005."},{"key":"e_1_3_2_1_7_1","series-title":"LNCS","first-page":"345","volume-title":"Diagrams","author":"Diskin Z.","year":"2000","unstructured":"Z. Diskin , B. Kadish , F. Piessens , and M. Johnson . Universal Arrow Foundations for Visual Modeling . In M. Anderson, P. Cheng, and V. Haarslev, editors, Diagrams 2000 , volume 1889 of LNCS , pages 345 -- 360 . Springer , 2000. Z. Diskin, B. Kadish, F. Piessens, and M. Johnson. Universal Arrow Foundations for Visual Modeling. In M. Anderson, P. Cheng, and V. Haarslev, editors, Diagrams 2000, volume 1889 of LNCS, pages 345--360. Springer, 2000."},{"key":"e_1_3_2_1_8_1","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"Ehrig H.","year":"2006","unstructured":"H. Ehrig , K. Ehrig , U. Prange , and G. Taentzer . Fundamentals of Algebraic Graph Transformation . Springer , March 2006 . H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer. Fundamentals of Algebraic Graph Transformation. Springer, March 2006."},{"volume-title":"9th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS.","author":"Fazle R.","key":"e_1_3_2_1_9_1","unstructured":"R. Fazle , W. MacCaull , H. Wang , and A. Rutle . A Model Slicing Method for Workflow Verification. ENTCS, To appear, 2012 . 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS. R. Fazle, W. MacCaull, H. Wang, and A. Rutle. A Model Slicing Method for Workflow Verification. ENTCS, To appear, 2012. 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS."},{"key":"e_1_3_2_1_10_1","unstructured":"Fujaba Developer Team. The Fujaba Tool Suite. http:\/\/www.fujaba.de\/. Fujaba Developer Team. The Fujaba Tool Suite. http:\/\/www.fujaba.de\/."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/3115955.3116014"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.12.018"},{"key":"e_1_3_2_1_13_1","series-title":"LNCS","first-page":"645","volume-title":"K. Czarnecki, I. Ober, J.-M","author":"Herrmannsdoerfer M.","year":"2008","unstructured":"M. Herrmannsdoerfer , S. Benz , and E. J\u00fcrgens . Automatability of Coupled Evolution of Metamodels and Models in Practice . In K. Czarnecki, I. Ober, J.-M . Bruel, A. Uhl, and M. V\u00f6lter, editors, MoDELS 2008 , volume 5301 of LNCS , pages 645 -- 659 . Springer , 2008. 10.1007\/978-3-540-87875-9_45 M. Herrmannsdoerfer, S. Benz, and E. J\u00fcrgens. Automatability of Coupled Evolution of Metamodels and Models in Practice. In K. Czarnecki, I. Ober, J.-M. Bruel, A. Uhl, and M. V\u00f6lter, editors, MoDELS 2008, volume 5301 of LNCS, pages 645--659. Springer, 2008. 10.1007\/978-3-540-87875-9_45"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00899-3_2"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1811147.1811151"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993956.1993962"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/2773563.2773640"},{"key":"e_1_3_2_1_18_1","volume-title":"1st International Workshop on Software Evolution Transformations","author":"L\u00e4mmel R.","year":"2004","unstructured":"R. L\u00e4mmel . Coupled Software Transformations (Extended Abstract) . In 1st International Workshop on Software Evolution Transformations , November 2004 . R. L\u00e4mmel. Coupled Software Transformations (Extended Abstract). In 1st International Workshop on Software Evolution Transformations, November 2004."},{"key":"e_1_3_2_1_19_1","series-title":"Studies in Computational Intelligence","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/978-3-642-30454-5_3","volume-title":"Computer and Information Science","author":"Lamo Y.","year":"2012","unstructured":"Y. Lamo , X. Wang , F. Mantz , W. MacCaull , and A. Rutle . DPF Workbench: A Diagrammatic Multi-Layer Domain Specific (Meta-)Modelling Environment . In L. Roger, editor, Computer and Information Science , volume 429 of Studies in Computational Intelligence , pages 37 -- 52 . Springer , 2012 . Y. Lamo, X. Wang, F. Mantz, W. MacCaull, and A. Rutle. DPF Workbench: A Diagrammatic Multi-Layer Domain Specific (Meta-)Modelling Environment. In L. Roger, editor, Computer and Information Science, volume 429 of Studies in Computational Intelligence, pages 37--52. Springer, 2012."},{"key":"e_1_3_2_1_20_1","volume-title":"February","author":"Object Management Group","year":"2010","unstructured":"Object Management Group . Object Constraint Language Specification , February 2010 . http:\/\/www.omg.org\/spec\/OCL\/2.2\/. Object Management Group. Object Constraint Language Specification, February 2010. http:\/\/www.omg.org\/spec\/OCL\/2.2\/."},{"key":"e_1_3_2_1_21_1","volume-title":"February","author":"Object Management Group","year":"2011","unstructured":"Object Management Group . Semantics of a Foundational Subset for Executable UML Models (FUML) , February 2011 . http:\/\/www.omg.org\/spec\/FUML\/1.0\/. Object Management Group. Semantics of a Foundational Subset for Executable UML Models (FUML), February 2011. http:\/\/www.omg.org\/spec\/FUML\/1.0\/."},{"key":"e_1_3_2_1_24_1","first-page":"422","article-title":"A formal approach to the specification and transformation of constraints","volume":"81","author":"Rutle A.","year":"2012","unstructured":"A. Rutle , A. Rossini , Y. Lamo , and U. Wolter . A formal approach to the specification and transformation of constraints in MDE. JLAP , 81\/4 : 422 -- 457 , 2012 . A. Rutle, A. Rossini, Y. Lamo, and U. Wolter. A formal approach to the specification and transformation of constraints in MDE. JLAP, 81\/4:422--457, 2012.","journal-title":"MDE. JLAP"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2010.09.010"},{"key":"e_1_3_2_1_26_1","volume-title":"EMF: Eclipse Modeling Framework 2.0","author":"Steinberg D.","year":"2008","unstructured":"D. Steinberg , F. Budinsky , M. Paternostro , and E. Merks . EMF: Eclipse Modeling Framework 2.0 ( 2 nd Edition). Addison-Wesley Professional , 2008 . D. Steinberg, F. Budinsky, M. Paternostro, and E. Merks. EMF: Eclipse Modeling Framework 2.0 (2nd Edition). Addison-Wesley Professional, 2008.","edition":"2"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2004.02.002"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"van Hee. Workflow Management: Models, Methods, and Systems","author":"van der Aalst W. M. P.","year":"2002","unstructured":"W. M. P. van der Aalst and K. van Hee. Workflow Management: Models, Methods, and Systems . MIT Press , 2002 . W. M. P. van der Aalst and K. van Hee. Workflow Management: Models, Methods, and Systems. MIT Press, 2002."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.14"}],"event":{"name":"BM-FA '12: The 4th Workshop on Behavioural Modelling - Foundations and applications","sponsor":["ECMFA European Conference on Modelling Foundations and Applications"],"location":"Kgs. Lyngby Denmark","acronym":"BM-FA '12"},"container-title":["Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2325276.2325281","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2325276.2325281","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:10Z","timestamp":1750243930000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2325276.2325281"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,3]]},"references-count":27,"alternative-id":["10.1145\/2325276.2325281","10.1145\/2325276"],"URL":"https:\/\/doi.org\/10.1145\/2325276.2325281","relation":{},"subject":[],"published":{"date-parts":[[2012,7,3]]},"assertion":[{"value":"2012-07-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}