Implementation of extension and reduction relations for incremental development of behavioural modelsReportar como inadecuado




Implementation of extension and reduction relations for incremental development of behavioural models - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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





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

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



DESCARGAR PDF




Documentos relacionados