Abstract
Recently service orientation is becoming a mainstream approach for building large scale software systems. A key requirement in service-oriented design is the dependability of service. It stipulates that the behavior of services is controllable. Formal models can aid in constructing software in a dependable manner. They can describe services precisely and compose them together consistently. This paper presents a strategy for service realization based on a novel layered formal model. When a service is provided or required via internet, the semantic consistency becomes critical issue. Our architecture tackles the issue by proposing a novel scheme: defining contract of a service to keep semantic information. Although service-oriented design is our prime target, the contract models, to a large extent, are independent of the framework of design and therefore applicable to large scale software design in general.
Similar content being viewed by others
References
Papazoglou M P. Service-oriented computing: Concepts, characteristics and directions. In: Massimo M, ed. The 4th International Conference on Web Information Systems Engineering (WISE03), IEEE Computer Society, 2003. 3–12
Brown A W, Johnston S. Using service-oriented architecture and component-based development to build web service application. Rational Software Corporation, 2003, 1–16
White paper, Microsoft Corp. 2004, http://download.microsoft.com/download/d/2/5/d2513e64-0dcd-4ef6-89c4-c99ee117936f
Hoare C, He J. Unifying Theories of Programming. Herfordshire: Prentice-Hall, 1998
He J, Li X, Liu Z. Component-based software engineering. In: Dang H, Martin Wirsing, eds. Proc. of International Colloquium on Theoretical Aspects of Computer (ICTAC 2005). Lecture Notes in Computer Science 3722, 2005. 70–95
Christensen E, Curbera F, Meredith G, et al. Web Services Description Language (WSDL) 1.1, W3C Note: www.w3.org/TR/wsdl, 2001
Gronmo R, Skogan D, Solheim I, et al. Model-driven web services development. Proc. of the 2004 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE’04), 2004
Szyperski C. Component software: Beyond object-oriented programming. Harlow: Addison-Wesley, 2002
Meyer B. Applying Design by Contract. Object-Oriented Systems and Applications, 1992, 25(10): 40–51
Manna Z, Pnueli A. The Temporal Logic of Reactive and Concurrent Systems: Specification. New York: Springer-Verlag, 1991
Henzinger A, Manna Z, Pnueli A. Temporal proof methodologies for real-time systems. In Proceedings of the 8th ACM Annual Symposium on Principles of Programming Languages. ACM Press. 1991. 269–276
Lamport L. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Pearson Education Inc, 2002
Liu Z, Joseph M. Specification and verification of fault-tolerance, timing and scheduling. ACM Transactions on Languages and Systems. New York: ACM Press, 1999. 21(1): 46–89
Liu Z, He J, Li X. Contract-oriented development of component software. In: Proc. 3rd IFIP International Conference on Theoretical Computer Science, Kluwer. 2004. 355–372
Liu Z, He J, Li X. rCOS: refinement of component and object systems. In: Proc. 3rd International Symposium on Formal Methods for Components and Objects, Lecture Notes in Computer Science 3657, Springer, 2005. 183–221
Back R J R, Petre L, Paltor I P. Formalizing UML use cases in the refinement calculus. Technical Report 279, Turku Centre for Computer Science, Turku, Finland, May 1999
Goepfert J, Whalen M. An evolutionary view of software as a service. IDC White Paper, 2002, http://www.idc.com
Benatallah B, Dijkman R, Dumas M, et al. Service composition: Concepts, techniques, tools, and trends. In Stojanovic Z, Dahanayake A, eds. Service-Oriented Software System Engineering. Idea Group, April 2005. ISBN 1-59140-426-6
Bieber G, Architect L, Carpenter J. A service-oriented component architecture for self-forming, self-healing. Network-Centric Systems (Rev 2.0), 2005, http://www.openwings.org/
Chessman J, Daniels J. UML Components: A Simple Process for Specifying Component-based Software. Boston: Addison-Wesley, 2001
W3C. Web services choreography interface (WSCI) version 1.0, 2002, http://www.w3.org/TR/2002/NOTE-wsci-20020808
W3C. Web services description language (WSDL): Part 1: Core language version 1.2, 2003, http://www.w3.org/TR/2003/WDwsdl20-20031110
UDDI. Universal description, discovery and integration (UDDI) version 3.0. Technical report, OASIS UDDI Specification TC, 2003. http://uddi.org/pubs/uddi_v3.htm
BPMI. Business process modeling language (BPML) version 1.0, Nov. 2002, http://www.bpmi.org/bpml-spec.esp
BEA Systems, Microsoft, IBM, and SAP. Business process execution language for web services (BPEL4WS) version 1.1, May 2003, http://www-106.ibm.com/developerworks/webservices/library/ws-bpel/
W3C. Simple object access protocol (SOAP) version 1.1. 2002, http://www.w3.org/TR/2000/NOTE-SOAP-20000508
Quartel D, Dijkman R, Sinderen M. Methodological support for service-oriented design with ISDL. In: Proc of the 2nd International Conference on Service Oriented Computing (ICSOC’04). New York: ACM Press, 2004. 1–10.
Heineman G T, Councill W T. Component-Based Software Engineering, Putting the Pieces Together. Addison-Wesley, 2001
Estublier J, Ionita A D. Extending UML for Model Composition, Proc. Of ASWEC05, IEEE Computer Society, 2005, 31–38
Stirewalt K., Dillon L K. Generation of visitor components that implement program transformations. SSR 2001: 86–94
Fiadeiro J L, Lopes A. Semantics of architectural connectors. In M. Bidoit and M. Dauchet, editors, Proc. TAPSOFT’97, LNCS 1214, Berlin: Springer-Verlag, 1997. 505–519
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Liu, J., He, J. & Liu, Z. A strategy for service realization in service-oriented design. SCI CHINA SER F 49, 864–884 (2006). https://doi.org/10.1007/s11432-006-2033-3
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/s11432-006-2033-3