Specification, Verification and Implementation of Business Processes Using CSP

Specification, Verification and Implementation of Business Processes Using CSP
复制标题

使用 CSP 的业务流程的规范、验证和实施

DOI:
10.1109/tase.2010.26
复制
发表时间:
2010
期刊:
2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering
影响因子:
--
通讯作者:
T. Göthel
T. Göthel
中科院分区:
--
文献类型:
--
作者:
M. Kleine;T. Göthel

文献摘要

参考文献

被引文献

相似文献

使用参考网络进行基于模式的工作流程设计
DOI: --
发表时间: 2003
期刊: International Conference on Business Process Management
影响因子: --
作者:
D. Moldt;Heiko Rölke
通讯作者: Heiko Rölke
工作流程图的建模和验证
DOI: --
发表时间: 1996
期刊:
影响因子: --
作者:
Wasim Sadiq;M. Orlowska
通讯作者: M. Orlowska
gCSP:用于设计 CSP 系统的图形工具
DOI: --
发表时间: 2004
期刊:
影响因子: --
作者:
D. Jovanovic;B. Orlic;Geert K. Liet;J. Broenink
通讯作者: J. Broenink