会议专题

Ezecutable Requirements Specification: Formal Semantics of Live Activity Diagrams

Errors, inconsistences, incompletenesses and ambiguities in the requirements specification are major reasons for the failure of IT projects. Since the new major version 2 of the UML, the suitability of activity diagrams for modeling requirements has increased significantly. UML 2 activity diagrams are based upon a completely reengineered metamodel including many new features and an improved semantic precision. We provide a formal syntax and operational semantics for activity diagrams to allow for fully executable models. Inspired by the scenario-based language of Live Sequence Charts, some extensions for activity diagrams are proposed including a distinction between possible and mandatory behavior. The proposed semantics paves the way for formal reasoning and tool development that allows for early prototyping and validation by simulation.

Christoph Knieke Michaela Huhn Malte Lochau

TU Braunschweig Institute for Programming and Reactive Systems Post box 3329, 38023 Braunschweig, Germany

国际会议

第二届IFIP/IEEE软件工程理论基础国际研讨会(TASE 2008)(Second IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering)

南京

英文

109-112

2008-06-17(万方平台首次上网日期,不代表论文的发表时间)