Three-Point Service-Oriented Design and Modeling Methodology for Web Services Composition

Abstract

In this chapter we present a three-point service-oriented conceptual design and modeling methodology for Web-service composition based on the object-oriented research results in model driven, existence dependency relation, object-oriented development (MERODE) method. Thus, on the concept level, we first clarify the research issue on the semantic consistency of Web-services composition, and on the logic level, we precisely define and demonstrate the semantic consistency of Webservices composition using some standard schemes of an order-handling system. Afterward, we establish a service model using formal techniques, and define the formal semantics of services interactions and formal historical semantic conformances within Web-services interactions and composition on the conceptual system level. These aspects of research results can effectively and significantly tackle one big inhibitor of Web-services adoption: the lack of semantic consistency in business processes within Web-services interactions and composition.