%0 Conference Paper %1 bezerra_07_semantics %A Bezerra, Juliana %A Hirata, Celso M. %D 2007 %J Rapid System Prototyping, 2007. RSP 2007. 18th IEEE/IFIP International Workshop on %K 2007 semantics \_hardcopy \_pdf umlrt %P 75--82 %R http://dx.doi.org/10.1109/RSP.2007.9 %T A Semantics for UML-RT using pi-calculus %U http://dx.doi.org/10.1109/RSP.2007.9 %X UML-RT is a UML real-time profile that allows modeling event-driven and distributed systems. UML-RT is not a formal specification language, therefore it is not possible to do formal verification of UML-RT models. This article proposes formal semantics for UML-RT via mapping of UML-RT communicating elements into n-calculus. The p-calculus is a process algebra to model concurrent systems. A prototype was also developed; it captures information of UML-RT model from RoseRT and generates n-calculus definitions according to the proposed mapping rules. The generated n- calculus definitions use the syntax of HAL-JACK, that is an integrated tool set for the specification, verification and analysis of systems expressed by p-calculus. In the article, we describe the UML-RT to n-calculus mapping, we explain the prototype and we present an example of the mapping.

@inproceedings{bezerra_07_semantics, abstract = {UML-RT is a UML real-time profile that allows modeling event-driven and distributed systems. UML-RT is not a formal specification language, therefore it is not possible to do formal verification of UML-RT models. This article proposes formal semantics for UML-RT via mapping of UML-RT communicating elements into n-calculus. The p-calculus is a process algebra to model concurrent systems. A prototype was also developed; it captures information of UML-RT model from RoseRT and generates n-calculus definitions according to the proposed mapping rules. The generated n- calculus definitions use the syntax of HAL-JACK, that is an integrated tool set for the specification, verification and analysis of systems expressed by p-calculus. In the article, we describe the UML-RT to n-calculus mapping, we explain the prototype and we present an example of the mapping.}, added-at = {2009-03-10T04:39:51.000+0100}, author = {Bezerra, Juliana and Hirata, Celso M.}, biburl = {https://www.bibsonomy.org/bibtex/2ed77dcffd786687ad57426de28c01cbc/leonardo}, citeulike-article-id = {1402781}, doi = {http://dx.doi.org/10.1109/RSP.2007.9}, interhash = {3bae07f8195ed3defb151cf62efee807}, intrahash = {ed77dcffd786687ad57426de28c01cbc}, journal = {Rapid System Prototyping, 2007. RSP 2007. 18th IEEE/IFIP International Workshop on}, keywords = {2007 semantics \_hardcopy \_pdf umlrt}, pages = {75--82}, posted-at = {2007-06-21 18:07:45}, priority = {4}, timestamp = {2009-03-10T04:39:51.000+0100}, title = {A Semantics for UML-RT using pi-calculus}, url = {http://dx.doi.org/10.1109/RSP.2007.9}, year = 2007 }