DocumentCode
3060145
Title
Primitives for structured workflow design: a mathematical specification and analysis
Author
Patnaik, Sumagna
Author_Institution
Univ. of Hyderabad, Hyderabad
fYear
2006
fDate
18-21 Dec. 2006
Firstpage
299
Lastpage
300
Abstract
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.
Keywords
formal specification; reasoning about programs; workflow management software; design correctness reasoning; mathematical specification; structured workflow design specification primitive; Collaboration; Design engineering; Information technology; Mathematical analysis; Mathematical model; Parallel processing;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Technology, 2006. ICIT '06. 9th International Conference on
Conference_Location
Bhubaneswar
Print_ISBN
0-7695-2635-7
Type
conf
DOI
10.1109/ICIT.2006.73
Filename
4273219
Link To Document