Skip to main content
SpringerLink
Log in

Service refinement

  • Published:
Science in China Series F: Information Sciences Aims and scope Submit manuscript

Abstract

This paper presents a refinement calculus for service components. We model the behaviour of individual service by a guarded design, which enables one to separate the responsibility of clients from the commitment made by the system, and to identify a component by a set of failures and divergences. Protocols are introduced to coordinate the interactions between a component with the external environment. We adopt the notion of process refinement to formalize the substitutivity of components, and provide a complete proof method based on the notion of simulations.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Chappell D. Enterprise Service Bus. O’Reilly, 2004

  2. Szyperski C. Component Software — Beyond Object-Oriented Programming. Reading, MA: Addison-Wesley, 1998

    Google Scholar 

  3. Microsoft. The Component Object Model Specification. Report v0.99, Microsoft Standards. Redmond, WA: Microsoft, 1996

    Google Scholar 

  4. OMG. The Common Object Request Broker: Architecture and Specification. Report v2.5, OMG Standards Collection, OMG, 2000

  5. Sun Microsystems. JavaBeans 1.01 Specification. http://java.sun.com/beans

  6. Cheesman J, Danies J. UML Components — A Simple Process for Specifying Component-Based Software. Reading, MA: Addison-Wesley, 2000

    Google Scholar 

  7. Warmer J, Kleppe A. The Object Constraint Language. Reading, MA: Addison-Wesley, 1999

    Google Scholar 

  8. Souza D, Wills A C. Objects, Components and Frameworks: The Catalysis Approach. Reading MA: Addison-Wesley, 1998

    Google Scholar 

  9. Jones C B. Systematic Software Development Using VDM. Upper Saddle River, NJ: Prentice Hall, 1990

    MATH  Google Scholar 

  10. Meyer B. Object-Oriented Software Construction. Upper Saddle River, NJ: Prentice Hall, 1997

    MATH  Google Scholar 

  11. Hoare C A R, He J. Unifying Theories of Programming. Upper Saddle River, NJ: Prentice Hall, 1998

    Google Scholar 

  12. He J. Simulation and Process Refinement. Form Aspect Comp, 1989, 1: 229–241

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Software Engineering Institute, Shanghai key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, 200062, China

    JiFeng He

Authors
  1. JiFeng He
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to JiFeng He.

Additional information

Supported by the National Basic Research Program of China (Grant No. 2005CB321904) and Shanghai Leading Academic Discipline Project (Grant No. B412)

Rights and permissions

Reprints and permissions

About this article

Cite this article

He, J. Service refinement. Sci. China Ser. F-Inf. Sci. 51, 661–682 (2008). https://doi.org/10.1007/s11432-008-0061-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11432-008-0061-x

Keywords

Search

Navigation