The modeling language UML-RT, a dialect of the UML, supports the development of complex, hierarchical systems following a component-oriented approach. However, for a solid foundation of model analysis and model transformations a formal semantics definition of UML-RT is missing. Therefore, this paper presents a precise syntax and semantics definition of a sublanguage of UML-RT. This sublanguage puts an emphasis on the specification of complex, hierarchical state-based models. It considers atomic capsules - containing a statechart - and complex capsules that recursively consist of capsules communicating asynchronously with each other over connectors. Labeled transition systems are chosen as semantic domain, such that the UML-RT semantics can be defined in an SOS style a la Plotkin.
%0 Book
%1 beeck_06_formal
%A von der Beeck, Michael
%D 2006
%J Lecture Notes in Computer Science : Model Driven Engineering Languages and Systems
%K _hardcopy 2006 semantics statecharts umlrt
%P 768--782
%R 10.1007/11880240_53
%T A Formal Semantics of UML-RT
%U http://dx.doi.org/10.1007/11880240_53
%X The modeling language UML-RT, a dialect of the UML, supports the development of complex, hierarchical systems following a component-oriented approach. However, for a solid foundation of model analysis and model transformations a formal semantics definition of UML-RT is missing. Therefore, this paper presents a precise syntax and semantics definition of a sublanguage of UML-RT. This sublanguage puts an emphasis on the specification of complex, hierarchical state-based models. It considers atomic capsules - containing a statechart - and complex capsules that recursively consist of capsules communicating asynchronously with each other over connectors. Labeled transition systems are chosen as semantic domain, such that the UML-RT semantics can be defined in an SOS style a la Plotkin.
@book{beeck_06_formal,
abstract = {The modeling language UML-RT, a dialect of the UML, supports the development of complex, hierarchical systems following a component-oriented approach. However, for a solid foundation of model analysis and model transformations a formal semantics definition of UML-RT is missing. Therefore, this paper presents a precise syntax and semantics definition of a sublanguage of UML-RT. This sublanguage puts an emphasis on the specification of complex, hierarchical state-based models. It considers atomic capsules - containing a statechart - and complex capsules that recursively consist of capsules communicating asynchronously with each other over connectors. Labeled transition systems are chosen as semantic domain, such that the UML-RT semantics can be defined in an SOS style a la Plotkin.},
added-at = {2009-02-11T20:55:24.000+0100},
author = {von der Beeck, Michael},
biburl = {https://www.bibsonomy.org/bibtex/2840767ed9833b2cfcee27eadd8c59af6/leonardo},
citeulike-article-id = {971443},
doi = {10.1007/11880240_53},
interhash = {1fe179665e70f38be82b6892cc20e79a},
intrahash = {840767ed9833b2cfcee27eadd8c59af6},
journal = {Lecture Notes in Computer Science : Model Driven Engineering Languages and Systems},
keywords = {_hardcopy 2006 semantics statecharts umlrt},
pages = {768--782},
posted-at = {2006-12-11 21:36:23},
priority = {5},
timestamp = {2009-02-11T20:55:24.000+0100},
title = {A Formal Semantics of UML-RT},
url = {http://dx.doi.org/10.1007/11880240_53},
year = 2006
}