Abstract
Creating new services through composition of existing ones is an attractive option. However, composition can be complex and service compatibility needs to be checked. A rigorous and industrially-usable methodology is therefore desirable for creating, verifying, implementing and validating composed services. An explanation is given of the approach taken by Cress (Communication Representation Employing Systematic Specification). Formal verification and validation are performed through automated translation to Lotos (Language Of Temporal Ordering Specification). Implementation and validation are performed through automated translation to Bpel (Business Process Execution Logic) and WSDL (Web Services Description Language). The approach is illustrated with an application to grid service composition in e-Social Science.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Arkin, A., et al. (eds.) Web Services Business Process Execution Language, Version 2.0. Organization for The Advancement of Structured Information Standards (April 2007)
Baresi, L., et al.: Validation of web service compositions. Software 1(6), 219–232 (2007)
Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language Lotos. Computer Networks 14(1), 25–59 (1988)
Chirichiello, A., Salaün, G.: Encoding abstract descriptions into executable web services: Towards a formal development. In: Proc. Web Intelligence 2005, December 2005. IEEE, Los Alamitos (2005)
Clark, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)
Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proc. 21st Int. Conf. on Software Engineering, pp. 411–420 (1999)
Ferrara, A.: Web services: A process algebra approach. In: Proc. 2nd Int. Conf. on Service-Oriented Computing, pp. 242–251. ACM Press, New York (2004)
Foster, H.: A Rigorous Approach to Engineering Web Service Compositions. PhD thesis, Imperial College, London (January 2006)
Fu, X., Bultan, T., Su, J.: Analysis of interacting Bpel web services. In: Proc. 13th. Int. World Wide Web Conf., pp. 621–630. ACM Press, New York (2004)
Garavel, H., Lang, F., Mateescu, R.: An overview of CADP 2001. European Association for Software Science and Technology Newsletter 4, 13–24 (2002)
Graham, S., et al.: Web Services Resource. Version 1.2. Organization for The Advancement of Structured Information Standards (April 2006)
ISO/IEC. LOTOS – A Formal Description Technique based on the Temporal Ordering of Observational Behaviour. ISO/IEC 8807 (1989)
Oinn, T., et al.: Taverna: A tool for the composition and enactment of bioinformatics workflows. Bioinformatics 20(17), 3045–3054 (2004)
Pautasso, C.: JOpera: An agile environment for web service composition with visual unit testing and refactoring. In: Proc. IEEE Symp. on Visual Languages and Human Centric Computing. IEEE, Los Alamitos (2005)
Pavón Gomez, S., Larrabeiti, D., Rabay Filho, G.: Lola user manual (version 3R6). Technical report, Polytechnic University of Madrid (February 1995)
Slomiski, A.: On using Bpel extensibility to implement OGSI and WSRF grid workflows. In: Proc. Global Grid Forum 10, Berlin (March 2005)
Turner, K.J.: Test generation for radiotherapy accelerators. Software Tools for Technology Transfer 7(4), 361–375 (2005)
Turner, K.J.: Validating feature-based specifications. Software Practice and Experience 36(10), 999–1027 (2006)
Wassermann, B., et al.: Sedna: A Bpel-based environment for visual scientific workflow modelling. In: Workflows for E-Science, pp. 428–449. Springer, Heidelberg (2007)
W3C. Web Services Addressing (WS-Addressing). World Wide Web Consortium (May 2006)
Yu, J., et al.: Using temporal business rules to synthesize service composition process models. In: Proc. 1st Int. Workshop on Architectures, Concepts and Technologies for Service Oriented Computing, July 2007, pp. 86–95. INSTICC Press (2007)
Zager, M.: SOA/web services – Business process orchestration with BPEL (October 2008), http://webservices.sys-con.com/read/155631_1.htm
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Turner, K.J., Tan, K.L.L. (2009). A Rigorous Methodology for Composing Services. In: Alpuente, M., Cook, B., Joubert, C. (eds) Formal Methods for Industrial Critical Systems. FMICS 2009. Lecture Notes in Computer Science, vol 5825. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04570-7_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-04570-7_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04569-1
Online ISBN: 978-3-642-04570-7
eBook Packages: Computer ScienceComputer Science (R0)