Verifiable architectural interface for supporting model-driven development with adequate abstraction level

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Abstract

It is not easy to design software architecture reflecting the intention of developers and implement the result of design as a program while preserving the architectural correctness and adequate abstraction level. Archface, an architectural interface mechanism, plays a role as an ADL at the design phase and as a programming interface at the implementation phase. Design and code can co-evolve with Archface at the center of the development process. This paper proposes a verifiable architectural interface that can check the traceability between design and code. For this checking, we use an SMT (Satisfiability Modulo Theories) solver, a tool for deciding the satisfiability of logical formulas. Adopting our approach, we can construct MDD tools supporting adequate abstraction level when they generate code, recover a design model from code, and check the traceability between a design model and its code.

Original languageEnglish
Title of host publication2012 4th International Workshop on Modeling in Software Engineering, MiSE 2012 - Proceedings
Pages15-21
Number of pages7
DOIs
Publication statusPublished - 2012
Event2012 4th International Workshop on Modeling in Software Engineering, MiSE 2012 - Zurich, Switzerland
Duration: Jun 2 2012Jun 3 2012

Publication series

Name2012 4th International Workshop on Modeling in Software Engineering, MiSE 2012 - Proceedings

Other

Other2012 4th International Workshop on Modeling in Software Engineering, MiSE 2012
CountrySwitzerland
CityZurich
Period6/2/126/3/12

All Science Journal Classification (ASJC) codes

  • Software

Fingerprint Dive into the research topics of 'Verifiable architectural interface for supporting model-driven development with adequate abstraction level'. Together they form a unique fingerprint.

Cite this