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

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.