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.
- [PDF]
- http://www.upb.de/cs/ag-schaefer/Veroeffentlichungen/Quellen/Papers/2006/FDays2006-Giese-Klein-TSSD.pdf
BibTeX file
title = { Visual Specification of Structural and Temporal Properties },
year = { 2006 },
volume = { tr-ri-06-275 },
pages = { 23--30 },
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. },
month = { 0 },
editor = { Holger Giese and Bernhard Westfechtel },
publisher = { University of Paderborn },
series = { Technical Report },
booktitle = { Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany }
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.
last change: Fri, 09 May 2008 16:00:01 +0200