Implementation of the Conformance Relation for Incremental Development of Behavioural Models

Luong, Hong-Viet; Lambolais, Thomas; Courbis, Anne-Lise

doi:10.1007/978-3-540-87875-9_26

Cited by 7 publications

(9 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The algorithm we have developed to check conformance is based on the notion of process merging. The theorem on which it is based can be found in Luong et al (2008). It has been implemented in a Java tool, called IDCM (Incremental Development of Conformant Models) which provides, as we will see in the following, other comparison relations.…”

Section: The Conformance Relationmentioning

confidence: 99%

Interoperability Analysis of Systems

Lambolais¹,

Courbis²,

Luong³

et al. 2011

IFAC Proceedings Volumes

Self Cite

View full text Add to dashboard Cite

This work deals with the analysis of the behavioural interoperability of systems in a designing context. Systems to be analysed are modelled as UML architectures in terms of assembly of components, the behaviour of which are defined by State Machines. Two interoperability levels are identified: the absence of deadlock, and the preservation of the required services and usage protocols. The analysis starts in automatically transforming the behaviour of an architecture into a Labelled Transition System. A deadlock search can be then performed through model checking tools. Relations enabling components to be substituted without analysing again the whole system are identified, which leads to define a notion of component compatibility. This analysis technique checks if the interoperability of the new system is altered or preserved. Three cases are underlined: (i) the new system exhibits deadlocks: it is not interoperable any more, (ii) it is deadlock free, (iii) it is deadlock free and moreover conforms to the previous one. Results are illustrated through a case study.

show abstract

Section: The Conformance Relationmentioning

confidence: 99%

Interoperability Analysis of Systems

Lambolais¹,

Courbis²,

Luong³

et al. 2011

IFAC Proceedings Volumes

Self Cite

View full text Add to dashboard Cite

show abstract

“…To the best of our knowledge, no work has yet to formalise and implement the incremental development and verification of behavioural UML models. In previous works (Luong et al, 2008), we have shown how to implement a conformance relation between two UML state machines. Then, we have studied and implemented specific relations based on conformance and suitable for incremental development (Luong, 2010;Courbis et al, 2012).…”

Section: Introductionmentioning

confidence: 99%

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

Lambolais¹,

Courbis²,

Luong³

et al. 2016

Journal of Systems and Software

Self Cite

View full text Add to dashboard Cite

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.

show abstract

“…Even though the conformance relation has been defined by [17], we are still not aware of any published method to compute it. We have thus proposed an implantation of this relation and pointed out how extension and refinement relations can be defined from the conformance relation [18,19]. In the same way, we have implemented the procedure allowing to check if a component can substitute another one, whatever its environment may be [24].…”

Section: Liveness Analysismentioning

confidence: 99%

Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction

Lambolais

Courbis

Luong³

et al. 2015

Complex Systems Design &Amp; Management

Self Cite

View full text Add to dashboard Cite

Abstract. Model Driven Architecture (MDA) is recognised as a strong way to develop high-quality systems, and specifically reactive systems. Within MDA, models are in the center of a stepwise development based on extensions, refinements and transformation. Systems Engineering addresses the problem of complex system development in a holistic way, however, there is a lack of tools to verify models from a behavioural point of view at the earlier stage of the development, taking into account that the specifications are evolving during the system development. We propose IDF, a framework for Incremental Development of Compliant Models, which is constituted with a set of relations based on the verification of liveness properties. It is computed on abstract models automatically set up from behavioural specifications of the system or its component. These relations detect non-conformance of models during their evolution (extension or refinement) such as the non-interoperability of sub-components belonging to an architecture.

show abstract

Implementation of the Conformance Relation for Incremental Development of Behavioural Models

Cited by 7 publications

References 4 publications

Interoperability Analysis of Systems

Interoperability Analysis of Systems

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

Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction

Contact Info

Product

Resources

About