---
_id: '7382'
abstract:
- lang: eng
text: 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.
author:
- first_name: Jan
full_name: Hendrik Hausmann, Jan
last_name: Hendrik Hausmann
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: 'Hendrik Hausmann J, Heckel R, Sauer S. Dynamic Meta Modeling with Time: Specifying
the Semantics of Multimedia Sequence Diagrams. *Software and Systems Modeling*.
2004;3(3):181-193.'
apa: 'Hendrik Hausmann, J., Heckel, R., & Sauer, S. (2004). Dynamic Meta Modeling
with Time: Specifying the Semantics of Multimedia Sequence Diagrams. *Software
and Systems Modeling*, *3*(3), 181–193.'
bibtex: '@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} }'
chicago: 'Hendrik Hausmann, Jan, Reiko Heckel, and Stefan Sauer. “Dynamic Meta Modeling
with Time: Specifying the Semantics of Multimedia Sequence Diagrams.” *Software
and Systems Modeling* 3, no. 3 (2004): 181–93.'
ieee: 'J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Dynamic Meta Modeling with
Time: Specifying the Semantics of Multimedia Sequence Diagrams,” *Software and
Systems Modeling*, vol. 3, no. 3, pp. 181–193, 2004.'
mla: 'Hendrik Hausmann, Jan, et al. “Dynamic Meta Modeling with Time: Specifying
the Semantics of Multimedia Sequence Diagrams.” *Software and Systems Modeling*,
vol. 3, no. 3, 2004, pp. 181–93.'
short: J. Hendrik Hausmann, R. Heckel, S. Sauer, Software and Systems Modeling 3
(2004) 181–193.
date_created: 2019-01-31T15:33:39Z
date_updated: 2019-01-31T15:34:46Z
department:
- _id: '66'
intvolume: ' 3'
issue: '3'
language:
- iso: eng
page: 181-193
publication: Software and Systems Modeling
status: public
title: 'Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence
Diagrams'
type: journal_article
user_id: '52534'
volume: 3
year: '2004'
...