DocumentCode
1572868
Title
Rialto profile in the SMW toolkit
Author
Björklund, Dag ; Lilius, Johan ; Porres, Ivan
Author_Institution
Dept. of Comput. Sci., Abo Akademi Univ., Turku, Finland
fYear
2003
Firstpage
233
Lastpage
234
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.
Keywords
formal specification; optimising compilers; programming language semantics; specification languages; systems analysis; Rialto specification; SMW toolkit; System Modeling Workbench; UML behavioral diagrams; behavioral description language; compact code compilation; computational models; Collaboration; Computational modeling; Computer languages; Computer science; Kernel; Object oriented modeling; Processor scheduling; Software libraries; Software tools; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Application of Concurrency to System Design, 2003. Proceedings. Third International Conference on
Print_ISBN
0-7695-1887-7
Type
conf
DOI
10.1109/CSD.2003.1207719
Filename
1207719
Link To Document