{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:38Z","timestamp":1750221278054,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":51,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,7,12]],"date-time":"2017-07-12T00:00:00Z","timestamp":1499817600000},"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":[[2017,7,12]]},"DOI":"10.1145\/3147704.3147736","type":"proceedings-article","created":{"date-parts":[[2017,11,17]],"date-time":"2017-11-17T14:02:08Z","timestamp":1510927328000},"page":"1-19","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards Containment Checking of Behaviour in Architectural Patterns"],"prefix":"10.1145","author":[{"given":"Faiz","family":"Ul Muram","sequence":"first","affiliation":[{"name":"University of Vienna, Software Architecture Research Group, Vienna, Austria"}]},{"given":"Huy","family":"Tran","sequence":"additional","affiliation":[{"name":"University of Vienna, Software Architecture Research Group, Vienna, Austria"}]},{"given":"Uwe","family":"Zdun","sequence":"additional","affiliation":[{"name":"University of Vienna, Software Architecture Research Group, Vienna, Austria"}]}],"member":"320","published-online":{"date-parts":[[2017,7,12]]},"reference":[{"volume-title":"EuroPLoP, Andy Longshaw and Uwe Zdun (Eds.). UVK - Universitaetsverlag Konstanz","author":"Avgeriou Paris","key":"e_1_3_2_1_1_1","unstructured":"Paris Avgeriou and Uwe Zdun . 2005. Architectural Patterns Revisited - A Pattern Language . In EuroPLoP, Andy Longshaw and Uwe Zdun (Eds.). UVK - Universitaetsverlag Konstanz , Konstanz, Germany , 431--470. Paris Avgeriou and Uwe Zdun. 2005. Architectural Patterns Revisited - A Pattern Language. In EuroPLoP, Andy Longshaw and Uwe Zdun (Eds.). UVK - Universitaetsverlag Konstanz, Konstanz, Germany, 431--470."},{"volume-title":"Software Architecture in Practice (2 ed.)","author":"Bass Len","key":"e_1_3_2_1_2_1","unstructured":"Len Bass , Paul Clements , and Rick Kazman . 2003. Software Architecture in Practice (2 ed.) . Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA . Len Bass, Paul Clements, and Rick Kazman. 2003. Software Architecture in Practice (2 ed.). Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2011.11.003"},{"key":"e_1_3_2_1_4_1","unstructured":"Frank Buschmann Regine Meunier Hans Rohnert Peter Sommerlad and Michael Stal. 1996. Pattern-Oriented Software Architecture - Volume 1: A System of Patterns. Wiley Publishing.   Frank Buschmann Regine Meunier Hans Rohnert Peter Sommerlad and Michael Stal. 1996. Pattern-Oriented Software Architecture - Volume 1: A System of Patterns. Wiley Publishing."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/776816.776928"},{"key":"e_1_3_2_1_6_1","volume-title":"LePUS - Symbolic Logic Modeling Of Object Oriented Architectures: A Case Study. In NOSA '99 Second Nordic Workshop on Software Architecture, University of Karlskrona\/Ronneby. Citeseer.","author":"Eden Amnon H.","year":"1999","unstructured":"Amnon H. Eden , Yoram Hirshfeld , and Kristina Lundqvist . 1999 . LePUS - Symbolic Logic Modeling Of Object Oriented Architectures: A Case Study. In NOSA '99 Second Nordic Workshop on Software Architecture, University of Karlskrona\/Ronneby. Citeseer. Amnon H. Eden, Yoram Hirshfeld, and Kristina Lundqvist. 1999. LePUS - Symbolic Logic Modeling Of Object Oriented Architectures: A Case Study. In NOSA '99 Second Nordic Workshop on Software Architecture, University of Karlskrona\/Ronneby. Citeseer."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/DEPCOS-RELCOMEX.2007.11"},{"key":"e_1_3_2_1_8_1","volume-title":"Design Patterns: Elements of Reusable Object-oriented Software","author":"Gamma Erich","year":"1995","unstructured":"Erich Gamma , Richard Helm , Ralph Johnson , and John Vlissides . 1995 . Design Patterns: Elements of Reusable Object-oriented Software . Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA . Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. 1995. Design Patterns: Elements of Reusable Object-oriented Software. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/193173.195404"},{"volume-title":"Proceedings of the 3rd International Conference on The Unified Modeling Language: Advancing the Standard (UML'00)","author":"Garlan David","key":"e_1_3_2_1_10_1","unstructured":"David Garlan and Andrew J. Kompanek . 2000. Reconciling the Needs of Architectural Description with Object-modeling Notations . In Proceedings of the 3rd International Conference on The Unified Modeling Language: Advancing the Standard (UML'00) . Springer-Verlag, Berlin, Heidelberg, 498--512. David Garlan and Andrew J. Kompanek. 2000. Reconciling the Needs of Architectural Description with Object-modeling Notations. In Proceedings of the 3rd International Conference on The Unified Modeling Language: Advancing the Standard (UML'00). Springer-Verlag, Berlin, Heidelberg, 498--512."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1779934.1779952"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1647636.1647728"},{"volume-title":"Business Process Model And Notation","author":"Object Management Group","key":"e_1_3_2_1_13_1","unstructured":"Object Management Group . 2011a. Business Process Model And Notation . http:\/\/www.omg.org\/spec\/BPMN\/2.0. (2011). Last accessed: 2017-04-10. Object Management Group. 2011a. Business Process Model And Notation. http:\/\/www.omg.org\/spec\/BPMN\/2.0. (2011). Last accessed: 2017-04-10."},{"key":"e_1_3_2_1_14_1","unstructured":"Object Management Group. 2011b. UML 2.4.1 Superstructure Specification. http:\/\/www.omg.org\/spec\/UML\/2.4.1. (2011).  Object Management Group. 2011b. UML 2.4.1 Superstructure Specification. http:\/\/www.omg.org\/spec\/UML\/2.4.1. (2011)."},{"key":"e_1_3_2_1_15_1","unstructured":"Last accessed: 2017-05-20.  Last accessed: 2017-05-20."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88030-1_13"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of 13th European Conference on Pattern Languages of Programs (EuroPLoP","volume":"610","author":"Kamal Ahmad Waqas","year":"2008","unstructured":"Ahmad Waqas Kamal , Paris Avgeriou , and Uwe Zdun . 2008 . Modeling variants of architectural patterns . In Proceedings of 13th European Conference on Pattern Languages of Programs (EuroPLoP 2008), Vol. 610 . CEUR-WS.org, Irsee, Germany, 1--23. Ahmad Waqas Kamal, Paris Avgeriou, and Uwe Zdun. 2008. Modeling variants of architectural patterns. In Proceedings of 13th European Conference on Pattern Languages of Programs (EuroPLoP 2008), Vol. 610. CEUR-WS.org, Irsee, Germany, 1--23."},{"volume-title":"Proceedings of the 2Nd International Conference of B and Z Users on Formal Specification and Development in Z and B (ZB '02)","author":"Kim Soon-Kyeong","key":"e_1_3_2_1_18_1","unstructured":"Soon-Kyeong Kim and David A. Carrington . 2002. A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints . In Proceedings of the 2Nd International Conference of B and Z Users on Formal Specification and Development in Z and B (ZB '02) . Springer-Verlag, London, UK, UK, 497--516. Soon-Kyeong Kim and David A. Carrington. 2002. A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints. In Proceedings of the 2Nd International Conference of B and Z Users on Formal Specification and Development in Z and B (ZB '02). Springer-Verlag, London, UK, UK, 497--516."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/11589976_20"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.04.009"},{"volume-title":"Proceedings of the 26th International Conference on Software Engineering (ICSE '04)","author":"Mak Jeffrey K. H.","key":"e_1_3_2_1_21_1","unstructured":"Jeffrey K. H. Mak , Clifford S. T. Choy , and Daniel P. K. Lun . 2004. Precise Modeling of Design Patterns in UML . In Proceedings of the 26th International Conference on Software Engineering (ICSE '04) . IEEE Computer Society, Washington, DC, USA, 252--261. Jeffrey K. H. Mak, Clifford S. T. Choy, and Daniel P. K. Lun. 2004. Precise Modeling of Design Patterns in UML. In Proceedings of the 26th International Conference on Software Engineering (ICSE '04). IEEE Computer Society, Washington, DC, USA, 252--261."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/EEE.2005.53"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.825767"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940118"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1118890.1118892"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/302163.302175"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2017.29"},{"volume-title":"11th Int'l Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA)","author":"Muram Faiz UL","key":"e_1_3_2_1_28_1","unstructured":"Faiz UL Muram , Huy Tran , and Uwe Zdun . 2014. Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking . In 11th Int'l Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA) , Grenoble, France . 93--107. Faiz UL Muram, Huy Tran, and Uwe Zdun. 2014. Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking. In 11th Int'l Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA), Grenoble, France. 93--107."},{"key":"e_1_3_2_1_29_1","volume-title":"Counterexample Analysis for Supporting Containment Checking of Business Process Models. In Business Process Management Workshops - BPM 2015, 13th International Workshops","volume":"256","author":"Muram Faiz UL","year":"2015","unstructured":"Faiz UL Muram , Huy Tran , and Uwe Zdun . 2015 . Counterexample Analysis for Supporting Containment Checking of Business Process Models. In Business Process Management Workshops - BPM 2015, 13th International Workshops , August 31 - September 3, 2015, Revised Papers (Lecture Notes in Business Information Processing) , Vol. 256 . Springer, 515--528. Faiz UL Muram, Huy Tran, and Uwe Zdun. 2015. Counterexample Analysis for Supporting Containment Checking of Business Process Models. In Business Process Management Workshops - BPM 2015, 13th International Workshops, August 31 - September 3, 2015, Revised Papers (Lecture Notes in Business Information Processing), Vol. 256. Springer, 515--528."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2016.021"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037755"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/375360.375365"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.matcom.2005.11.004"},{"volume-title":"Checking Consistency in UML Diagrams: Classes and State Machines","author":"Rasch Holger","key":"e_1_3_2_1_34_1","unstructured":"Holger Rasch and Heike Wehrheim . 2003. Checking Consistency in UML Diagrams: Classes and State Machines . Springer Berlin Heidelberg, Berlin , Heidelberg , 229--243. Holger Rasch and Heike Wehrheim. 2003. Checking Consistency in UML Diagrams: Classes and State Machines. Springer Berlin Heidelberg, Berlin, Heidelberg, 229--243."},{"volume-title":"Software Systems Architecture: Working With Stakeholders Using Viewpoints and Perspectives","author":"Rozanski Nick","key":"e_1_3_2_1_35_1","unstructured":"Nick Rozanski and E\u00f3in Woods . 2005. Software Systems Architecture: Working With Stakeholders Using Viewpoints and Perspectives . Addison-Wesley Professional , Upper Saddle River, NJ. Nick Rozanski and E\u00f3in Woods. 2005. Software Systems Architecture: Working With Stakeholders Using Viewpoints and Perspectives. Addison-Wesley Professional, Upper Saddle River, NJ."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2010.06.002"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/646905.710490"},{"key":"e_1_3_2_1_38_1","volume-title":"Software Architecture: Perspectives on an Emerging Discipline","author":"Shaw Mary","year":"1996","unstructured":"Mary Shaw and David Garlan . 1996 . Software Architecture: Perspectives on an Emerging Discipline . Prentice-Hall, Inc. , Upper Saddle River, NJ, USA. Mary Shaw and David Garlan. 1996. Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, Inc., Upper Saddle River, NJ, USA."},{"key":"e_1_3_2_1_39_1","volume-title":"International Conference on Pervasive Patterns and Applications.","author":"Sokolova Karina","year":"2013","unstructured":"Karina Sokolova , Marc Lemercier , and Ludovic Garcia . 2013 . Android passive MVC: a novel architecture model for the android application development . In International Conference on Pervasive Patterns and Applications. Karina Sokolova, Marc Lemercier, and Ludovic Garcia. 2013. Android passive MVC: a novel architecture model for the android application development. In International Conference on Pervasive Patterns and Applications."},{"volume-title":"Proceedings of the 26th International Conference on Software Engineering (ICSE '04)","author":"Soundarajan Neelam","key":"e_1_3_2_1_40_1","unstructured":"Neelam Soundarajan and Jason O. Hallstrom . 2004. Responsibilities and Rewards: Specifying Design Patterns . In Proceedings of the 26th International Conference on Software Engineering (ICSE '04) . IEEE Computer Society, Washington, DC, USA, 666--675. Neelam Soundarajan and Jason O. Hallstrom. 2004. Responsibilities and Rewards: Specifying Design Patterns. In Proceedings of the 26th International Conference on Software Engineering (ICSE '04). IEEE Computer Society, Washington, DC, USA, 666--675."},{"volume-title":"Handbook of Software Engineering and Knowledge Engineering. World Scientific","author":"Spanoudakis George","key":"e_1_3_2_1_41_1","unstructured":"George Spanoudakis and Andrea Zisman . 2001. Handbook of Software Engineering and Knowledge Engineering. World Scientific , Singapore, Chapter Inconsistency management in software engineering: Survey and open research issues, 329--380. George Spanoudakis and Andrea Zisman. 2001. Handbook of Software Engineering and Knowledge Engineering. World Scientific, Singapore, Chapter Inconsistency management in software engineering: Survey and open research issues, 329--380."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765112.1765163"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1137\/0201010"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2015.22"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJBPIM.2011.042527"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACIIDS.2009.66"},{"key":"e_1_3_2_1_47_1","volume-title":"Joint APPLIGRAPH\/GETGRATS Workshop on Graph Transformation Systems. Open Publishing Association, 77--86","author":"Tsiolakis Aliki","year":"2000","unstructured":"Aliki Tsiolakis and Hartmut Ehrig . 2000 . Consistency analysis of UML class and sequence diagrams using attributed graph grammars . In Joint APPLIGRAPH\/GETGRATS Workshop on Graph Transformation Systems. Open Publishing Association, 77--86 . Aliki Tsiolakis and Hartmut Ehrig. 2000. Consistency analysis of UML class and sequence diagrams using attributed graph grammars. In Joint APPLIGRAPH\/GETGRATS Workshop on Graph Transformation Systems. Open Publishing Association, 77--86."},{"volume-title":"2nd International Workshop on Modelling of Objects, Components and Agents (MOCA)","author":"Wil M.","key":"e_1_3_2_1_48_1","unstructured":"Wil M. P. van der Aalst. 2002. Inheritance of dynamic behaviour in UML . In 2nd International Workshop on Modelling of Objects, Components and Agents (MOCA) . Aarhus, Denmark, 105--120. Wil M. P. van der Aalst. 2002. Inheritance of dynamic behaviour in UML. In 2nd International Workshop on Modelling of Objects, Components and Agents (MOCA). Aarhus, Denmark, 105--120."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/CIC.2006.32"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094822"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2007.09.003"}],"event":{"name":"EuroPLoP '17: European Conference on Pattern Languages of Programs","sponsor":["Hillside Europe Hillside Europe"],"location":"Irsee Germany","acronym":"EuroPLoP '17"},"container-title":["Proceedings of the 22nd European Conference on Pattern Languages of Programs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3147704.3147736","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3147704.3147736","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:16Z","timestamp":1750212676000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3147704.3147736"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,12]]},"references-count":51,"alternative-id":["10.1145\/3147704.3147736","10.1145\/3147704"],"URL":"https:\/\/doi.org\/10.1145\/3147704.3147736","relation":{},"subject":[],"published":{"date-parts":[[2017,7,12]]},"assertion":[{"value":"2017-07-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}