Automatically Generated CSP Specifications

Automatically Generated CSP Specifications
复制标题

自动生成 CSP 规范

DOI：
--
复制
发表时间：
2003
期刊：
Journal of universal computer science (Online)
影响因子：
--
通讯作者：
M. Svéda
M. Svéda
中科院分区：
--
文献类型：
--
作者：
Frantisek Scuglik;M. Svéda

文献摘要

被引文献

相似文献

在(11)和(10)中使用行为图或应用程序源代码介绍了自动CSP(通信顺序进程)支持的两种可能性。在第一种方法中，工具根据行为关系图生成CSP规范，基于UML复合状态图，而在第二种方法中，应用程序源代码使用编译器直接转换为CSP规范。本文回顾了与这两种技术相关的工具。
Two possibilities of automated CSP (Communicating Sequential Processes) support are introduced in (11) and (10) using either behavioral diagrams or application source code. While in the first approach a tool generates CSP specification from beha- vioral diagrams, based on UML Composite States diagram, in the second approach an application source code is translated directly into CSP specification using a compiler. This paper reviews tools related to both techniques.