Implementation of extension and reduction relations for incremental development of behavioural modelsReport as inadecuate




Implementation of extension and reduction relations for incremental development of behavioural models - Download this document for free, or read online. Document in PDF available to download.

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

Abstract : 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.

Keywords : Extension reduction conformance incremental construction state machines UML





Author: Hong-Viet Luong - Thomas Lambolais - Anne-Lise Courbis -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents