Skip to main content

Advertisement

SpringerLink
Log in
Menu
Find a journal Publish with us
Search
Cart
Book cover

International Conference on Fundamental Approaches to Software Engineering

FASE 2012: Fundamental Approaches to Software Engineering pp 63–77Cite as

  1. Home
  2. Fundamental Approaches to Software Engineering
  3. Conference paper
Consistency of Service Composition

Consistency of Service Composition

  • José Luiz Fiadeiro18 &
  • Antónia Lopes19 
  • Conference paper
  • 1541 Accesses

  • 4 Citations

Part of the Lecture Notes in Computer Science book series (LNTCS,volume 7212)

Abstract

We address the problem of ensuring that, when an application executing a service binds to a service that matches required functional properties, both the application and the service can work together, i.e., their composition is consistent. Our approach is based on a component algebra for service-oriented computing in which the configurations of applications and of services are modelled as asynchronous relational nets typed with logical interfaces. The techniques that we propose allow for the consistency of composition to be guaranteed based on properties of service orchestrations (implementations) and interfaces that can be checked at design time, which is essential for supporting the levels of dynamicity required by run-time service binding.

Keywords

  • Temporal Logic
  • Service Composition
  • Design Time
  • Linear Temporal Logic
  • Safety Property

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.

Download conference paper PDF

References

  1. Alpern, B., Schneider, F.B.: Defining liveness. Inf. Process. Lett. 21(4), 181–185 (1985)

    CrossRef  MathSciNet  MATH  Google Scholar 

  2. Alpern, B., Schneider, F.B.: Recognizing safety and liveness. Distributed Computing 2(3), 117–126 (1987)

    CrossRef  MATH  Google Scholar 

  3. Alur, R., Etessami, K., Torre, S.L., Peled, D.: Parametric temporal logic for “model measuring”. ACM Trans. Comput. Log. 2(3), 388–407 (2001)

    CrossRef  MathSciNet  MATH  Google Scholar 

  4. Baier, C., Katoen, J.-P.: Principles of model checking. MIT Press (2008)

    Google Scholar 

  5. Betin-Can, A., Bultan, T., Fu, X.: Design for verification for asynchronously communicating web services. In: Ellis, Hagino (eds.) [9], pp. 750–759

    Google Scholar 

  6. Beyer, D., Chakrabarti, A., Henzinger, T.A.: Web service interfaces. In: Ellis, Hagino (eds.) [9], pp. 148–159

    Google Scholar 

  7. Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: a new approach to design and analysis of e-service composition. In: WWW, pp. 403–410 (2003)

    Google Scholar 

  8. de Alfaro, L., Henzinger, T.A.: Interface Theories for Component-Based Design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 148–165. Springer, Heidelberg (2001)

    CrossRef  Google Scholar 

  9. Ellis, A., Hagino, T. (eds.): Proceedings of the 14th International Conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14. ACM (2005)

    Google Scholar 

  10. Fiadeiro, J.L., Lopes, A.: An Interface Theory for Service-Oriented Design. In: Giannakopoulou, D., Orejas, F. (eds.) FASE 2011. LNCS, vol. 6603, pp. 18–33. Springer, Heidelberg (2011)

    CrossRef  Google Scholar 

  11. Fu, X., Bultan, T., Su, J.: Conversation protocols: a formalism for specification and verification of reactive electronic services. Theor. Comput. Sci. 328(1-2), 19–37 (2004)

    CrossRef  MathSciNet  MATH  Google Scholar 

  12. Henzinger, T.A.: Sooner is safer than later. Inf. Process. Lett. 43(3), 135–141 (1992)

    CrossRef  MathSciNet  MATH  Google Scholar 

  13. Kazhamiakin, R., Pistore, M., Santuari, L.: Analysis of communication models in web service compositions. In: Carr, L., Roure, D.D., Iyengar, A., Goble, C.A., Dahlin, M. (eds.) WWW, pp. 267–276. ACM (2006)

    Google Scholar 

  14. Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Systems 2(4), 255–299 (1990)

    CrossRef  Google Scholar 

  15. Kupferman, O., Piterman, N., Vardi, M.Y.: From liveness to promptness. Formal Methods in System Design 34(2), 83–103 (2009)

    CrossRef  MATH  Google Scholar 

  16. Martens, A.: Process oriented discovery of business partners. In: Chen, C.-S., Filipe, J., Seruca, I., Cordeiro, J. (eds.) ICEIS (3), pp. 57–64 (2005)

    Google Scholar 

  17. OSOA. Service component architecture: Building systems using a service oriented architecture (2005), White paper, http://www.osoa.org

  18. Ouaknine, J., Worrell, J.: Safety Metric Temporal Logic Is Fully Decidable. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol. 3920, pp. 411–425. Springer, Heidelberg (2006)

    CrossRef  Google Scholar 

  19. Sistla, A.P.: Safety, liveness and fairness in temporal logic. Formal Asp. Comput. 6(5), 495–512 (1994)

    CrossRef  MATH  Google Scholar 

  20. TC, O.W.: Web services business process execution language. Version 2.0. Technical report, OASIS (2007)

    Google Scholar 

  21. Vardi, M.Y., Wolper, P.: Reasoning about infinite computations. Inf. Comput. 115(1), 1–37 (1994)

    CrossRef  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Leicester, University Road, Leicester, LE1 7RH, UK

    José Luiz Fiadeiro

  2. Faculty of Sciences, University of Lisbon, Campo Grande, 1749–016, Lisboa, Portugal

    Antónia Lopes

Authors
  1. José Luiz Fiadeiro
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Antónia Lopes
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computer Science, Universidad Autónoma de Madrid, Campus Cantoblanco, 28049, Madrid, Spain

    Juan de Lara

  2. School of Informatics, City University, Northampton Square, EC1V 0HB, London, UK

    Andrea Zisman

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fiadeiro, J.L., Lopes, A. (2012). Consistency of Service Composition. In: de Lara, J., Zisman, A. (eds) Fundamental Approaches to Software Engineering. FASE 2012. Lecture Notes in Computer Science, vol 7212. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28872-2_5

Download citation

  • .RIS
  • .ENW
  • .BIB
  • DOI: https://doi.org/10.1007/978-3-642-28872-2_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-28871-5

  • Online ISBN: 978-3-642-28872-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Share this paper

Anyone you share the following link with will be able to read this content:

Sorry, a shareable link is not currently available for this article.

Provided by the Springer Nature SharedIt content-sharing initiative

Search

Navigation

  • Find a journal
  • Publish with us

Discover content

  • Journals A-Z
  • Books A-Z

Publish with us

  • Publish your research
  • Open access publishing

Products and services

  • Our products
  • Librarians
  • Societies
  • Partners and advertisers

Our imprints

  • Springer
  • Nature Portfolio
  • BMC
  • Palgrave Macmillan
  • Apress
  • Your US state privacy rights
  • Accessibility statement
  • Terms and conditions
  • Privacy policy
  • Help and support

167.114.118.210

Not affiliated

Springer Nature

© 2023 Springer Nature