{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T16:55:53Z","timestamp":1759683353163,"version":"3.41.0"},"reference-count":46,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2012,3,1]],"date-time":"2012-03-01T00:00:00Z","timestamp":1330560000000},"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":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2012,3]]},"abstract":"<jats:p>Current techniques for modeling software architecture do not provide sufficient support for modeling architectural design rules. This is a problem in the context of model-driven development in which it is assumed that major design artifacts are represented as formal or semi-formal models. This article addresses this problem by presenting an approach to modeling architectural design rules in UML at the abstraction level of the meaning of the rules. The high abstraction level and the use of UML makes the rules both amenable to automation and easy to understand for both architects and developers, which is crucial to deployment in an organization. To provide a proof-of-concept, a tool was developed that validates a system model against the architectural rules in a separate UML model. To demonstrate the feasibility of the approach, the architectural design rules of an existing live industrial-strength system were modeled according to the approach.<\/jats:p>","DOI":"10.1145\/2089116.2089120","type":"journal-article","created":{"date-parts":[[2012,3,20]],"date-time":"2012-03-20T12:04:05Z","timestamp":1332245045000},"page":"1-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["An Approach for Modeling Architectural Design Rules in UML and its Application to Embedded Software"],"prefix":"10.1145","volume":"21","author":[{"given":"Anders","family":"Mattsson","sequence":"first","affiliation":[{"name":"Combitech AB, Sweden and University of Limerick, Ireland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian","family":"Fitzgerald","sequence":"additional","affiliation":[{"name":"University of Limerick, Ireland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bj\u00f6rn","family":"Lundell","sequence":"additional","affiliation":[{"name":"University of Sk\u00f6vde, Sweden and University of Limerick, Ireland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian","family":"Lings","sequence":"additional","affiliation":[{"name":"University of Sk\u00f6vde, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,3]]},"reference":[{"key":"e_1_2_2_1_1","doi-asserted-by":"crossref","unstructured":"America P. Rommes E. and Obbink H. 2004. Multi-view variation modeling for scenario analysis. In Software Product-Family Engineering. F. Vanderlinden Ed. Springer Berlin 44--65. America P. Rommes E. and Obbink H. 2004. Multi-view variation modeling for scenario analysis. In Software Product-Family Engineering . F. Vanderlinden Ed. Springer Berlin 44--65.","DOI":"10.1007\/978-3-540-24667-1_5"},{"key":"e_1_2_2_2_1","unstructured":"Bass L. Clements P. and Kazman R. 2003. Software Architecture in Practice. Addison-Wesley Reading MA. Bass L. Clements P. and Kazman R. 2003. Software Architecture in Practice . Addison-Wesley Reading MA."},{"key":"e_1_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2007.22"},{"volume-title":"Proceedings of the 5th International Conference on Software Engineering. 308--317","author":"Bengtsson P.","key":"e_1_2_2_4_1","unstructured":"Bengtsson , P. and Bosch , J . 1998. Scenario-based software architecture reengineering . In Proceedings of the 5th International Conference on Software Engineering. 308--317 . Bengtsson, P. and Bosch, J. 1998. Scenario-based software architecture reengineering. In Proceedings of the 5th International Conference on Software Engineering. 308--317."},{"volume-title":"Design and Use of Software Architectures : Adopting and evolving a Product Line Approach","author":"Bosch J.","key":"e_1_2_2_5_1","unstructured":"Bosch , J. 2000. Design and Use of Software Architectures : Adopting and evolving a Product Line Approach . Addison-Wesley , Reading, MA . Bosch, J. 2000. Design and Use of Software Architectures : Adopting and evolving a Product Line Approach. Addison-Wesley, Reading, MA."},{"volume-title":"Proceedings of the IEEE Conference and Workshop on Engineering of Computer-Based Systems (ECBS\u201999)","author":"Bosch J.","key":"e_1_2_2_6_1","unstructured":"Bosch , J. and Molin , P . 1999. Software architecture design: Evaluation and transformation . In Proceedings of the IEEE Conference and Workshop on Engineering of Computer-Based Systems (ECBS\u201999) . IEEE, Los Alamitos, CA, 4--10. Bosch, J. and Molin, P. 1999. Software architecture design: Evaluation and transformation. In Proceedings of the IEEE Conference and Workshop on Engineering of Computer-Based Systems (ECBS\u201999). IEEE, Los Alamitos, CA, 4--10."},{"volume-title":"Pattern-Oriented Software Architecture: A System of Patterns","author":"Buschmann F.","key":"e_1_2_2_7_1","unstructured":"Buschmann , F. 1996. Pattern-Oriented Software Architecture: A System of Patterns . Wiley , New York . Buschmann, F. 1996. Pattern-Oriented Software Architecture: A System of Patterns. Wiley, New York."},{"key":"e_1_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1767751.1767753"},{"key":"e_1_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1020835709566"},{"key":"e_1_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.1271174"},{"key":"e_1_2_2_11_1","first-page":"2","article-title":"An introduction to UML profiles. Euro","author":"Fuentes-Fern\u00e1ndez L.","year":"2004","unstructured":"Fuentes-Fern\u00e1ndez , L. and Vallecillo-Moreno , M. 2004 . An introduction to UML profiles. Euro . J. Inform. Profess. V , 2 . Fuentes-Fern\u00e1ndez, L. and Vallecillo-Moreno, M. 2004. An introduction to UML profiles. Euro. J. Inform. Profess. V, 2.","journal-title":"J. Inform. Profess."},{"key":"e_1_2_2_12_1","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"Gamma E.","year":"1995","unstructured":"Gamma , E. 1995 . Design Patterns: Elements of Reusable Object-Oriented Software . Addison-Wesley , Reading, MA . Gamma, E. 1995. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, MA."},{"key":"e_1_2_2_13_1","volume-title":"Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools","author":"Greenfield J.","year":"2004","unstructured":"Greenfield , J. and Short , K . 2004 . Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools . Wiley , New York . Greenfield, J. and Short, K. 2004. Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools. Wiley, New York."},{"key":"e_1_2_2_14_1","unstructured":"Hofmeister C. Nord R. and Soni D. 2000. Applied Software Architecture. Addison-Wesley Reading MA. Hofmeister C. Nord R. and Soni D. 2000. Applied Software Architecture . Addison-Wesley Reading MA."},{"key":"e_1_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA.2005.61"},{"key":"e_1_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA.2007.47"},{"key":"e_1_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805824"},{"key":"e_1_2_2_18_1","volume-title":"Proceedings of the 2nd Groningen Workshop on Software Variability. 54--61","author":"Kruchten P.","year":"2004","unstructured":"Kruchten , P. 2004 a. An ontology of architectural design decisions in software intensive systems . In Proceedings of the 2nd Groningen Workshop on Software Variability. 54--61 . Kruchten, P. 2004a. An ontology of architectural design decisions in software intensive systems. In Proceedings of the 2nd Groningen Workshop on Software Variability. 54--61."},{"volume-title":"The Rational Unified Process: An Introduction","author":"Kruchten P.","key":"e_1_2_2_19_1","unstructured":"Kruchten , P. 2004b. The Rational Unified Process: An Introduction . Addison-Wesley , Reading, MA . Kruchten, P. 2004b. The Rational Unified Process: An Introduction. Addison-Wesley, Reading, MA."},{"key":"e_1_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/11921998_8"},{"key":"e_1_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.469759"},{"volume-title":"Proceedings of the 12th European Conference on Object-Oriented Programming. Springer","author":"Lauder A.","key":"e_1_2_2_22_1","unstructured":"Lauder , A. and Kent , S . 1998. Precise visual specification of design patterns . In Proceedings of the 12th European Conference on Object-Oriented Programming. Springer , Berlin. Lauder, A. and Kent, S. 1998. Precise visual specification of design patterns. In Proceedings of the 12th European Conference on Object-Oriented Programming. Springer, Berlin."},{"key":"e_1_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.28945\/479"},{"volume-title":"Proceedings of the 26th International Conference on Software Engineering. 252--261","author":"Mak J. K. H.","key":"e_1_2_2_24_1","unstructured":"Mak , J. K. H. , Choy , C. S. T. and Lun , D. P. K. 2004. Precise modeling of design patterns in UML . In Proceedings of the 26th International Conference on Software Engineering. 252--261 . Mak, J. K. H., Choy, C. S. T. and Lun, D. P. K. 2004. Precise modeling of design patterns in UML. In Proceedings of the 26th International Conference on Software Engineering. 252--261."},{"key":"e_1_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.87"},{"key":"e_1_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2006.08.006"},{"key":"e_1_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/504087.504088"},{"key":"e_1_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.825767"},{"key":"e_1_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/302163.302175"},{"key":"e_1_2_2_30_1","unstructured":"OMG. 2003. MDA Guide version 1.0.1 OMG. OMG . 2003. MDA Guide version 1.0.1 OMG."},{"key":"e_1_2_2_31_1","unstructured":"OMG. 2003. UML 2.0 OCL specification. OMG . 2003. UML 2.0 OCL specification."},{"key":"e_1_2_2_32_1","unstructured":"OMG. 2006. Meta Object Facility (MOF) core specification. OMG . 2006. Meta Object Facility (MOF) core specification."},{"key":"e_1_2_2_33_1","unstructured":"OMG. 2009. Unified modeling language: Superstructure. OMG . 2009. Unified modeling language: Superstructure."},{"key":"e_1_2_2_34_1","doi-asserted-by":"crossref","unstructured":"Pahl C. Giesecke S. and Hasselbring W. 2007. An ontology-based approach for modeling architectural styles. In Software Architecture. 60--75. Pahl C. Giesecke S. and Hasselbring W. 2007. An ontology-based approach for modeling architectural styles. In Software Architecture . 60--75.","DOI":"10.1007\/978-3-540-75132-8_6"},{"key":"e_1_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/141874.141884"},{"volume-title":"Software Architecture for Product Families Principles and Practice, M. Jazayeri, et al. Eds","author":"Ran A.","key":"e_1_2_2_36_1","unstructured":"Ran , A. 2000. ARES conceptual framework for software architecture . In Software Architecture for Product Families Principles and Practice, M. Jazayeri, et al. Eds . Addison-Wesley , Reading, MA , 1--29. Ran, A. 2000. ARES conceptual framework for software architecture. In Software Architecture for Product Families Principles and Practice, M. Jazayeri, et al. Eds. Addison-Wesley, Reading, MA, 1--29."},{"key":"e_1_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"e_1_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.385970"},{"key":"e_1_2_2_39_1","volume-title":"Software Architecture: Perspectives on an Emerging Discipline","author":"Shaw M.","year":"1996","unstructured":"Shaw , M. and Garlan , D . 1996 . Software Architecture: Perspectives on an Emerging Discipline . Prentice Hall , Upper Saddle River, NJ. Shaw, M. and Garlan, D. 1996. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, Upper Saddle River, NJ."},{"key":"e_1_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/225014.225033"},{"key":"e_1_2_2_41_1","unstructured":"Telelogic Rhapsody modeling. http:\/\/www.telelogic.com\/products\/rhapsody\/. Telelogic Rhapsody modeling. http:\/\/www.telelogic.com\/products\/rhapsody\/."},{"key":"e_1_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_22"},{"key":"e_1_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2005.27"},{"key":"e_1_2_2_44_1","volume-title":"Proceedings of the 3rd International Conference on Software Product Lines (SPLC\u201904)","volume":"3154","author":"van Der Linden F.","unstructured":"van Der Linden , F. , Bosch , J. , Kamsties , E. , Kansala , K. , and Obbink , H . 2004. Software product family evaluation . In Proceedings of the 3rd International Conference on Software Product Lines (SPLC\u201904) . Lecture Notes in Computer Science , vol. 3154 , Springer, Berlin, 110--129. van Der Linden, F., Bosch, J., Kamsties, E., Kansala, K., and Obbink, H. 2004. Software product family evaluation. In Proceedings of the 3rd International Conference on Software Product Lines (SPLC\u201904). Lecture Notes in Computer Science, vol. 3154, Springer, Berlin, 110--129."},{"key":"e_1_2_2_45_1","doi-asserted-by":"crossref","unstructured":"Wojcik R. Bachmann F. Bass L. Clements P. Merson P. Nord R. L. and Wood B. 2006. Attribute-driven design (ADD) Version 2.0. Software Engineering Institute Carnegie Mellon University. Wojcik R. Bachmann F. Bass L. Clements P. Merson P. Nord R. L. and Wood B. 2006. Attribute-driven design (ADD) Version 2.0. Software Engineering Institute Carnegie Mellon University.","DOI":"10.21236\/ADA460414"},{"key":"e_1_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094822"}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2089116.2089120","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2089116.2089120","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:56:10Z","timestamp":1750254970000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2089116.2089120"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3]]},"references-count":46,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["10.1145\/2089116.2089120"],"URL":"https:\/\/doi.org\/10.1145\/2089116.2089120","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"type":"print","value":"1049-331X"},{"type":"electronic","value":"1557-7392"}],"subject":[],"published":{"date-parts":[[2012,3]]},"assertion":[{"value":"2009-07-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2010-09-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2012-03-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}