About cookies on this site Our websites require some cookies to function properly (required). In addition, other cookies may be used with your consent to analyze site usage, improve the user experience and for advertising. For more information, please review your options. By visiting our website, you agree to our processing of information as described in IBM’sprivacy statement. To provide a smooth navigation, your cookie preferences will be shared across the IBM web domains listed here.
Publication
Ruan Jian Xue Bao/Journal of Software
Paper
Generalized decision logic based and end-user oriented service composition formal model
Abstract
There's seldom work carried on dealing with the contradiction between the vague and uncertain requirements of end-user and the precise and deterministic process in service composition. A multi-grain formal model for service composition is proposed in this paper. This model considers the requirement of customers in service composition from the end-user view and a formal specification on mapping the Web service description to the generalized decision logic language (GDL) is presented to construct multi-grain service composition views. GDL is a formal logic language proposed in granular computing research community as an expecting specification for definition of granular models. It can be used to define a multi-grain model for service composition and make users and service composition agent work in different information granule level separately. The proposed model is expected to provide a more understandable view for an end-user than traditional service composition model and conforms to the human cognition mode. © by Institute of Software, the Chinese Academy of Sciences. All rights reserved.