Tanken på att syntetisera statskort ur en samling scenarier har fått mycket uppmärksamhet under de senaste åren. Men på grund av den dåliga expressive p skuldr av rst generation scenario språk, inklusive UML1.x sekvens diagram, föreslår d lösningar ofta ad hoc tricks och su er från många brister. Den senaste antagandet i UML2.0 av ett rikare scenario språk, inklusive intressanta sammansättning operatörer, gör det nu möjligt att se över problemet med statechart syntes med en radic allynew appro a c h.Inspired by the way UML2.0 sekvens diagr ams kan algebraiskt komponeras, vi rst de ne en algebraic ram för att komponera stat diagram. Sedan visar vi hur man kan utnyttja den algebraiska strukturen av UML2.0 sekvensdiagram för att få en direkt algoritm för att syntetisera en sammansättning av stat diagram ur dem. De syntetiserade statskorten uppvisar interesting properties som gör dem särskilt användbara som en grund för detalj d designprocessen. Utöver ett systematiskt och semantiskt välgrundat m e t h o d ligger ett annat intresse för vår appr oach i dess exibilitet: modikation eller relacment av ett givet scenario har en begränsad inverkan på syntesprocss, vilket främjar en bättre spårbarhet mellan kraven och den detaljerade utformningen.
Referens REF definierar en algebraisk ram för att komponera statsdiagram och visar hur man kan utnyttja den algebraiska strukturen av UML sekvensdiagram för att få en direkt algoritm för att syntetisera en sammansättning av statsdiagram ur dem.
Revisiting statechart synthesis with an algebraic approach
{'venue': 'Proceedings. 26th International Conference on Software Engineering', 'journal': 'Proceedings. 26th International Conference on Software Engineering', 'mag_field_of_study': ['Computer Science']}