共 71 条
[31]
Hammer M., 1993, LE REENGINEERING, V93
[32]
Keele S., 2007, 200701 EBSE
[34]
From business process model to consistent implementation: A case for formal verification methods
[J].
SIXTH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE, PROCEEDINGS,
2002,
:96-106
[35]
Koliadis G., 2006, COMBINED APPROACHE S
[36]
Koliadis G, 2007, P IEEE I C SERV COMP, P731
[38]
Küster JM, 2008, LECT NOTES COMPUT SC, V5240, P244, DOI 10.1007/978-3-540-85758-7_19
[39]
Leist S., 2006, Applied Computing 2006. 21st Annual ACM Symposium on Applied Computing, P1546, DOI 10.1145/1141277.1141635
[40]
Lu R, 2007, LECT NOTES COMPUT SC, V4801, P165