An executable semantics for UML 2 activity diagrams

Knieke, Christoph; Goltz, Ursula

doi:10.1145/1943397.1943400

Cited by 8 publications

(9 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Stating a concise and comprehensible formalism, activity diagrams combine advantages of an interaction and a control oriented view as confirmed in the comparison of the LAD model of a power window [4] with a scenario-based model [5]. As a future work, we aim at introducing a formal verification based approach allowing for the detection of violating behavior within an LAD model.…”

Section: Resultsmentioning

confidence: 99%

“…Our extensions for executability are motivated by an automotive power window case study [4]. The power window system takes control of the four passenger windows of a car.…”

Section: Preliminariesmentioning

confidence: 99%

“…1) by the ability to specify mandatory and not only provisional behavior by adding "liveness", i.e. things that must occur, to the individual parts of the charts [4]. When called, the finger protection function in the sample activity (Fig.…”

Section: Preliminariesmentioning

confidence: 99%

See 2 more Smart Citations

Executable Requirements Specification: Formal Semantics of Live Activity Diagrams

Knieke

Huhn

Lochau

2008

2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering

Self Cite

View full text Add to dashboard Cite

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.

show abstract

Section: Resultsmentioning

confidence: 99%

“…Our extensions for executability are motivated by an automotive power window case study [4]. The power window system takes control of the four passenger windows of a car.…”

Section: Preliminariesmentioning

confidence: 99%

See 1 more Smart Citation

Executable Requirements Specification: Formal Semantics of Live Activity Diagrams

Knieke

Huhn

Lochau

2008

2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering

Self Cite

View full text Add to dashboard Cite

show abstract

“…Although these approaches are similar to our token and step concepts, nondeterministic pattern matching, failure as a branching condition, as well as variable binding are not considered directly in the case of activity diagrams (as Petri-nets are also missing analogous concepts). Moreover, the formalisms of [9,13] do not involve GraTra concepts (even if an encoding into GraTra would be possible). An analysis of activity diagrams based on GraTra has been proposed in [12] involving an object flow concept and a rule-based semantics.…”

Section: Related Workmentioning

confidence: 99%

Towards a Step Semantics for Story-Driven Modelling

Kulcsár

Anjorin

2016

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

Graph Transformation (GraTra) provides a formal, declarative means of specifying model transformation. In practice, GraTra rule applications are often programmed via an additional language with which the order of rule applications can be suitably controlled.Story-Driven Modelling (SDM) is a dialect of programmed GraTra, originally developed as part of the Fujaba CASE tool suite. Using an intuitive, UML-inspired visual syntax, SDM provides usual imperative control flow constructs such as sequences, conditionals and loops that are fairly simple, but whose interaction with individual GraTra rules is nonetheless non-trivial. In this paper, we present the first results of our ongoing work towards providing a formal step semantics for SDM, which focuses on the execution of an SDM specification.

show abstract

“…Executable UML [8] aims at defining behavioral specification precise enough to be executed via the fUML execution engine [3]. It is based on a limited subset of UML comprising class diagrams, state charts, and activity diagrams (ADs).…”

Section: Introductionmentioning

confidence: 99%

Time semantics of executable activity diagrams for relativized conformance testing

Iqbal

Truşcan

Vain

2020

Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedi

View full text Add to dashboard Cite

The executable subset of UML provides the ability to execute and simulate design models prior to implementation. In this paper, we introduce time semantics and relativized time input/output conformance rtioco relation for executable UML activity diagrams. The aforementioned features are essential and viable to perform online conformance testing. We present a tool support by extending the fUML execution engine, and demonstrate the approach on an example. CCS Concepts: • Software and its engineering → Software verification and validation.

show abstract

An executable semantics for UML 2 activity diagrams

Cited by 8 publications

References 3 publications

Executable Requirements Specification: Formal Semantics of Live Activity Diagrams

Executable Requirements Specification: Formal Semantics of Live Activity Diagrams

Towards a Step Semantics for Story-Driven Modelling

Time semantics of executable activity diagrams for relativized conformance testing

Contact Info

Product

Resources

About