IDF: A framework for the incremental development and conformance verification of UML active primitive components

Autor: Anne-Lise Courbis, Christian Percebois, Hong-Viet Luong, Thomas Lambolais
Přispěvatelé: Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), M2M ndt (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), IMT Mines Alès (FRANCE), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Laboratoire de Génie Informatique et Ingénierie de Production (LGI2P), IMT - MINES ALES (IMT - MINES ALES), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées, M2M-NDT, Modèles, Architectures, Composants, Agilité et prOcessus (IRIT-MACAO), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Institut Mines-Télécom [Paris] (IMT)
Rok vydání: 2016
Předmět:
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]
Engineering drawing
Computer science
Liveness
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
0102 computer and information sciences
02 engineering and technology
computer.software_genre
Interface homme-machine
01 natural sciences
[INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Unified Modeling Language
Architectures Matérielles
Component (UML)
Conformance relations
0202 electrical engineering
electronic engineering
information engineering
Génie logiciel
[INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC]
Reactive system
ComputingMilieux_MISCELLANEOUS
computer.programming_language
[INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
UML tool
Iterative and incremental development
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Finite-state machine
Programming language
Incremental development
020207 software engineering
Modélisation et simulation
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Systèmes embarqués
State machine refinement
010201 computation theory & mathematics
Hardware and Architecture
Cryptographie et sécurité
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Incremental build model
computer
Software
Information Systems
Zdroj: Journal of Systems and Software
Journal of Systems and Software, Elsevier, 2016, 113, pp.275-295. ⟨10.1016/j.jss.2015.11.020⟩
Journal of Systems and Software, Elsevier, 2016, vol. 113, pp. 275-295. ⟨10.1016/j.jss.2015.11.020⟩
Journal of Systems and Software, Elsevier, 2016, 113, pp.275-295
ISSN: 0164-1212
DOI: 10.1016/j.jss.2015.11.020
Popis: International audience; Modelling component behaviour is widely recognised as a complex task during the specification and design phases of reactive systems. Our proposal for treating this problem involves an incremental approach that allows UML state machines to be built using a composition of two types of development: model extension for adding services or behaviours, and refinement for adding details or eliminating non-determinism. At each step of the development process, the current model is verified for compliance with the model obtained during the previous step, in such a way that initial liveness properties are preserved. The novelty of this work lies in the possibility to combine and sequence both refinement and extension developments. This iterative process is usually not taken into account in conventional refinement relations. This set of development techniques and verification means are assembled into a framework called IDF (Incremental Development Framework), which is supported by a tool, under the acronym IDCM (Incremental Development of Compliant Models), developed herein in addition to the Topcased UML tool.
Databáze: OpenAIRE
Externí odkaz: