Checking Order Constraints in Collaborative Workflow with Invariant Analysis

  • Jidong Ge
  • Haiyang Hu
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6724)


Workflow collaborative technology can compose the existing services and build larger and larger services. Different organizations define their workflows themselves, and provide interfaces to other workflows from other organizations so that the different organizations can collaborate and cooperative each other with workflow collaboration. In the workflow collaboration model, we propose an approach to check order constraints for necessary conditions of soundness property with invariant analysis.


Invariant Analysis Firing Sequence Order Constraint Firing Rule Soundness Property 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    van der Aalst, W.M.P.: The application of Petri nets to workflow management. The Journal of Circuits, Systems, and Computers 8(1), 21–66 (1998)CrossRefGoogle Scholar
  2. 2.
    van der Aalst, W.M.P.: Making work flow: On the application of petri nets to business process management. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol. 2360, pp. 1–22. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  3. 3.
    van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow Mining: Discovering Process Models from Event Logs. IEEE Transactions on Knowledge and Data Engineering 16(9), 1128–1142 (2004)CrossRefGoogle Scholar
  4. 4.
    Chebbi, I., Dustdar, S., Tata, S.: The view-based approach to dynamic interorganizational workflow cooperation. Data & Knowledge Engineering 56(2), 139–173 (2006)CrossRefGoogle Scholar
  5. 5.
    Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press, Cambridge (1995)CrossRefzbMATHGoogle Scholar
  6. 6.
    Divitini, M., Hanachi, C., Sibertin-Blanc, C.: Inter-organizational workflows for enterprise coordination. In: Omicini, A., et al. (eds.) Coordination of Internet Agents: Models, Technologies, and Applications 2001, pp. 369–398. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  7. 7.
    Desai, N., Mallya, A.U., Chopra, A.K., Singh, M.P.: Interaction protocols as design abstractions for business processes. IEEE Transactions on Software Engineering 31(12), 1015–1027 (2005)CrossRefGoogle Scholar
  8. 8.
    Ge, J., Hu, H., Lü, J.: Invariant Analysis for the Task Refinement of Workflow Nets. In: Proceedings of IAWTIC 2006, IEEE Computer Society, Los Alamitos (2006)Google Scholar
  9. 9.
    Girault, C., Valk, R.: Petri Nets for System Engineering: A Guide to Modeling, Verification and Application. Springer, Heidelberg (2003)CrossRefzbMATHGoogle Scholar
  10. 10.
    Hamadi, R., Benatallah, B.: A Petri net-based model for web service composition. In: Schewe, K.-D., Zhou, X. (eds.) Proceedings of the 14th Australasian Database Confer-ence (ADC 2003), pp. 191–200. Australian Computer Society (2003)Google Scholar
  11. 11.
    Reisig, W.: An Introduction to Petri Nets. Springer, Heidelberg (1985)CrossRefzbMATHGoogle Scholar
  12. 12.
    Valmari, A.: The state explosion problem. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 429–528. Springer, Heidelberg (1998)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Jidong Ge
    • 1
    • 2
  • Haiyang Hu
    • 1
    • 3
  1. 1.State Key Laboratory for Novel Software TechnologyNanjing UniversityChina
  2. 2.Software InstituteNanjing UniversityChina
  3. 3.College of ComputerHangzhou Dianzi UniversityChina

Personalised recommendations