B. , S. Fuggetta, A. Ghezzi, and C. , Software Process Model Evolution in the SPADE Environment, IEEE Transactions on Software Engineering, vol.19, issue.12, pp.1128-1144, 1993.

E. , C. Gibbs, S. Rein, and G. , Groupware: Some Issues and Experiences, Communications of the ACM, vol.34, issue.1, pp.38-58, 1991.

E. , C. Nutt, and G. , Modeling and Enactment of Workflow Systems, in: Application and Theory of Petri Nets, Lecture Notes in Computer Science, vol.691, pp.1-16, 1993.

E. , J. Dami, S. Amiour, and M. , High Level Process Modelling for SCM Systems, Proceedings of SCM Workshop, pp.81-97, 1997.

G. , E. Helm, R. Johnson, R. Villisides, and J. , Design Patterns: Elements of Reusable Object Oriented Software, 1994.

G. , C. Canals, G. Charoy, F. Molli, P. Skaf et al., Designing and Implementing COO: Design Process, Architectural Style, Lessons Learned, Proceedings of Int. Conference on Software Engineering (ICSE'18, 1996.

M. , F. Miller, and J. , Automatic Generic Support for Software Inspection, 1996.

M. , R. Winograd, T. Flores, R. Flores, and F. , The Action Workflow Approach to Workflow Management Technology, Proceedings ACM Conference on Computer-Supported Cooperative Work, pp.281-288, 1992.

S. , P. Hurtado, and C. , Understanding Behavior of Business Process Models, Proceedings of the First International Conference on Coordination Models and Languages, pp.440-443, 1996.

W. Van-der-aalst, Verification of Workflow Nets, Proceedings of Application and Theory of Petri Nets (ICATPN'97), 1997.