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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3060145
بازگشت