Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams
J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2002, Satellite Event of the International Conference on Graph Transformation (ICGT 2002)), Barcelona (Spain), Elsevier, 2003, pp. 133–144.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Hendrik Hausmann, Jan;
Heckel, Reiko;
Sauer, StefanLibreCat
Department
Abstract
The Unified Modeling Langugage (UML) offers different diagram types to model the behavior of software systems. In some domains like embedded realtime 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 speci- fications. As an example, we provide semantics for special sequence diagrams from the domain of multimedia application modeling.
Publishing Year
Proceedings Title
Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2002, satellite event of the International Conference on Graph Transformation (ICGT 2002)), Barcelona (Spain)
forms.conference.field.series_title_volume.label
Electronic Notes in Theoretical Computer Science
Volume
72
Issue
3
Page
133-144
LibreCat-ID
Cite this
Hendrik Hausmann J, Heckel R, Sauer S. Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams. In: Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2002, Satellite Event of the International Conference on Graph Transformation (ICGT 2002)), Barcelona (Spain). Vol 72. Electronic Notes in Theoretical Computer Science. Elsevier; 2003:133-144. doi:http://dx.doi.org/10.1016/S1571-0661(04)80617-0
Hendrik Hausmann, J., Heckel, R., & Sauer, S. (2003). Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams. In Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2002, satellite event of the International Conference on Graph Transformation (ICGT 2002)), Barcelona (Spain) (Vol. 72, pp. 133–144). Elsevier. http://dx.doi.org/10.1016/S1571-0661(04)80617-0
@inproceedings{Hendrik Hausmann_Heckel_Sauer_2003, series={Electronic Notes in Theoretical Computer Science}, title={Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams}, volume={72}, DOI={http://dx.doi.org/10.1016/S1571-0661(04)80617-0}, number={3}, booktitle={Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2002, satellite event of the International Conference on Graph Transformation (ICGT 2002)), Barcelona (Spain)}, publisher={Elsevier}, author={Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}, year={2003}, pages={133–144}, collection={Electronic Notes in Theoretical Computer Science} }
Hendrik Hausmann, Jan, Reiko Heckel, and Stefan Sauer. “Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams.” In Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2002, Satellite Event of the International Conference on Graph Transformation (ICGT 2002)), Barcelona (Spain), 72:133–44. Electronic Notes in Theoretical Computer Science. Elsevier, 2003. http://dx.doi.org/10.1016/S1571-0661(04)80617-0.
J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams,” in Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2002, satellite event of the International Conference on Graph Transformation (ICGT 2002)), Barcelona (Spain), 2003, vol. 72, no. 3, pp. 133–144.
Hendrik Hausmann, Jan, et al. “Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams.” Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2002, Satellite Event of the International Conference on Graph Transformation (ICGT 2002)), Barcelona (Spain), vol. 72, no. 3, Elsevier, 2003, pp. 133–44, doi:http://dx.doi.org/10.1016/S1571-0661(04)80617-0.
Google Scholar