Skip to main content
SpringerLink
Log in
Book cover

International Conference on Grid and Cooperative Computing

GCC 2003: Grid and Cooperative Computing pp 59–66Cite as

Interaction Compatibility: An Essential Ingredient for Service Composition

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3032))

Abstract

Common to Grid services, Web Services, software agents and software components is that they are independently built and provide services aimed for composition. A key issue is whether or not the services in a composite system can interact with each other “sensibly” and as orchestrated by the enclosing composition. In this paper, we introduce an approach where we can specify individual services’ interaction intentions, and check their compatibility in a composite system. We discuss the use of the approach, the specification language, and the compatibility checking tool in the context of software components. They are equally applicable to other service frameworks mentioned above.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aksit, M., et al.: Abstracting object interactions using composition filters. In: Proceedings of 1993 European Conference on Object-Oriented Programming, Kaiserslautern, Germany, July 1993, pp. 152–184 (1993)

    Google Scholar 

  2. Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology 6(3), 213–249 (1997)

    Article  Google Scholar 

  3. Bastide, R., Sy, O., Palanque, P.: Formal specification and prototyping of CORBA systems. In: Proceedings of the 13th European Conference on Object-Oriented Programming, Lisbon, Portugal, June 1999, pp. 474–494 (1999)

    Google Scholar 

  4. Borgida, A., Devanbu, P.: Adding more “DL” to IDL: Towards more knowledgeable component inter-operability. In: Proceedings of the 21th International Conference on Software Engineering, Los Angeles, USA, May 1999, pp. 378–387 (1999)

    Google Scholar 

  5. Canal, C., Pimentel, E., Troya, J.M., Vallecillo, A.: Extending CORBA interfaces with protocols. The Computer Journal 44(5), 448–462 (2001)

    Article  MATH  Google Scholar 

  6. Frolund, S., Agha, G.A.: A language framework for multi-object coordination. In: Proceedings of 1993 European Conference on Object-Oriented Programming, Kaiserslautern, Germany, July 1993, pp. 346–340 (1993)

    Google Scholar 

  7. Han, J.: A comprehensive interface definition framework for software components. In: Proceedings of the 1998 Asia-Pacific Software Engineering Conference, Taipei, Taiwan, December 1998, pp. 110–117. IEEE Computer Society, Los Alamitos (1998)

    Chapter  Google Scholar 

  8. Han, J.: Temporal logic based specification of component interaction protocols. In: Object Interoperability: ECOOP 2000 Workshop on Object Interoperability, Sophia Antipolis, France, June 2000, pp. 43–52 (2000)

    Google Scholar 

  9. Han, J., Ker, K.K.: Ensuring compatible interactions within component-based software systems. In: Proceedings of the 2003 Asia-Pacific Software Engineering Conference, Chiangmai, Thailand, December 2003, IEEE Computer Society, Los Alamitos, 10 pages (2003) (to appear)

    Google Scholar 

  10. Logean, X.: Run-time Monitoring and On-line Testing of Middleware Based Communication Services. PhD thesis, Ecole Polytechnique Federale De Lausanne, Lausanne EPFL (2000)

    Google Scholar 

  11. OMG. Portable interceptors (December 1999), ftp://ftp.omg.org/pub/docs/orbos/99-12-02.pdf

  12. Plasil, F., Visnovsky, W.: Behaviour protocols for software components. IEEE Transactions on Software Engineering 28(11), 1056–1076 (2002)

    Article  Google Scholar 

  13. Ren, S., Agha, G.A.: RTsynchronizer: Language support for real-time specifications in distributed systems. In: Proceedings of ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems, La Jolla, CA, USA, June 1995, pp. 50–59 (1995)

    Google Scholar 

  14. The BPEL4WS Team. Business Process Execution Language for Web Service (BPEL4WS). Project report (May 2003), http://www-106.ibm/developerworks/library/ws-bpel/

  15. The WSCI Team. Web Service Choreography Interface (WSCI) 1.0. Technical report, W3C (August 2002)

    Google Scholar 

  16. Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Transactions on Programming Languages and Systems 19(2), 292–333 (1997)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Information Technology, Swinburne University of Technology, John Street, Hawthorn, Vic., 3122, Australia

    Jun Han

Authors
  1. Jun Han
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science and Engineering, Shanghai Jiatong University, 80 Dongcuan Road, 200240, Shanghai, China

    Minglu Li

  2. Department of Computer Science, Illinois Institute of Technology, Chicago, IL, USA

    Xian-He Sun

  3. Department. of Computer Science, Shanghai Jiaotong University, 1954 HuaShan Road, 200030, Shanghai, P.R. China

    Qian-ni Deng

  4. Department of Computer Science, College of Liberal Arts, University of Iowa, 52242, Iowa City, IA, USA

    Jun Ni

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Han, J. (2004). Interaction Compatibility: An Essential Ingredient for Service Composition. In: Li, M., Sun, XH., Deng, Qn., Ni, J. (eds) Grid and Cooperative Computing. GCC 2003. Lecture Notes in Computer Science, vol 3032. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24679-4_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24679-4_17

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-21988-0

  • Online ISBN: 978-3-540-24679-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation