article
Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams
Jan
Hendrik Hausmann
author
Reiko
Heckel
author
Stefan
Sauer
author 447
66
department
UML offers different diagram types to model behavior and dynamics of software systems. In some domains like embedded real-time systems or multimedia systems, it is necessary to include specifications of time 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) as a means for the specification of the formal operational semantics of UML models by applying graph transformation to the meta modeling of dynamic behavior. Within this paper, we extend this approach to also account for time by building on timed graph transformations. We apply these concepts to the domain of multimedia application modeling in which we adopt UML sequence diagrams. The DMM rules with time then specify an interpreter that can be used to analyze or test a model of multimedia sequence diagrams.
2004
eng
Software and Systems Modeling
33181-193
Hendrik Hausmann, J., Heckel, R., & Sauer, S. (2004). Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams. <i>Software and Systems Modeling</i>, <i>3</i>(3), 181–193.
Hendrik Hausmann, Jan, et al. “Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams.” <i>Software and Systems Modeling</i>, vol. 3, no. 3, 2004, pp. 181–93.
J. Hendrik Hausmann, R. Heckel, S. Sauer, Software and Systems Modeling 3 (2004) 181–193.
J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams,” <i>Software and Systems Modeling</i>, vol. 3, no. 3, pp. 181–193, 2004.
Hendrik Hausmann, Jan, Reiko Heckel, and Stefan Sauer. “Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams.” <i>Software and Systems Modeling</i> 3, no. 3 (2004): 181–93.
Hendrik Hausmann J, Heckel R, Sauer S. Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams. <i>Software and Systems Modeling</i>. 2004;3(3):181-193.
@article{Hendrik Hausmann_Heckel_Sauer_2004, title={Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams}, volume={3}, number={3}, journal={Software and Systems Modeling}, author={Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}, year={2004}, pages={181–193} }
73822019-01-31T15:33:39Z2019-01-31T15:34:46Z