Skip to main content
Top

2016 | OriginalPaper | Chapter

Retrofitting Controlled Dynamic Reconfiguration into the Architecture Description Language MontiArcAutomaton

Authors : Robert Heim, Oliver Kautz, Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann

Published in: Software Architecture

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Component & connector architecture description languages (C&C ADLs) provide hierarchical decomposition of system functionality into components and their interaction. Most ADLs fix interaction configurations at design time while some express dynamic reconfiguration of components to adapt to runtime changes. Implementing dynamic reconfiguration in a static C&C ADL by encoding it into component behavior creates implicit dependencies between components and forfeits the abstraction of behavior paramount to C&C models. We developed a mechanism for retrofitting dynamic reconfiguration into the static C&C ADL MontiArcAutomaton. This mechanism lifts reconfiguration to an architecture concern and allows to preserve encapsulation and abstraction of C&C ADLs. Our approach enables efficient retrofitting by a smooth integration of reconfiguration semantics and encapsulation. The new dynamic C&C ADL is fully backwards compatible and well-formedness of configurations can be statically checked at design time. Our work provides dynamic reconfiguration for the C&C ADL MontiArcAutomaton.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
1.
go back to reference Medvidovic, N., Taylor, R.: A classification and comparison framework for software architecture description languages. IEEE Trans. Softw. Eng. 26, 70–93 (2000)CrossRef Medvidovic, N., Taylor, R.: A classification and comparison framework for software architecture description languages. IEEE Trans. Softw. Eng. 26, 70–93 (2000)CrossRef
2.
go back to reference Malavolta, I., Lago, P., Muccini, H., Pelliccione, P., Tang, A.: What industry needs from architectural languages: a survey. IEEE Trans. Softw. Eng. 39, 869–891 (2013)CrossRef Malavolta, I., Lago, P., Muccini, H., Pelliccione, P., Tang, A.: What industry needs from architectural languages: a survey. IEEE Trans. Softw. Eng. 39, 869–891 (2013)CrossRef
3.
go back to reference France, R., Rumpe, B.: Model-driven development of complex software: a research roadmap. In: 2007 Future of Software Engineering. ICSE (2007) France, R., Rumpe, B.: Model-driven development of complex software: a research roadmap. In: 2007 Future of Software Engineering. ICSE (2007)
4.
5.
go back to reference Ringert, J.O., Roth, A., Rumpe, B., Wortmann, A.: Language and code generator composition for model-driven engineering of robotics component & connector systems. J. Softw. Eng. Robot. (JOSER) 6, 33–57 (2015) Ringert, J.O., Roth, A., Rumpe, B., Wortmann, A.: Language and code generator composition for model-driven engineering of robotics component & connector systems. J. Softw. Eng. Robot. (JOSER) 6, 33–57 (2015)
6.
go back to reference Salehie, M., Tahvildari, L.: Self-adaptive software: landscape and research challenges. ACM Trans. Auton. Adapt. Syst. (TAAS) 4, 14–15 (2009) Salehie, M., Tahvildari, L.: Self-adaptive software: landscape and research challenges. ACM Trans. Auton. Adapt. Syst. (TAAS) 4, 14–15 (2009)
7.
go back to reference Ringert, J.O., Rumpe, B., Wortmann, A.: Architecture and behavior modeling of cyber-physical systems with MontiArcAutomaton. Shaker Verlag (2014) Ringert, J.O., Rumpe, B., Wortmann, A.: Architecture and behavior modeling of cyber-physical systems with MontiArcAutomaton. Shaker Verlag (2014)
8.
go back to reference Lim, W.Y.P.: PADL-a packet architecture description language. Massachusetts Institute of Technology, Laboratory for Computer Science (1982) Lim, W.Y.P.: PADL-a packet architecture description language. Massachusetts Institute of Technology, Laboratory for Computer Science (1982)
9.
go back to reference Medvidovic, N.: ADLs and dynamic architecture changes. In: Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints 1996) on SIGSOFT 1996 Workshops (1996) Medvidovic, N.: ADLs and dynamic architecture changes. In: Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints 1996) on SIGSOFT 1996 Workshops (1996)
10.
go back to reference Aldrich, J., Chambers, C., Notkin, D.: ArchJava: connecting software architecture to implementation. In: Proceedings of the 24th International Conference on Software Engineering (ICSE) (2002) Aldrich, J., Chambers, C., Notkin, D.: ArchJava: connecting software architecture to implementation. In: Proceedings of the 24th International Conference on Software Engineering (ICSE) (2002)
11.
go back to reference Oquendo, F.: \(\pi \)-ADL: an architecture description language based on the higher-order typed \(\pi \)-calculus for specifying dynamic and mobile software architectures. ACM SIGSOFT Softw. Eng. Notes 29, 1–14 (2004) Oquendo, F.: \(\pi \)-ADL: an architecture description language based on the higher-order typed \(\pi \)-calculus for specifying dynamic and mobile software architectures. ACM SIGSOFT Softw. Eng. Notes 29, 1–14 (2004)
12.
go back to reference Cuesta, C.E., de la Fuente, P., Barrio-Solórzano, M., Beato, M.E.G.: An “abstract process” approach to algebraic dynamic architecture description. J. Log. Algebr. Program. 63, 177–214 (2005)MathSciNetCrossRefMATH Cuesta, C.E., de la Fuente, P., Barrio-Solórzano, M., Beato, M.E.G.: An “abstract process” approach to algebraic dynamic architecture description. J. Log. Algebr. Program. 63, 177–214 (2005)MathSciNetCrossRefMATH
13.
go back to reference Joolia, A., Batista, T., Coulson, G., Gomes, A.T.: Mapping ADL specifications to an efficient and reconfigurable runtime component platform. In: 5th Working IEEE/IFIP Conference on Software Architecture, WICSA 2005 (2005) Joolia, A., Batista, T., Coulson, G., Gomes, A.T.: Mapping ADL specifications to an efficient and reconfigurable runtime component platform. In: 5th Working IEEE/IFIP Conference on Software Architecture, WICSA 2005 (2005)
14.
go back to reference Bruneton, E., Coupaye, T., Leclercq, M., Quéma, V., Stefani, J.: The fractal component model and its support in Java. Softw. Pract. Exp. 36, 1257–1284 (2006)CrossRef Bruneton, E., Coupaye, T., Leclercq, M., Quéma, V., Stefani, J.: The fractal component model and its support in Java. Softw. Pract. Exp. 36, 1257–1284 (2006)CrossRef
15.
go back to reference Feiler, P.H., Gluch, D.P.: Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language. Addison-Wesley, Upper Saddle River (2012) Feiler, P.H., Gluch, D.P.: Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language. Addison-Wesley, Upper Saddle River (2012)
17.
go back to reference Aravantinos, V., Voss, S., Teufl, S., Hölzl, F., Schätz, B.: AutoFOCUS 3: tooling concepts for seamless, model-based development of embedded systems. In: Joint Proceedings of ACES-MB 2015 – Model-Based Architecting of Cyber-physical and Embedded Systems and WUCOR 2015 – UML Consistency Rules (2015) Aravantinos, V., Voss, S., Teufl, S., Hölzl, F., Schätz, B.: AutoFOCUS 3: tooling concepts for seamless, model-based development of embedded systems. In: Joint Proceedings of ACES-MB 2015 – Model-Based Architecting of Cyber-physical and Embedded Systems and WUCOR 2015 – UML Consistency Rules (2015)
18.
go back to reference Cassou, D., Koch, P., Stinckwich, S.: Using the DiaSpec design language and compiler to develop robotics systems. In: Proceedings of the Second International Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob) (2011) Cassou, D., Koch, P., Stinckwich, S.: Using the DiaSpec design language and compiler to develop robotics systems. In: Proceedings of the Second International Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob) (2011)
19.
go back to reference Becker, S., Koziolek, H., Reussner, R.: Model-based performance prediction with the palladio component model. In: Proceedings of the 6th International Workshop on Software and Performance (2007) Becker, S., Koziolek, H., Reussner, R.: Model-based performance prediction with the palladio component model. In: Proceedings of the 6th International Workshop on Software and Performance (2007)
20.
go back to reference Khare, R., Guntersdorfer, M., Oreizy, P., Medvidovic, N., Taylor, R.N.: xADL: enabling architecture-centric tool integration with XML. In: Proceedings of the 34th Annual Hawaii International Conference on System Sciences (2001) Khare, R., Guntersdorfer, M., Oreizy, P., Medvidovic, N., Taylor, R.N.: xADL: enabling architecture-centric tool integration with XML. In: Proceedings of the 34th Annual Hawaii International Conference on System Sciences (2001)
21.
go back to reference Bradbury, J.S.: Organizing definitions and formalisms for dynamic software architectures. Technical report, School of Computing, Queen’s University (2004) Bradbury, J.S.: Organizing definitions and formalisms for dynamic software architectures. Technical report, School of Computing, Queen’s University (2004)
Metadata
Title
Retrofitting Controlled Dynamic Reconfiguration into the Architecture Description Language MontiArcAutomaton
Authors
Robert Heim
Oliver Kautz
Jan Oliver Ringert
Bernhard Rumpe
Andreas Wortmann
Copyright Year
2016
DOI
https://doi.org/10.1007/978-3-319-48992-6_13

Premium Partner