Benutzer: Gast  Login
Titel:

Operational Semantics of UML 2.0 Interactions

Dokumenttyp:
Technical Report
Autor(en):
María Victoria Cengarle; Alexander Knapp
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