International audienceModelling 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....
One approach to support the creation of executable UML models is to utilize an existing DEVS simulat...
This paper presents a synthesis of a collective work at |RISA with many contributors. This group is ...
The Unified Modeling Language (UML) is gaining wide popularity for the design of object-oriented sys...
Modelling component behaviour is widely recognised as a complex task during the specification and de...
International audienceModel Driven Architecture (MDA) is recognised as a strong way to develop high-...
International audienceWe have developed an incremental development framework which supports progress...
Designing a correct model for distributed and reactive systems is the first goal of using Rebeca mod...
Le langage UML est devenu un standard de fait, y compris pour le développement de systèmes critiques...
This thesis focuses on supporting construction of UML state machines of reactive systems. It aims at...
International audienceIn an incremental specification development process, operations are used to mo...
We propose an approach to the incremental development of protocol state machines using operators whi...
International audienceSoftware developers spend most of their time modifying and maintaining existin...
Current techniques for the verification of software as e.g. model checking are limited when it comes...
Unified Modeling Language (UML) is a de-facto standard modeling language with an extensive syntax an...
The “Unified Modeling Language ” (UML [1]) is generally accepted as the de facto standard notation f...
One approach to support the creation of executable UML models is to utilize an existing DEVS simulat...
This paper presents a synthesis of a collective work at |RISA with many contributors. This group is ...
The Unified Modeling Language (UML) is gaining wide popularity for the design of object-oriented sys...
Modelling component behaviour is widely recognised as a complex task during the specification and de...
International audienceModel Driven Architecture (MDA) is recognised as a strong way to develop high-...
International audienceWe have developed an incremental development framework which supports progress...
Designing a correct model for distributed and reactive systems is the first goal of using Rebeca mod...
Le langage UML est devenu un standard de fait, y compris pour le développement de systèmes critiques...
This thesis focuses on supporting construction of UML state machines of reactive systems. It aims at...
International audienceIn an incremental specification development process, operations are used to mo...
We propose an approach to the incremental development of protocol state machines using operators whi...
International audienceSoftware developers spend most of their time modifying and maintaining existin...
Current techniques for the verification of software as e.g. model checking are limited when it comes...
Unified Modeling Language (UML) is a de-facto standard modeling language with an extensive syntax an...
The “Unified Modeling Language ” (UML [1]) is generally accepted as the de facto standard notation f...
One approach to support the creation of executable UML models is to utilize an existing DEVS simulat...
This paper presents a synthesis of a collective work at |RISA with many contributors. This group is ...
The Unified Modeling Language (UML) is gaining wide popularity for the design of object-oriented sys...