共 59 条
[1]
van der Aalst WMP(1999)Formalization and verification of event-driven process chains Inf Softw Technol 41 639-650
[2]
van der Aalst WMP(2008)Translating unstructured workflow processes to readable BPEL: theory and implementation Inf Softw Technol 50 131-159
[3]
Lassen KB(1992)A control-flow normalization algorithm and its complexity IEEE Trans Softw Eng 18 237-251
[4]
Ammarguellat Z(2005)Structural metrics for goal based business process design and evaluation Bus Process Manage J 11 680-694
[5]
Balasubramanian S(1996)A validation of object-oriented design metrics as quality indicators IEEE Trans Softw Eng 22 751-761
[6]
Gupta M(2006)How do practitioners use conceptual modeling in practice? Data Knowl Eng 58 358-380
[7]
Basili V(2004)Bridging the gap between business models and workflow specifications Int J Coop Inf Syst 13 289-332
[8]
Briand L(1986)Axiomatic approach to software metrication through program decomposition Comput J 29 329-339
[9]
Melo W(2003)What are web services? Commun ACM 46 31-32
[10]
Davies I(1984)Comprehension and recall of miniature programs Int J Man Mach Stud 21 31-48