Abstract
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.
This work was supported by 863 Program of China (2006AA01Z159, 2006AA01Z177, 2007AA01Z178, 2007AA01Z140), NSFC (60721002, 60736015, 60873022, 60903053, 61003019), and NSFJ (BK2006712), Youth Funding of State Key Laboratory for Novel Software Technology, and the Seed Funding of Nanjing University.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
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)
Chebbi, I., Dustdar, S., Tata, S.: The view-based approach to dynamic interorganizational workflow cooperation. Data & Knowledge Engineering 56(2), 139–173 (2006)
Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press, Cambridge (1995)
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)
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)
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)
Girault, C., Valk, R.: Petri Nets for System Engineering: A Guide to Modeling, Verification and Application. Springer, Heidelberg (2003)
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)
Reisig, W.: An Introduction to Petri Nets. Springer, Heidelberg (1985)
Valmari, A.: The state explosion problem. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 429–528. Springer, Heidelberg (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ge, J., Hu, H. (2011). Checking Order Constraints in Collaborative Workflow with Invariant Analysis. In: Chiu, D.K.W., et al. Web Information Systems Engineering – WISE 2010 Workshops. WISE 2010. Lecture Notes in Computer Science, vol 6724. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24396-7_39
Download citation
DOI: https://doi.org/10.1007/978-3-642-24396-7_39
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24395-0
Online ISBN: 978-3-642-24396-7
eBook Packages: Computer ScienceComputer Science (R0)