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
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;
Conference_Titel :
Application of Concurrency to System Design, 2003. Proceedings. Third International Conference on
Print_ISBN :
0-7695-1887-7
DOI :
10.1109/CSD.2003.1207719
