ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 26/7 - 2007  - pp.797-817  - doi:10.3166/tsi.26.797-817
TITRE
Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence

RÉSUMÉ
Afin de modéliser le comportement d'un système distribué, les analystes utilisent deux types de langages : les diagrammes de séquence et les diagrammes d'états. Les premiers fournissent une vue de haut niveau des interactions entre les objets, alors que les seconds se concentrent sur le comportement local de chaque objet. Des algorithmes existent pour synthétiser des machines à états à partir des diagrammes de séquence, mais se limitent à des objets particuliers, en nombre fixe. De nombreux systèmes nécessitent en revanche un nombre d'objets arbitraire. Nous proposons d'adapter les diagrammes et l'algorithme pour traiter ces systèmes, en ajoutant simplement des quantificateurs. Nous donnons la syntaxe et la sémantique des deux langages étendus, puis nous prouvons la correction (faible) de notre algorithme. Comme pour les algorithmes existants qu'il étend, cette correction est faible car de nouveaux comportements peuvent être introduits.


ABSTRACT
To model the behavior of a distributed system, analysts often use two types of languages: Sequence Diagrams and State Diagrams. The former presents a bird's eye view on objects interactions, whereas the latter describes the complete local behavior of every object. Many algorithms translating scenarios to state machines have been devised. All these algorithms work at instance-level, i.e. for a fixed finite number of objects. Real-world objectoriented systems often contain arbitrarily many objects. Modeling languages and synthesis algorithms need to be adapted to this situation. We propose to add universal and existential quantifiers. After defining the syntax and semantics of the two extended languages, we extend also a state of the art algorithm by a novel instantiation step to cope with quantifiers. As the base algorithm, our correction is weak since it allows implied behaviors.


AUTEUR(S)
Yves BONTEMPS, Germain SAVAL, Pierre-Yves SCHOBBENS, Patrick HEYMANS

Reçu le 20 juin 2006.    Accepté le 8 janvier 2007.

MOTS-CLÉS
diagramme de séquence, MSC, diagramme d'état, synthèse de classe.

KEYWORDS
sequence diagram, MSC, state diagram, class-level synthesis.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (868 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier