research-article

Reference architectures modelling and compliance checking

Authors:

Alessio Bucaioni,

Amleto Di Salle,

Ludovico Iovino,

Ivano Malavolta,

Patrizio PelliccioneAuthors Info & Claims

Software and Systems Modeling, Volume 22, Issue 3

Pages 891 - 917

https://doi.org/10.1007/s10270-022-01022-z

Published: 06 August 2022 Publication History

Abstract

Reference architectures (RAs) are successfully used to represent families of concrete software architectures in several domains such as automotive, banking, and the Internet of Things. RAs inspire architects when designing concrete architectures, and they help to guarantee compliance with architectural decisions, regulatory requirements, as well as architectural qualities. Despite their importance, reference architectures still suffer from a number of open technical issues, including (i) the lack of a common interpretation, a precise notation for their representation and documentation, and (ii) the lack of conformance mechanisms for checking the compliance of concrete architectures to their related reference architecture, architectural decisions, regulatory requirements, etc. This paper addresses these two issues by introducing a model-driven approach that leverages (i) a domain-independent metamodel for the representation of reference architectures and (ii) the combination of model transformation and weaving techniques for the automatic conformance checking of concrete architectures. We evaluate the applicability, effectiveness, and generalizability of our approach using illustrative examples from the web browsers and automotive domains, including an assessment from an independent practitioner.

References

[1]

De Sanctis M, Spalazzese R, and Trubiani C Qos-based formation of software architectures in the internet of things European Conference on Software Architecture 2019 Cham Springer 178-194

[2]

Pelliccione P, Knauss E, Heldal R, Magnus Ågren S, Mallozzi P, Alminger A, and Borgentun D Automotive architecture framework: the experience of volvo cars J. Syst. Architect. 2017 77 83-100

[3]

Malek S, Mikic-Rakic M, and Medvidovic N A style-aware architectural middleware for resource-constrained, distributed systems IEEE Trans. Softw. Eng. 2005 31 3 256-272

[4]

Di Nitto E, Di Penta M, Gambi A, Ripa G, and Villani ML Negotiation of service level agreements: an architecture and a search-based approach International Conference on Service-Oriented Computing 2007 New York Springer 295-306

[5]

Bass L, Clements P, and Kazman R Software Architecture in Practice 2013 3 Boston Addison-Wesley Professional

[6]

Bosch J Software architecture: the next step European Workshop on Software Architecture 2004 Berlin Springer 194-199

[7]

Shaw M and Garlan D Software Architecture: Perspectives on an Emerging Discipline 1996 USA Prentice-Hall Inc

[8]

Guessi, M., de Oliveira, L.B.R., Nakagawa, E.Y.: Representation of reference architectures: a systematic review. In: SEKE, pp. 782–785. (2011)

[9]

Angelov S, Grefen P, and Greefhorst D A framework for analysis and design of software reference architectures Inf. Softw. Technol. 2012 54 4 417-431

[10]

Fernández, S.J.M.: Gathering empirical evidence and building a business case for software reference architectures in industry. (2016)

[11]

Springer Fachmedien Wiesbaden Autosar has become mature and accepted ATZextra Worldw. 2013 18 9 13-15

[12]

Yimam, D., Fernandez, E.B.: Building compliance and security reference architectures (csra) for cloud systems. In: 2016 IEEE International Conference on Cloud Engineering (IC2E), pp. 147–150. (2016)

[13]

Eklund U, Askerdal Ö, Granholm J, Alminger A, and Axelsson J Experience of introducing reference architectures in the development of automotive electronic systems ACM SIGSOFT Softw. Eng. Notes 2005 30 4 1-6

[14]

Tokar JL A comparison of avionics open system architectures ACM SIGAda Ada Lett. 2017 36 2 22-26

[15]

Hochgeschwender, N., Biggs, G., Voos, H.: A reference architecture for deploying component-based robot software and comparison with existing tools. In: 2018 Second IEEE International Conference on Robotic Computing (IRC), pp. 121–128. IEEE (2018)

[16]

