Logo des Repositoriums

Auflistung nach Autor:in "Hausmann, Jan Hendrik"

1 - 2 von 2
  • Konferenzbeitrag
    Identifying semantic dimensions of (UML) sequence diagrams
    (Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001, 2001) Hausmann, Jan Hendrik; Küster, Jochen Malte; Sauer, Stefan
    Although UML sequence diagrams are widely used in practical software development, there is still a great demand for improvements. Their use both within and outside the standard interpretation of the UML specification is not seldom confused bacause different interpretations for sequence diagrams exist without menas to distinguish between them. Furthermore, alternative sequence diagram notations with more syntactical features and different semantics still have a big influence and are readily used (explicitl as well as implicitly (alongside UML's sequence diagrams. Without necessary clarification, the meaning of sequence diagrams remains vague. Hence they are not suited for providing a common understanding of inter-object behaviour which is a prerequisite for their deployment within rigorous software development processes. Additionally, model quliaty assurance by consistency checking and validation is not well supported. In this paper, we survey, structure, and classify syntactic and semantic alternatives that appear in sequence diagrams in practice. We thereby identify scope of interpretation, level of abstraction, composition and refinement, ordering, time, and represented function as the essential semantic dimensions of sequence diagrams. The spanned semantic space is suited as a basis for discussing and proposing extensions of UML sequence diagrams to precisely determine the semantic interpretation of modeled sequence diagrams.
  • Konferenzbeitrag
    Towards a formal semantics of UML 2.0 activities
    (Software Engineering 2005, 2005) Störrle, Harald; Hausmann, Jan Hendrik
    The new version 2.0 of the Unified Modeling Language (UML) was targeted at improving expressiveness and semantic precision. These developments are particularly evident in activity diagrams which have not only acquired many new features, but a completely new metamodel and semantic foundation. The UML contains some hints that Petri-nets are the inspirational source for the new semantics. In this paper we will investigate how strong the alignment of UML's activity diagrams to Petri-nets really is. We start by providing a mapping of the basic elements of activity diagrams to Petrinets and discuss the problems arising when trying to extend this approach to some of the advanced features of activity diagrams, namely exceptions, traverse-to-completion, and streaming. This examination raises several syntactic and semantic questions concerning activities. We conclude that for basic activities, the analogy works pretty well, but for higher-level constructs, no such intuitive connection exists.