Login
- Dokumenttyp:
- Technical Report
- Autor(en):
- María Victoria Cengarle; Alexander Knapp
- Titel:
- Operational Semantics of UML 2.0 Interactions
- Abstract:
- An operational semantics for UML 2.0 Interactions is defined that for finite traces is compliant with the trace-based denotational semantics of a previous work. To this end, the notion of interactions in the classical sense is used. That is, the operational semantics of UML 2.0 Interactions is given by composing their translation into interactions in the classical sense and the reduction relations below.
- Stichworte:
- UML; interaction; sequence diagram; MSC; operational semantics
- Jahr:
- 2005
- Jahr / Monat:
- 2005-05-01 00:00:00
- Seiten/Umfang:
- 09
BibTeX