UML Protocols State Machines Incremental Construction: a conformance-based Refinament Approach.
Résumé
This article introduces formal relations between UML Protocol States MAchines in order to support their incremental construction. This is based on the use of conformance relations. Protoccal State Machines (ProSMs) introduced in UML2.0 are means to model external behaviors of objects and/or components in a service oriented way. these machines are specializations of generic UML State Machines without actions nor activities. In previous works, we adapted Labeled Transition System conformance relations to UML usual State Machines. Going furthrt, ProSMs allow us to be more formal thanks invariants, pre and post-conditions. Hence, we define a conformance relation as a specialization of the informal notion of Protocol Conformance of UML2.0 and we illustrate it on an example.
Domaines
Langage de programmation [cs.PL]
Loading...