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
国际会议
南京
英文
109-112
2008-06-17（万方平台首次上网日期，不代表论文的发表时间）