Checking and Enforcement of Modeling Guidelines with Graph Transformations
| Autor: | Ingo Stürmer, Carsten Amelunxen, Elodie Legros, Andy Schürr |
|---|---|
| Rok vydání: | 2008 |
| Předmět: |
Graph rewriting
Theoretical computer science Computer science business.industry Stateflow Context (language use) computer.file_format Metamodeling Domain (software engineering) Graph (abstract data type) Executable Software engineering business computer Object Constraint Language computer.programming_language |
| Zdroj: | Applications of Graph Transformations with Industrial Relevance ISBN: 9783540890195 AGTIVE |
| DOI: | 10.1007/978-3-540-89020-1_22 |
| Popis: | In the automotive industry, the model driven development of software for embedded controller units evolves to become the standard paradigm. In this domain, the development is based on executable block diagrams and StateCharts which are provided by the commonly used tool MATLAB Simulink/Stateflow. Huge catalogues with hundreds of modeling guidelines have already been developed to increase the quality of models and ensure the safety and reliability of the generated code. Checking these guidelines and eliminating detected violations manually during audits is a tremendous amount of boring work. In this paper, we show how graph transformations can be used to automate the process of guideline checking and the execution of repair actions. Based on our experiences in an industrial context, we discuss the pros and cons of graph transformations compared to other specification approaches and we finally present a proposal how to combine graph transformations with other modeling paradigms as the most promising approach. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|