Beyond Story Patterns: Story Decision Diagrams (bibtex)
by ,
Abstract:
Story Patterns are integral to Fujaba�s approach to modeldriven development, providing the operational semantics the UML is missing. They can also be employed as a formal specification language. They have been used to specify transition systems and safety properties which are then formally verified. However, Story Patterns face some restrictions, notably with respect to negation. When used for a formal specification, they also lack features of logics such as quantification. In this paper, we propose Story Decision Diagrams (SDD), an extension of Story Patterns capable of expressing complex properties while retaining or surpassing the intuitiveness of the original visual notation. The proposed extensions include quantization, implication, alternatives, negation of complex properties, and a concept for modularity.
Reference:
Beyond Story Patterns: Story Decision Diagrams (Holger Giese, Florian Klein), In Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany (Holger Giese, Bernhard Westfechtel, eds.), University of Paderborn, volume tr-ri-06-275, 2006.
Bibtex Entry:
@InProceedings{GK2006a_ag,
AUTHOR = {Giese, Holger and Klein, Florian},
TITLE = {{Beyond Story Patterns: Story Decision Diagrams}},
YEAR = {2006},
BOOKTITLE = {Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany},
VOLUME = {tr-ri-06-275},
PAGES = {2--9},
EDITOR = {Giese, Holger and Westfechtel, Bernhard},
SERIES = {Technical Report},
PUBLISHER = {University of Paderborn},
URL = {http://www.upb.de/cs/ag-schaefer/Veroeffentlichungen/Quellen/Papers/2006/FDays2006-Giese-Klein-SDD.pdf},
ABSTRACT = {Story Patterns are integral to Fujaba\^{a}��s approach to modeldriven development, providing the operational semantics the UML is missing. They can also be employed as a formal specification language. They have been used to specify transition systems and safety properties which are then formally verified. However, Story Patterns face some restrictions, notably with respect to negation. When used for a formal specification, they also lack features of logics such as quantification. In this paper, we propose Story Decision Diagrams (SDD), an extension of Story Patterns capable of expressing complex properties while retaining or surpassing the intuitiveness of the original visual notation. The proposed extensions include quantization, implication, alternatives, negation of complex properties, and a concept for modularity.}
}
Powered by bibtexbrowser