Visual Specification of Structural and Temporal Properties (bibtex)
by ,
Abstract:
The UML has become the de-facto standard in software engineering. Due to the visual nature and accessibility of its structural diagrams, it is widely accepted as the tool of choice for structural modeling. However, for specifying structural properties that go beyond cardinalities, the UML only provides a textual specification language, the OCL. For mixed structural and temporal properties, only proprietary combinations of OCL with temporal logic exist today. The intricate nature of both OCL and temporal logic already causes problems for many software engineers. When communicating with people without a computer science background, e.g. domain experts, employing OCL, any dialect of temporal logic, or a mix of both is usually impracticable. In this paper, we propose a visual language for specifying requirements including structural as well as temporal aspects. Based on an extension of Story Patterns, our approach will allow specifying scenarios that contain requirements concerning structural dynamics within Fujaba. In addition, we present a scheme for turning a specification into a powerful behavioral monitor, enabling us to verify dynamic structural properties of models at run-time or in a model checker.
Reference:
Visual Specification of Structural and Temporal Properties (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{GK2006b_ag,
AUTHOR = {Giese, Holger and Klein, Florian},
TITLE = {{Visual Specification of Structural and Temporal Properties}},
YEAR = {2006},
BOOKTITLE = {Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany},
VOLUME = {tr-ri-06-275},
PAGES = {23--30},
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-TSSD.pdf},
ABSTRACT = {The UML has become the de-facto standard in software engineering. Due to the visual nature and accessibility of its structural diagrams, it is widely accepted as the tool of choice for structural modeling. However, for specifying structural properties that go beyond cardinalities, the UML only provides a textual specification language, the OCL. For mixed structural and temporal properties, only proprietary combinations of OCL with temporal logic exist today. The intricate nature of both OCL and temporal logic already causes problems for many software engineers. When communicating with people without a computer science background, e.g. domain experts, employing OCL, any dialect of temporal logic, or a mix of both is usually impracticable. In this paper, we propose a visual language for specifying requirements including structural as well as temporal aspects. Based on an extension of Story Patterns, our approach will allow specifying scenarios that contain requirements concerning structural dynamics within Fujaba. In addition, we present a scheme for turning a specification into a powerful behavioral monitor, enabling us to verify dynamic structural properties of models at run-time or in a model checker.}
}
Powered by bibtexbrowser