Abstract
Interacting services are at the center of attention in business-to-business (B2B) process integration scenarios. Global interaction models specify the interaction behavior of each service and serve as contractual basis for the collaboration. Consequently, service implementations have to be consistent with the specifications. Consistency checking ensures that an implemented service is compatible with other services, i.e. that it can interact successfully with them. This is important in order to avoid deadlocks and guarantee proper termination of a collaboration. Different notions of compatibility between interacting services and consistency between specification and implementation are available but they are typically discussed independently from each other. This paper presents a unifying framework for compatibility and consistency and shows how these two notions relate to one another. Criteria for an optimal consistency relation with respect to a given compatibility relation are presented. Based on these criteria weak bi-simulation is evaluated.
Chapter PDF
Similar content being viewed by others
Keywords
- Communication Action
- Process Implementation
- Interaction Behavior
- Consistency Relation
- Compatibility Relation
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.
References
Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business Process Execution Language for Web Services, version 1.1. Technical report, OASIS, (May 2003), http://www-106.ibm.com/developerworks/webservices/library/ws-bpel
Basten, T., van der Aalst, W.M.P.: Inheritance of behavior. JLAP 47(2), 47–145 (2001)
Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and Orchestration: A Synergic Approach for System Design. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, Springer, Heidelberg (2005)
Canal, C., Pimentel, E., Troya, J.M.: Compatibility and inheritance in software architectures. Sci. Comput. Program. 41(2), 105–138 (2001)
Kavantzas, N., Burdett, D., Ritzinger, G., Lafon, Y.: Web Services Choreography Description Language Version 1.0, W3C Candidate Recommendation. Technical report, (November 2005), http://www.w3.org/TR/ws-cdl-10
Martens, A.: Analyzing Web Service based Business Processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, Springer, Heidelberg (2005)
Martens, A.: Consistency between Executable and Abstract Processes. In: Proceedings IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), Hong Kong, China, pp. 60–67. IEEE Computer Society Press, Los Alamitos (March 2005)
Massuthe, P., Reisig, W., Schmidt, K.: An Operating Guideline Approach to the SOA. Annals of Mathematics, Computing and Teleinformatics 1(3), 35–43 (2005)
Massuthe, P., Schmidt, K.: Operating guidelines - an automata-theoretic foundation for the service-oriented architecture. In: Proceedings Fifth International Conference on Quality Software (QSIC 2005), pp. 452–457. IEEE Computer Society Press, Washington, DC, USA (2005)
Puhlmann, F., Weske, M.: Interaction Soundness for Service Orchestrations. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 302–313. Springer, Heidelberg (2006)
Sangiorgi, D.: A Theory of Bisimulation for the pi-Calculus. Acta Informatica 16(33), 69–97 (1996)
van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Distributed and Parallel Databases 14(1), 5–51 (2003)
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)
van Glabbeek, R., Weijland, W.: Branching Time and Abstraction in Bisimulation Semantics. Journal of the ACM 43(3), 555–600 (1996)
Zaha, J.M., Barros, A., Dumas, M., ter Hofstede, A.: A Language for Service Behavior Modeling. In: Cooperative Information Systems. 14th International Conference (CoopIS 2006), Montpellier, France, Springer, Heidelberg (2006)
Zaha, J.M., Dumas, M., ter Hofstede, A., Barros, A., Decker, G.: Service Interaction Modeling: Bridging Global and Local Views. In: Proceedings 10th IEEE International EDOC Conference (EDOC 2006), Hong Kong (October 2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Decker, G., Weske, M. (2007). Behavioral Consistency for B2B Process Integration. In: Krogstie, J., Opdahl, A., Sindre, G. (eds) Advanced Information Systems Engineering. CAiSE 2007. Lecture Notes in Computer Science, vol 4495. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72988-4_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-72988-4_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72987-7
Online ISBN: 978-3-540-72988-4
eBook Packages: Computer ScienceComputer Science (R0)