Graciano N., Valdemar V., Garces, L., Guessi, M., de Oliveira, L.B.R., Oquendo, F.: On the equivalence between reference architectures and metamodels. In: 2015 1st International Workshop on Exploring Component-based Techniques for Constructing Reference Architectures (CobRA), pp. 1–4. IEEE (2015)

[17]

Martínez-Fernández S, Ayala CP, Franch X, and Marques HM Benefits and drawbacks of software reference architectures: a case study Inf. Softw. Technol. 2017 88 37-52

[18]

Malavolta I, Lago P, Muccini H, Pelliccione P, and Tang A What industry needs from architectural languages: a survey IEEE Trans. Softw. Eng. 2012 39 6 869-891

[19]

Turhan, N.K., Oguztüzün, H.: Metamodeling of reference software architecture and automatic code generation. In: Proc. of the 10th European Conference on Software Architecture Workshops, Copenhagen, Denmark, November 28 December 2, p. 2. (2016)

[20]

Alshuqayran, N.: Static Microservice Architecture Recovery Using Model-Driven Engineering. PhD thesis, University of Brighton. (2020)

[21]

Alshuqayran, N., Ali, N., Evans, R.: Towards micro service architecture recovery: An empirical study. In: 2018 IEEE International Conference on Software Architecture (ICSA), pp. 47–4709. IEEE (2018)

[22]

Sendall S and Kozaczynski W Model transformation: the heart and soul of model-driven software development Softw. IEEE 2003 20 5 42-45

[23]

Bézivin J On the unification power of models Softw. Syst. Model. 2005 4 2 171-188

[24]

Grosskurth, A., Godfrey, M.W.: A reference architecture for web browsers. In: 21st IEEE International Conference on Software Maintenance (ICSM’05), pp. 661–664. IEEE (2005)

[25]

Gómez-Abajo, P., Guerra, E., de Lara, J.: Wodel: a domain-specific language for model mutation. In: Proceedings of the 31st Annual ACM Symposium on Applied Computing, pp. 1968–1973. (2016)

[26]

Maple C, Bradbury M, Le AT, and Ghirardello K A connected and autonomous vehicle reference architecture for attack surface analysis Appl. Sci. 2019 9 23 5101

[27]

Angelov, S., Grefen, P., Greefhorst, D.: A classification of software reference architectures: analyzing their success and effectiveness. In: 2009 Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture, pp. 141–150. IEEE (2009)

[28]

Kruchten P The Rational Unified Process: An Introduction 2004 Boston Addison-Wesley Professional

[29]

Behere S and Törngren M A functional reference architecture for autonomous driving Inf. Softw. Technol. 2016 73 C 136-150

[30]

Pelliccione P, Knauss E, Magnus Ågren S, Heldal R, Bergenhem C, Vinel A, and Brunnegård O Beyond connected cars: a systems of systems perspective Sci. Comput. Program. 2020 191 102-414

[31]

Magnusson, A., Laine, L., Lindberg, J.: Rethink ee architecture in automotive to facilitate automation, connectivity, and electro mobility. In: 40th Int. Conference on Software Engineering: Software Engineering in Practice, pp. 65–74. ACM (2018)

[32]

Bucaioni, A., Pelliccione, P.: Technical architectures for automotive systems. In: 2020 IEEE International Conference on Software Architecture (ICSA), pp. 46–57. (2020)

[33]

Brogi A, Carrasco J, Cubo J, D’Andria F, Di Nitto E, Guerriero M, Pérez D, Pimentel E, and Soldani J Seaclouds: an open reference architecture for multi-cloud governance European Conference on Software Architecture 2016 New York Springer 334-338

[34]

ISO/IEC JTC 1/SC 7 Software and Systems Engineering: Iso/iec/ieee 42010 Systems and Software Engineering – Architecture Description. Standard ISO/IEC TR 29110-1:2016, International Organization for Standardization (2011)

[35]

Broy M, Gleirscher M, Merenda S, Wild D, Kluge P, and Krenzer W Toward a holistic and standardized automotive architecture description Computer 2009 42 12 98-101

[36]

Broy, M., Gleirscher, M., Kluge, P., Krenzer, W., Merenda, S., Wild, D.: Automotive Architecture Framework: Towards a Holistic and Standardised System Architecture Description. Technical Report (2009)

