Searching for "A Formal Semantics of UML-RT." – sorted by Relevance.
-
A.: A Semantics for UML-RT Active Classes via Mapping into Circus
- -PE, Brazil {rtr,acas,acm}@(email omitted); Abstract. The lack of a formal semantics for UML-RT makes it inadequate
- Cited by 5 (1 self) – Add To MetaCart
-
A CSP View on UML-RT structure diagrams
- architectures, and additionally a formal semantics for UML-RT structure diagrams in the setting of distributed
- Cited by 11 (0 self) – Add To MetaCart
-
Transformation laws for UML-RT
- and distributed domains. In previous work [6] we defined a formal semantics for UML-RT, and illustrated how model
- Cited by 1 (0 self) – Add To MetaCart

