Model E-contract Update by Coloured Activity Net

The processes of e-contract update involve the coordination activities among diverse organizations. The aim of this paper is to simulate the process of secure mechanism for e-contract update based on interorganizational workflow. To validate and verify the processes of e-contract update, the model is established through coloured activity net (CA-net) which integrates the process, case, and resource viewpoints. First, we introduce a workflow specification module to express the message transferring, state changing, process execution, and resource sharing. We then apply the CA-net to model an interorganizational workflow that involves message transferring between partners. After being validated by simulation of the CPN Tools, the soundness of CA-net model can be verified by state space analysis under the support of CPN Tools, e.g. the reachability graph, liveness property, home marking, dead marking, and fairness property. The results demonstrate that the CA-net is feasible to model logic layer of e-contract updating.