Abstract
Component-based software architecture allows software architects to design systems by composing components with syntactically defined interfaces. These models can be used for the analysis and prediction of the functional and non-functional properties of the system. While tools for the modeling and analysis of such systems, e.g., the Palladio approach, support the syntactic validation of the composition, they lack the capability to validate the semantic composition. If, e.g., one component requires and one provides an integer value, they can be composed, independently of whether this composition is actually semantically sound. To support software architects in the semantic validation of their system models, we propose a model transformation tool, that allows to transform system models from Palladio models to MontiArc models, enrich them with semantic constraints and validate these constraints with the MontiArc workbench. We present exemplary results of this transformation and validation applied to a simplified model of a component-based simulator of the Palladio approach.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Barrett, C., Stump, A., Tinelli, C., et al.: The SMT-lib standard: version 2.0. In: Proceedings of the 8th International Workshop on Satisfiability Modulo Theories (Edinburgh, UK), vol. 13, p. 14 (2010)
Broy, M., Stølen, K.: Specification and Development of Interactive Systems. Focus on Streams, Interfaces and Refinement. Springer, Heidelberg (2001). https://doi.org/10.1007/978-1-4613-0091-5
de Moura, L., Bjørner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337–340. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-78800-3_24
Haber, A.: MontiArc - Architectural Modeling and Simulation of Interactive Distributed Systems. Aachener Informatik-Berichte, Software Engineering, Band 24, Shaker Verlag (2016)
Harel, D., Rumpe, B.: Meaningful modeling: what’s the semantics of “semantics’’? IEEE Comput. J. 37(10), 64–72 (2004)
Heinrich, R., Strittmatter, M., Reussner, R.H.: A layered reference architecture for metamodels to tailor quality modeling and analysis. IEEE Trans. Software Eng. 47(4), 775–800 (2021)
Heinrich, R., et al.: The palladio-bench for modeling and simulating software architectures. In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceedings, pp. 37–40 (2018)
Hölldobler, K., Kautz, O., Rumpe, B.: MontiCore Language Workbench and Library Handbook: Edition 2021. Aachener Informatik-Berichte, Software Engineering, Band 48, Shaker Verlag (2021)
Katić, J., Klinaku, F., Becker, S.: The slingshot simulator: an extensible event-driven PCM simulator (poster) (2021)
Kausch, H., Pfeiffer, M., Raco, D., Rath, A., Rumpe, B., Schweiger, A.: A theory for event-driven specifications using focus and MontiArc on the example of a data link uplink feed system. In: Groher, I., Vogel, T. (eds.) Software Engineering 2023 Workshops, pp. 169–188. Gesellschaft für Informatik e.V. (2023)
Kausch, H., Pfeiffer, M., Raco, D., Rumpe, B.: An approach for logic-based knowledge representation and automated reasoning over underspecification and refinement in safety-critical cyber-physical systems. In: Hebig, R., Heinrich, R. (eds.) Combined Proceedings of the Workshops at Software Engineering 2020, vol. 2581. CEUR Workshop Proceedings (2020)
Kausch, H., Pfeiffer, M., Raco, D., Rumpe, B.: MontiBelle - toolbox for a model-based development and verification of distributed critical systems for compliance with functional safety. In: AIAA Scitech 2020 Forum. American Institute of Aeronautics and Astronautics (2020)
Meyer, B.: Lessons from the design of the eiffel libraries. Commun. ACM 33(9), 68–88 (1990)
Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle/HOL: A Proof Assistant for Higher-Order Logic. Lecture Notes in Artificial Intelligence, vol. 2283. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-45949-9
Reussner, R.H., Becker, S., Happe, J., Heinrich, R., Koziolek, A.: Modeling and Simulating Software Architectures: The Palladio Approach. MIT Press, Cambridge (2016)
Rumpe, B.: Modeling with UML: Language, Concepts, Methods. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-33933-7
Acknowledgments
This work was funded by the DFG (German Research Foundation) – project number 499241390 (FeCoMASS), supported by the Collaborative Research Center “Convide” - SFB 1608 - 501798263 and supported by funding from the topic Engineering Secure Systems, KASTEL Security Research Labs funded by the Helmholtz Association (HGF).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Weber, S. et al. (2024). Semantics Enhancing Model Transformation for Automated Constraint Validation of Palladio Software Architecture to MontiArc Models. In: Ampatzoglou, A., et al. Software Architecture. ECSA 2024 Tracks and Workshops. ECSA 2024. Lecture Notes in Computer Science, vol 14937. Springer, Cham. https://doi.org/10.1007/978-3-031-71246-3_4
Download citation
DOI: https://doi.org/10.1007/978-3-031-71246-3_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-70945-6
Online ISBN: 978-3-031-71246-3
eBook Packages: Computer ScienceComputer Science (R0)