Skip to main content
SpringerLink
Log in

Dynamic Meta Modeling with time: Specifying the semantics of multimedia sequence diagrams

  • Special section on graph transformations and visual modeling techniques
  • Published:
Software & Systems Modeling Aims and scope Submit manuscript

Abstract

The Unified Modeling Langugage (UML) offers different diagram types to model the behavior of software systems. In some domains like embedded real-time systems or multimedia systems, it is necessary to include specifications of time in behavioral models since the correctness of these applications depends on the fulfillment of temporal requirements in addition to functional requirements. UML thus already incorporates language features to model time and temporal constraints. Such model elements must have an equivalent in the semantic domain.

We have proposed Dynamic Meta Modeling (DMM), an approach based on graph transformation, as a means for specifying operational semantics of dynamic UML diagrams. In this article, we extend this approach to also account for time by extending the semantic domain to timed graph transformation. This enables us to define the operational semantics of UML diagrams with time specifications. As an example, we provide semantics for special sequence diagrams from the domain of multimedia application modeling.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. David A, Möller MO, Yi W (2002) Formal verification of UML statecharts with real-time extensions. In: Proc. 5th International Conference on Fundamental Approaches to Software Engineering (FASE 2002), Lecture Notes in Computer Science, vol 2306. http://www.springer.de/comp/lncs. Springer, pp 218–232

  2. Engels G, Hausmann JH, Heckel R, Sauer S (2000) Dynamic Meta Modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. In: Evans A, Kent S, Selic B (eds) Proc. UML 2000, York, UK, Lecture Notes in Computer Science, vol 1939. http://www.springer.de/comp/lncs. Springer-Verlag, pp 323–337

  3. Ehrig H, Pfender M, Schneider HJ (1973) Graph grammars: An algebraic approach. In: 14th Annual IEEE Symposium on Switching and Automata Theory. IEEE, pp 167–180

  4. Engels G, Sauer S (2002) Object-oriented modeling of multimedia applications. In: Chang SK (ed) Handbook of Software Engineering and Knowledge Engineering, vol 2. World Scientific, Singapore, pp 21–52

  5. Firley T, Huhn M, Diethers K, Gehrke T, Goltz U (1999) Timed sequence diagrams and tool-based analysis – A case study. In: France R, Rumpe B (eds) Proc. UML ’99, Lecture Notes in Computer Science, vol 1723. Springer-Verlag, pp 645–660

  6. Gyapay S, Heckel R, Varro D (2002) Graph transformation with time: Causality and logical clocks. In: Corradini A, Ehrig H, Kreowski H-J, Rozenberg G (eds) Proc. 1st International Conference on Graph Transformation (ICGT 02), Barcelona, Spain, Lecture Notes in Computer Science, vol 2505. Springer-Verlag, pp 120–134

  7. Gyapay S, Heckel R, Varro D (2003) Graph transformation with time In: Fundamenta Informaticae 58(1):1–22

  8. Ghezzi C, Mandrioli D, Morasca, Pezzè, S (1991) A unified high-level Petri net formalism for time-critical systems. IEEE Transactions on Software Engineering 17(2):160–172

    Article  Google Scholar 

  9. Hausmann JH, Heckel R, Sauer S (2001) Towards dynamic meta modeling of UML extensions: An extensible semantics for UML sequence diagrams. In: Proc. IEEE Symposia on Human-Centric Computing Languages and Environments (HCC’01), pp 80–87

  10. Hausmann JH, Heckel R, Sauer S (2002) Dynamic Meta Modeling with time: Specifying the semantics of multimedia sequence diagrams. In: Bottoni P, Minas M (eds) Proc. International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2002), Barcelona, Spain, Electronic Notes in Theoretical Computer Science 72(3). http://www.elsevier.nl/locate/entcs. Elsevier Science

  11. Heckel R, Wagner A (1995) Ensuring consistency of conditional graph grammars – A constructive approach. In: Proc. of SEGRAGRA’95 “Graph Rewriting and Computation”, Electronic Notes in Theoretical Computer Science, vol 2. http://www.elsevier.nl/locate/entcs. Elsevier Science

  12. Kreowski H-J (1977) Manipulation von Graphmanipulationen. PhD thesis, Technical University of Berlin, Department of Computer Science

  13. Küster JM, Stroop J (2001) Consistent design of embedded real-time systems with UML-RT. In: Proc. IEEE Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), pp 31–40

  14. Li X, Lilius J (1999) Timing analysis of UML sequence diagrams. In: France R, Rumpe B (eds) Proc. UML ’99, Lecture Notes in Computer Science 1723. Springer, pp 661–674

  15. Guldstrand Larsen K, Pettersson P, Yi W (1997) UPPAAL in a nutshell. International Journal on Software Tools for Technology Transfer 1(1–2):134–152

  16. Mühlhäuser M, Gecsei J (1996) Services, frameworks, paradigms for distributed multimedia applications. IEEE Multimedia 3(3):48–61

    Article  Google Scholar 

  17. Object Management Group (2002) UML Profile for Schedulability, Performance, and Time, OMG adopted specification

  18. Object Management Group (2003) OMG Unified Modeling Language Specification, version 1.5

  19. Petriu DC, Shen H (2002) Applying the UML performance profile: Graph grammar-based derivation of LQN models from UML specifications. In: Computer Performance Evaluation, Modelling Techniques and Tools (Proceedings of TOOLS 2002), Lecture Notes in Computer Science, vol 2324. Springer-Verlag, pp 159–177

  20. Sauer S, Engels G (2001) UML-based behavior specification of interactive multimedia applications. In: Proc. IEEE Symposia on Human-Centric Computing Languages and Environments (HCC’01), pp 248–255

  21. Schürr A, Winter AJ, Zündorf A (1997) PROGRES: Language and environment. In: Ehrig H, Engels G, Kreowski H-J, Rozenberg G (eds) Handbook on Graph Grammars and Computing by Graph Transformation: Applications, Languages, and Tools. World Scientific, Singapore, pp 487–550

  22. Taentzer G (1999) AGG: A tool environment for algebraic graph transformation. In: Proc. International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), pp 481–488

Download references

Author information

Authors and Affiliations

  1. Institute for Computer Science, University of Paderborn, 33095, Paderborn, Germany

    Jan Hendrik Hausmann, Reiko Heckel & Stefan Sauer

Authors
  1. Jan Hendrik Hausmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Reiko Heckel
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Stefan Sauer
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jan Hendrik Hausmann.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hausmann, J., Heckel, R. & Sauer, S. Dynamic Meta Modeling with time: Specifying the semantics of multimedia sequence diagrams. Softw Syst Model 3, 181–193 (2004). https://doi.org/10.1007/s10270-003-0045-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10270-003-0045-7

Keywords

Search

Navigation