[37]

Chalé Góngora HG, Gaudré T, and Tucci-Piergiovanni S Towards an architectural design framework for automotive systems development Complex Systems Design & Management 2013 New York Springer 241-258

[38]

Dajsuren, Y.: On the Design of an Architecture Framework and Quality Evaluation for Automotive Software Systems, PhD thesis. Technische Universiteit Eindhoven (2015)

[39]

Dajsuren Y Defining Architecture Framework for Automotive Systems 2019 Cham Springer 141-168

[40]

Fernández-Montes A, Ortega JA, Sánchez-Venzalá JI, and González-Abril L Software reference architecture for smart environments: perception Comput. Stand. Interfaces 2014 36 6 928-940

[41]

Martínez-Fernández S, Ayala CP, Franch X, and Marques HM Favaro J and Morisio M Rearm: a reuse-based economic model for software reference architectures Safe and Secure Software Reuse 2013 Berlin, Heidelberg Springer 97-112

[42]

Scott, D.: Gartner hype cycle for real-time infrastructure. Available: https://www.gartner.com/en/documents/2102116/hype-cycle-for-cloud-computing-2012

[43]

Bézivin J Model driven engineering: an emerging technical space International Summer School on Generative and Transformational Techniques in Software Engineering 2005 New York Springer 36-64

[44]

Ganesan, D., Keuler, T., Nishimura, Y.: Architecture compliance checking at run-time. Inf. Softw. Technol. 51(11), 1586 – 1600 (2009). In: Third IEEE International Workshop on Automation of Software Test (AST 2008) Eighth International Conference on Quality Software (QSIC 2008)

[45]

Monroe RT, Kompanek A, Melton RE, and Garlan D Architectural styles, design patterns, and objects IEEE Softw. 1997 14 1 43-52

[46]

Lara J, Guerra E, and Cuadrado JS Model-driven engineering with domain-specific meta-modelling languages Softw. Syst. Model. 2013 14 02

[47]

De Lara J, Guerra E, and Sánchez Cuadrado J When and how to use multilevel modelling ACM Trans. Softw. Eng. Methodol. 2014 24 2 1-46

[48]

Steinberg D, Budinsky F, Merks E, and Paternostro M EMF: Eclipse Modeling Framework 2008 London Pearson Education

[49]

Kolovos DS, Paige RF, and Polack FAC On the evolution of ocl for capturing structural constraints in modelling languages Rigorous Methods for Software Construction and Analysis 2009 New York Springer 204-218

[50]

Kolovos DS, Paige RF, and Polack FAC The epsilon object language (eol) European Conference on Model Driven Architecture-Foundations and Applications 2006 New York Springer 128-142

[51]

Black, A., Fuad, M.M.: Survey and classification of software technologies for multi-core architecture. In: Proceedings of the ISCA 23rd International Conference on Computer Applications in Industry and Engineering, CAINE 2010, November 8–10 2010, Imperial Palace Hotel, Las Vegas, Nevada, USA, pp. 26–30. (2010)

[52]

Pruijt L, Köppe C, van der Werf JM, and Brinkkemper S The accuracy of dependency analysis in static architecture compliance checking Softw. Pract. Exp. 2017 47 2 273-309

[53]

Viyović, V., Maksimović, M., Perisić, B.: Sirius: a rapid development of dsm graphical editor. In: IEEE 18th International Conference on Intelligent Engineering Systems INES 2014, pp. 233–238. IEEE (2014)

[54]

Kolovos D, García-Domínguez A, Rose LM, and Paige RF Eugenia: towards disciplined and automated development of gmf-based graphical model editors Softw. Syst. Model. 2017 16 1 229-255

[55]

Kolovos DS, Paige RF, and Polack FAC The epsilon transformation language International Conference on Theory and Practice of Model Transformations 2008 New York Springer 46-60

[56]

