Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence

Yves Bontemps, Germain Saval, Pierre-Yves Schobbens, Patrick Heymans

Research output: Contribution to journalArticle

272 Downloads (Pure)


To model the behavior of a distributed system, analysts often use two types of lan- guages: 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 object-oriented 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.
Original languageFrench
JournalTechnique et Science Informatiques
Publication statusPublished - 2007

Cite this