OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Supporting Model Refinement with Equivalence Checking in the Context of Model-Driven Engineering with UML-RT

Oliveira, Raquel Araùjo de and Dingel, Juergen Supporting Model Refinement with Equivalence Checking in the Context of Model-Driven Engineering with UML-RT. (2017) In: Model-Driven Engineering, Verification and Validation Workshop at the MODELS conference (MODEVVA 2017), 19 September 2017 (Austin, United States).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://ceur-ws.org/Vol-2019/modevva_2.pdf


Through model refinement, system developers canbuild a system model incrementally and gradually unveil thedetails of the system. While the process of incrementally buildinga model can help developers master the complexity of the system,even small modifications to a model may lead to a loss of initiallypresent desirable behavior and properties. Furthermore, theimpact of such changes on the model behavior becomes difficultto detect once the model size increases. We propose a formalapproach to compare pairs of models in which the second modelis the result of an incremental modification of the first. The resultshave shown that the approach helps verify that the modificationis behavior preserving, i.e., that it is a refinement in the sense ofthe formal methods literature.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to CEUR editor, a free open-access publication service of Sun SITE Central Europe operated under the umbrella of RWTH Aachen University. This paper appears in vol 2019 Ceur Workshop Proceedings ISSN: 1613-0073 The definitive version is available at http://ceur-ws.org/Vol-2019/modevva_2.pdf
HAL Id:hal-02548091
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Other partners > Queen's University (CANADA)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Deposited On:09 Apr 2020 12:08

Repository Staff Only: item control page