Implementation of extension and reduction relations for incremental development of behavioural models

Hong-Viet Luong (1) , Thomas Lambolais (1) , Anne-Lise Courbis (1)

1 LGI2P - Laboratoire de Génie Informatique et Ingénierie de Production

We present a way to implement refinement relations over transition systems, useful for incremental model development. The extension relation, which preserves already modelled functionalities, is suited for refinements. The calculability of this relation relies on the generalization of a bisimulation relation applied on acceptance graphs. It is formally demonstrated and illustrated through an example whose analysis is performed by a Java prototype we have developed. This method can be adapted to UML state machines, which lack evaluation means.

Mots clés: Extension; reduction; conformance; incremental construction; state machines; UML

Domaines: Génie logiciel [cs.SE]

Hong-Viet Luong, Thomas Lambolais, Anne-Lise Courbis. Implementation of extension and reduction relations for incremental development of behavioural models. 2008. ⟨hal-00497144⟩