Analysis as a First-Class Citizen: An Application to Architecture Description Languages
| Autor: | Jérôme Hugues, Guillaume Brau |
|---|---|
| Rok vydání: | 2014 |
| Předmět: |
Computer science [C05] [Engineering
computing & technology] AADL Context model Architecture description language Programming language business.industry Computer science Process (engineering) Architecture Analysis & Design Language Sciences informatiques [C05] [Ingénierie informatique & technologie] computer.software_genre Architecture Description Languages First-class citizen Unified Modeling Language Engineering design process Software engineering business computer Analysis Software architecture description computer.programming_language |
| Zdroj: | ISORC Proceedings of the IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) (pp. 214-221). IEEE (2014). |
| DOI: | 10.1109/isorc.2014.60 |
| Popis: | Architecture Description Languages (ADLs) support modeling and analysis of systems through models transformation and exploration. Various contributions made proposals to bring verification capabilities to designers through model-based frame-works and illustrated benefits to the overall system quality. Model-level analyses are usually performed as an exogenous, unidirectional and semantically weak transformation towards a third-party model. We claim such process can be incomplete and/or inefficient because gathered results lead to evolution of the primary model. This is particularly problematic for the design of Distributed Real-Time Embedded (DRE) systems that has to tackle many concerns like time, security or safety. In this paper, we argue why analysis should no longer be considered as a side step in the design process but, rather, should be embedded as a first-class citizen in the model itself. We review several standardized architecture description languages, which consider analysis as a goal. As an element of solution, we introduce current work on the definition of a language dedicated to the analysis of models within the scope of one particular ADL, namely the Architecture Analysis and Design Language (AADL). |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|