• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Rialto Profile in the SMW Toolkit

Dag Björklund, Johan Lilius, Ivan Porres, Rialto Profile in the SMW Toolkit. In: Proceedings of the Third International Conference on Application of Concurrency to System Design ACSD 2003, IEEE Computer Society, 2003.

Abstract:

We present an extension to the System Modeling Workbench to
transform UML behavioral diagrams into specifications in Rialto.
Rialto is a behavioral description language with formally defined
semantics that supports multiple models of computation and can be
compiled into compact code in different target languages.

BibTeX entry:

@INPROCEEDINGS{pBjLiPo03a,
  title = {Rialto Profile in the SMW Toolkit},
  booktitle = {Proceedings of the Third International Conference on Application of Concurrency to System Design ACSD 2003},
  author = {Björklund, Dag and Lilius, Johan and Porres, Ivan},
  publisher = {IEEE Computer Society},
  year = {2003},
}

Belongs to TUCS Research Unit(s): Embedded Systems Laboratory (ESLAB), Software Construction Laboratorium

Edit publication