UML Protocols State Machines Incremental Construction: a conformance-based Refinament Approach. - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2005

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.

Mots clés

Fichier principal
Vignette du fichier
Gout_Lambolais_sefm05.pdf (110.77 Ko) Télécharger le fichier
Loading...

Dates et versions

hal-00010020 , version 1 (07-10-2005)

Identifiants

  • HAL Id : hal-00010020 , version 1

Citer

Olivier Gout, Thomas Lambolais. UML Protocols State Machines Incremental Construction: a conformance-based Refinament Approach.. 2005. ⟨hal-00010020⟩
64 Consultations
116 Téléchargements

Partager

Gmail Facebook X LinkedIn More