Cuenot, P., Frey, P., Johansson, R., Lönn, H., Papadopoulos, Y., Reiser, M.-O., Sandberg, A., Servat, D., Kolagari, R.T., Törngren, M., Weber, M.: The east-adl architecture description language for automotive embedded software. In: Proceedings of MBEERTS’07, pp. 297–307. Springer, New York (2010)

[57]

Bucaioni, A., Mubeen, S., Ciccozzi, F., Cicchetti, A., Sjödin, M.: Modelling multi-criticality vehicular software systems: evolution of an industrial component model. Softw. Syst. Model. 2020, To appear, (2020)

[58]

Rose LM, Paige RF, Kolovos DS, and Polack FAC The epsilon generation language European Conference on Model Driven Architecture-Foundations and Applications 2008 New York Springer 1-16

[59]

Kolovos, D., De La Vega, A., Cooper, J.: Efficient generation of graphical model views via lazy model-to-text transformation. In: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, pp. 12–23. (2020)

[60]

Del Fabro, M.D., Valduriez, P.: Semi-automatic model integration using matching transformations and weaving models. In: Proceedings of the 2007 ACM Symposium on Applied Computing, pp. 963–970. (2007)

[61]

Epsilon: Modelink: Linking Models with Epsilon. http://www.eclipse.org/gmt/epsilon/doc/modelink/. Accessed 20 Mar 2021

[62]

Jia Y and Harman M An analysis and survey of the development of mutation testing IEEE Trans. Softw. Eng. 2010 37 5 649-678

[63]

Gómez-Abajo, P., Guerra, E., Lara, J.: Wodel: A Domain-specific Language for Model Mutation, vol. 4, pp. 1968–1973. (2016)

[64]

Campbell, D.T., Stanley, J.C.: Experimental and Quasi-Experimental Designs for Research. Ravenio Books. (2015)

[65]

Wohlin C, Runeson P, Höst M, Ohlsson MC, Regnell B, and Wesslén A Experimentation in Software Engineering 2012 New York Springer

[66]

Verdecchia, R.: Identifying architectural technical debt in android applications through automated compliance checking. In: 2018 IEEE/ACM 5th International Conference on Mobile Software Engineering and Systems (MOBILESoft), pp. 35–36. IEEE (2018)

[67]

Clements P and Northrop L Software Product Lines 2002 Boston Addison-Wesley Boston

[68]

De Lara J, Guerra E, Di Ruscio D, Di Rocco J, Cuadrado JS, Iovino L, and Pierantonio A Automated reuse of model transformations through typing requirements models ACM Trans. Softw. Eng. Methodol. (TOSEM) 2019 28 4 1-62

[69]

Bernardi, M.L., Di, L., Giuseppe, A., Distante, D.: A model-driven approach for the fast prototyping of web applications. In: 2011 13th IEEE International Symposium on Web Systems Evolution (WSE), pp. 65–74. IEEE (2011)

[70]

Miksovic, C., Zimmermann, O.: Architecturally significant requirements, reference architecture, and metamodel for knowledge management in information technology services. In: 2011 Ninth Working IEEE/IFIP Conference on Software Architecture, pp. 270–279. IEEE (2011)

[71]

Bucaioni A, Addazi L, Cicchetti A, Ciccozzi F, Eramo R, Mubeen S, and Sjödin M Moves: a model-driven methodology for vehicular embedded systems IEEE Access 2018 6 6424-6445

[72]

Bucaioni, A., Cicchetti, A., Ciccozzi, F., Mubeen, S., Sjödin, M.: Technology-preserving transition from single-core to multi-core in modelling vehicular systems. In: Springer, Editor, 13th European Conference on Modelling Foundations and Applications. (2017)

[73]

Di Ruscio, D., Malavolta, I., Muccini, H., Pelliccione, P., Pierantonio, A.: Developing next generation ADLs through MDE techniques. In: 2010 ACM/IEEE 32nd International Conference on Software Engineering, vol. 1, pp. 85–94. (2010)

[74]

Herold, S., Mair, M., Rausch, A., Schindler, I.: Checking conformance with reference architectures: a case study. In: 2013 17th IEEE International Enterprise Distributed Object Computing Conference, pp. 71–80. (2013)

[75]

