Rialto profile in the SMW toolkit

Third International Conference on Application of Concurrency to System Design, 2003. Proceedings. Pub Date : 2003-06-18 DOI:10.1109/CSD.2003.1207719

Dag Björklund, J. Lilius, Ivan Porres

引用次数: 1

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.

查看原文本刊更多论文

SMW工具包中的Rialto配置文件

我们提供了系统建模工作台的扩展，将UML行为图转换为Rialto中的规范。Rialto是一种行为描述语言，具有正式定义的语义，支持多种计算模型，可以用不同的目标语言编译成紧凑的代码。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Third International Conference on Application of Concurrency to System Design, 2003. Proceedings.

自引率

0.00%

发文量