Primitives for structured workflow design: A mathematical specification and analysis

被引：0
|
作者：
Patnaik, Sumagna [1 ]
机构：
[1] Univ Hyderabad, Dept Comp & Info Sci, Hyderabad 500134, Andhra Pradesh, India
来源：
ICIT 2006: 9TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY, PROCEEDINGS | 2006年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Structured design specification lacks formality to reason about design correctness. In this paper primitives for structured workflow design are specified mathematically and observations are made by analyzing these specifications.
引用
收藏
页码：299 / 300
页数：2
相关论文
共 50 条
12345