Herold, S., Rausch, A.: Complementing model-driven development for the detection of software architecture erosion. In: Atlee, J.M., Baillargeon, R., Chechik, M., France, M., Gray, J., Paige, R.F., Rumpe, B. (eds.) Proceedings of the 5th International Workshop on Modeling in Software Engineering, MiSE 2013, San Francisco, California, USA, May 18-19, 2013, pp. 24–30. IEEE Computer Society (2013)

[76]

Weinreich, R., Buchgeher, G.: Automatic reference architecture conformance checking for soa-based software systems. In: 2014 IEEE/IFIP Conference on Software Architecture, pp. 95–104 (2014)

Cited By

Tuyishime ABasciani FCanovas Izquierdo JIovino LCombemale BWimmer MChechik MEgyed A(2024)Enhancing Model Management with Automated REST API GenerationProceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems10.1145/3652620.3687787(36-40)Online publication date: 22-Sep-2024
https://dl.acm.org/doi/10.1145/3652620.3687787
Bucaioni APelliccione PMubeen S(2024)Modelling centralised automotive E/E software architecturesAdvanced Engineering Informatics10.1016/j.aei.2023.10228959:COnline publication date: 1-Jan-2024
https://dl.acm.org/doi/10.1016/j.aei.2023.102289
Michael JShekhovtsov V(2024)A model-based reference architecture for complex assistive systems and its applicationSoftware and Systems Modeling (SoSyM)10.1007/s10270-024-01157-123:5(1247-1274)Online publication date: 1-Oct-2024
https://dl.acm.org/doi/10.1007/s10270-024-01157-1
Show More Cited By

Recommendations

Empirically-grounded reference architectures: a proposal
QoSA-ISARCS '11: Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS

A reference architecture describes core elements of the software architecture for systems that stem from the same domain. A reference architecture ensures interoperability of systems through standardization. It also facilitates the instantiation of new ...
Towards a Method for the Evaluation of Reference Architectures: Experiences from a Case
ECSA '08: Proceedings of the 2nd European conference on Software Architecture

Reference architectures provide major guidelines for the structure of a class of information systems. Because of their fundamental role, reference architectures have to be of high quality. Before accepting a reference architecture, it has to go through ...
Modeling software architectures in the Unified Modeling Language

The Unified Modeling Language (UML) is a family of design notations that is rapidly becoming a de facto standard software design language. UML provides a variety of useful capabilities to the software designer, including multiple, interrelated design ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Software and Systems Modeling (SoSyM)

Software and Systems Modeling (SoSyM) Volume 22, Issue 3

Jun 2023

297 pages

ISSN:1619-1366

Issue’s Table of Contents

© The Author(s) 2022.

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 06 August 2022

Accepted: 06 July 2022

Revision received: 27 June 2022

Received: 30 August 2021

Author Tags

Qualifiers

Research-article

Funding Sources

Gran Sasso Science Institute - GSSI

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 27 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Tuyishime ABasciani FCanovas Izquierdo JIovino LCombemale BWimmer MChechik MEgyed A(2024)Enhancing Model Management with Automated REST API GenerationProceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems10.1145/3652620.3687787(36-40)Online publication date: 22-Sep-2024
https://dl.acm.org/doi/10.1145/3652620.3687787
Bucaioni APelliccione PMubeen S(2024)Modelling centralised automotive E/E software architecturesAdvanced Engineering Informatics10.1016/j.aei.2023.10228959:COnline publication date: 1-Jan-2024
https://dl.acm.org/doi/10.1016/j.aei.2023.102289
Michael JShekhovtsov V(2024)A model-based reference architecture for complex assistive systems and its applicationSoftware and Systems Modeling (SoSyM)10.1007/s10270-024-01157-123:5(1247-1274)Online publication date: 1-Oct-2024
https://dl.acm.org/doi/10.1007/s10270-024-01157-1
Silva SPelliccione PBertolino A(2023)Self-Adaptive Testing in the FieldACM Transactions on Autonomous and Adaptive Systems10.1145/362716319:1(1-37)Online publication date: 11-Oct-2023
https://dl.acm.org/doi/10.1145/3627163

View Options

View options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents