Reference:
, "Beyond Story Patterns: Story Decision Diagrams", in Holger Giese, Bernhard Westfechtel, Eds., Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, vol. tr-ri-06-275 of Technical Report, pp. 2–9, University of Paderborn, 2006.
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.
Links:
Copyright notice: This material is presented to ensure timely dissemination of
scholarly and technical work. Copyright and all rights therein are retained by
authors or by other copyright holders. All persons copying this information are
expected to adhere to the terms and constraints invoked by each author's copyright.
In most cases, these works may not be reposted without the explicit permission of
the copyright holder.
Powered by
bibtexbrowser