Abstract
Collaborative Inter-Organisational Business Processes (IOBPs) are a major step in automating and supporting collaborations of organisations. In this context, collaborative IOBP are usually constrained by hard timing requirements. This paper proposes an approach for analyzing temporal consistency of collaborative IOBPs. The aim is to verify temporal consistency of IOBP and to provide the enactment service with largest intervals as starting time windows of the processes. The proposed approach enables organisations to detect, early on, temporal inconsistencies that may constitute obstacles towards their interaction. Indeed, it provides an enactment service, which provides each partner with information about temporal restrictions to respect by its own processes in accordance with the overall temporal constraints of all involved processes.
Chapter PDF
Similar content being viewed by others
Keywords
References
Eder, J., Panagos, E., Rabinovich, M.I.: Time Constraints in Workflow Systems. In: Jarke, M., Oberweis, A. (eds.) CAiSE 1999. LNCS, vol. 1626, pp. 286–300. Springer, Heidelberg (1999)
Eder, J., Tahamtan, A.: Temporal Consistency of View Based Interorganizational Workflows. In: Kaschek, R., Kop, C., Steinberger, C., Fliedl, G. (eds.) Synchronization Techniques for Chaotic Commun. Syst. LNBIP, vol. 5, pp. 96–107. Springer, Heidelberg (2008)
van der Aalst, W.M.P., Weske, M.: The P2P Approach to Interorganizational Workflows. In: Dittrich, K.R., Geppert, A., Norrie, M. C. (eds.) CAiSE 2001. LNCS, vol. 2068, pp. 140–156. Springer, Heidelberg (2001)
Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM 26(11), 832–843 (1983)
Bettini, C., Wang, X.S., Jajodia, S.: Temporal Reasoning in Workflow Systems. Distributed and Parallel Databases (2002)
Guermouche, N., Godart, C.: Timed Conversational Protocol Based Approach for Web Services Analysis. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol. 6470, pp. 603–611. Springer, Heidelberg (2010)
Guermouche, N., Godart, C.: Timed model checking based approach for web services analysis. In: ICWS. IEEE CS (2009)
Cheikhrouhou, S., Kallel, S., Guermouche, N., Jmaiel, M.: Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes. In: Proceedings of the 11th IEEE International Conference on Services Computing (SCC). IEEE Computer Society (2014)
Kallel, S., Charfi, A., Dinkelaker, T., Mezini, M., Jmaiel, M.: Specifying and Monitoring Temporal Properties in Web Services Compositions. In: ECOWS. IEEE CS (2009)
Guidara, I., Guermouche, N., Chaari, T., Tazi, S., Jmaiel, M.: Pruning Based Service Selection Approach under Qos and Temporal Constraints. In: ICWS. IEEE CS (2014)
Du, Y., Tan, W., Zhou, M.: Timed compatibility analysis of web service composition: A modular approach based on petri nets. IEEE Transaction on Automation Science and Engineering (2014)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cheikhrouhou, S., Kallel, S., Guermouche, N., Jmaiel, M. (2014). On Enabling Time-Aware Consistency of Collaborative Cross-Organisational Business Processes. In: Franch, X., Ghose, A.K., Lewis, G.A., Bhiri, S. (eds) Service-Oriented Computing. ICSOC 2014. Lecture Notes in Computer Science, vol 8831. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-45391-9_24
Download citation
DOI: https://doi.org/10.1007/978-3-662-45391-9_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-45390-2
Online ISBN: 978-3-662-45391-9
eBook Packages: Computer ScienceComputer Science (R0)