Semantics Enhancing Model Transformation for Automated Constraint Validation of Palladio Software Architecture to MontiArc Models

被引:0
作者
Weber, Sebastian [1 ]
Henss, Joerg [1 ]
Taghavi, Bahareh [2 ]
Weber, Thomas [2 ]
Stueber, Sebastian [3 ]
Marin, Adrian [3 ]
Rumpe, Bernhard [3 ]
Heinrich, Robert [2 ]
机构
[1] FZI Res Ctr Informat Technol, Karlsruhe, Germany
[2] Karlsruhe Inst Technol, Karlsruhe, Germany
[3] Rhein Westfal TH Aachen, Software Engn, Aachen, Germany
来源
SOFTWARE ARCHITECTURE, ECSA 2024 TRACKS AND WORKSHOPS | 2024年 / 14937卷
关键词
Semantic Constraint Validation; Software Architecture; Model Transformation; Palladio; MontiArc;
D O I
10.1007/978-3-031-71246-3_4
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
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.
引用
收藏
页码:30 / 38
页数:9
相关论文
共 16 条
  • [1] Barrett C., 2010, Proceedings of the 8th International Workshop on Satisfiability Modulo Theories
  • [2] Broy M., 2001, Specification and Development of Interactive Systems. Focus on Streams, Interfaces and Refinement, DOI DOI 10.1007/978-1-4613-0091-5
  • [3] Z3: An efficient SMT solver
    de Moura, Leonardo
    Bjorner, Nikolaj
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2008, 4963 : 337 - 340
  • [4] Haber A., 2016, Aachener Informatik-Berichte, Software Engineering, V24
  • [5] Meaningful modeling: What's the semantics of "semantics"?
    Harel, D
    Rumpe, B
    [J]. COMPUTER, 2004, 37 (10) : 64 - +
  • [6] A Layered Reference Architecture for Metamodels to Tailor Quality Modeling and Analysis
    Heinrich, Robert
    Strittmatter, Misha
    Reussner, Ralf
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2021, 47 (04) : 775 - 800
  • [7] The Palladio-Bench for Modeling and Simulating Software Architectures
    Heinrich, Robert
    Werle, Dominik
    Klare, Heiko
    Reussner, Ralf
    Kramer, Max
    Becker, Steffen
    Happe, Jens
    Koziolek, Heiko
    Krogmann, Klaus
    [J]. PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, 2018, : 37 - 40
  • [8] Holldobler K., 2021, MontiCore Language Workbench and Library Handbook: Edition 2021. Aachener InformatikBerichte, Software Engineering, V48
  • [9] Katic J., 2021, The slingshot simulator: an extensible eventdriven PCM simulator
  • [10] Kausch H., 2020, COMB P WORKSH SOFTW, V2581