Revisiting statechart synthesis with an algebraic approach

Tewfic Ziadi 1 Loïc Hélouët 1 Jean-Marc Jézéquel 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : The idea of synthesizing statecharts out of a collece tion of scenarios has received a lot of attention in ree cent years However due to the poor expr essive opwer of rst generation scenario languages including UML x sequence diagrams the propose d solutions often use ad hoc tricks and suer from many shortcomings The reecent adoption in UMLL of a richer scenario language including interesting composition operators now makes it possible to revisit the problem of statechart syntheesis with a radic ally new approach Inspir ed by the way UMLL sequence diagr ams can be algebraically come posed we rst de ne an algebraic framework for come posing state charts Then we show how to leverage the algebraic structure of UMLL sequence diagrams to get a direct algorithm for synthesizing a composition of state charts out of them.
Type de document :
Communication dans un congrès
26th International Conference on Software Engineering (ICSE 04), May 2004, Edinburgh, United Kingdom. 2004
Liste complète des métadonnées

https://hal.inria.fr/hal-00795027
Contributeur : Jean-Marc Jézéquel <>
Soumis le : mercredi 27 février 2013 - 09:47:50
Dernière modification le : mercredi 16 mai 2018 - 11:23:06

Identifiants

  • HAL Id : hal-00795027, version 1

Citation

Tewfic Ziadi, Loïc Hélouët, Jean-Marc Jézéquel. Revisiting statechart synthesis with an algebraic approach. 26th International Conference on Software Engineering (ICSE 04), May 2004, Edinburgh, United Kingdom. 2004. 〈hal-00795027〉

Partager

Métriques

Consultations de la notice

337