Abstract
Modularity and decontextualization are core principles of a service-oriented architecture. However, the principles are often lost when it comes to an implementation of services due to rigid service interfaces. This paper focuses on a two-fold problem. On the one hand, the interface description language must be flexible for maintaining service compatibility in different contexts without modification of the service itself. On the other hand, the composition of interfaces in a distributed environment must be provably consistent.
We present a novel approach for automatic interface configuration in distributed services. We introduce a Message Definition Language (MDL), an interface description language with support of subtyping, flow inheritance and polymorphism. The MDL supports configuration variables that link input and output interfaces of a service and propagate requirements over an application graph. We present an algorithm that solves the interface reconciliation problem using constraint satisfaction that relies on Boolean satisfiability as a subproblem.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Sheng, Q.Z., Qiao, X., Vasilakos, A.V., Szabo, C., Bourne, S., Xu, X.: Web services composition: a decades overview. Inf. Sci. 280, 218–238 (2014)
Dustdar, S., Schreiner, W.: A survey on web services composition. Int. J. Web Grid Serv. 1(1), 1–30 (2005)
Bourne, S., Szabo, C., Sheng, Q.Z.: Ensuring well-formed conversations between control and operational behaviors of web services. In: Liu, C., Ludwig, H., Toumani, F., Yu, Q. (eds.) Service Oriented Computing. LNCS, vol. 7636, pp. 507–515. Springer, Heidelberg (2012)
Zheng, Z., Lyu, M.R.: Personalized reliability prediction of web services. ACM Trans. Softw. Eng. Methodol. 22(2), 12 (2013)
Web services choreography description language: web services choreography description language (WS-CDL). https://www.w3.org/TR/ws-cdl-10/
Arkin, A., Askary, S., Fordin, S., Jekeli, W., Kawaguchi, K., Orchard, D., Pogliani, S., Riemer, K., Struble, S., Takacsi-Nagy, P., et al.: Web service choreography interface (WSCI) (2002). https://www.w3.org/TR/2002/NOTE-wsci-20020808/
Barros, A., Dumas, M., Oaks, P.: A critical overview of the web services choreography description language. BPTrends 3, 1–24 (2005)
Carbone, M., Honda, K., Yoshida, N.: Structured communication-centred programming for web services. In: Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 2–17. Springer, Heidelberg (2007)
Bouguettaya, A., Sheng, Q.Z., Daniel, F. (eds.): Advanced Web Services. Springer, New York (2013)
Duan, Q., Yan, Y., Vasilakos, A.V.: A survey on service-oriented network virtualization toward convergence of networking and cloud computing. IEEE Trans. Netw. Serv. Manage. 9(4), 373–392 (2012)
Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. SIGPLAN Not. 43(1), 273–284 (2008)
Davies, R., Pfenning, F.: Intersection types and computational effects. ACM SIGPLAN Not. 35(9), 198–208 (2000)
Grelck, C., Scholz, S.B., Shafarenko, A.: A gentle introduction to S-Net: typed stream processing and declarative coordination of asynchronous components. Parall. Process. Lett. 18(02), 221–237 (2008)
Gaster, B.R., Jones, M.P.: A polymorphic type system for extensible records and variants. Technical report (1996)
Leijen, D.: Extensible records with scoped labels. Trends Funct. Program. 5, 297–312 (2005)
Zaichenkov, P., Tveretina, O., Shafarenko, A.: A constraint satisfaction method for configuring non-local service interfaces. http://arxiv.org/abs/1601.03370
Biere, A.: Picosat essentials. J. Satisfiability Boolean Model. Comput. 4, 75–97 (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Zaichenkov, P., Tveretina, O., Shafarenko, A. (2016). A Constraint Satisfaction Method for Configuring Non-local Service Interfaces. In: Ábrahám, E., Huisman, M. (eds) Integrated Formal Methods. IFM 2016. Lecture Notes in Computer Science(), vol 9681. Springer, Cham. https://doi.org/10.1007/978-3-319-33693-0_30
Download citation
DOI: https://doi.org/10.1007/978-3-319-33693-0_30
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-33692-3
Online ISBN: 978-3-319-33693-0
eBook Packages: Computer ScienceComputer Science (R0)