• Journal of KIISE:Software and Applications
• /
• v.32 no.9
• /
• pp.888-900
• /
• 2005

Several researches have been proposed to formalize the knowledge preconditions problem - j.e., an action or a plan is epistemically feasible. However, since the feasibility is only checked at design-time and is assumed that it will also 1)e feasible at run-time, it is not suitable in the context of Semantic Web services composition, where many agents should share the limited resources required for the execution of Web services composition. Therefore, in this paper, we formalize a transactionally executable Web services composition which enables to guarantee its atomicity. Moreover, in order to formalize the transactional executability, we propose $TL-ALCFK_{NF}$ which extends TL-ALCF with the modal operators K and A. Based on $TL-ALCFK_{NF}$, we show how to carry out the epistemic reasoning with TL-ALCF as a language to represent Semantic Web services composition.

• Journal of KIISE:Software and Applications
• /
• v.36 no.1
• /
• pp.1-9
• /
• 2009

In heterogeneous and distributed computing environments, with an increasing number of Web services providing similar functionalities, the reliability of Web services is a critical decision factor. To fulfill the open business model such as cooperation among enterprises, several Web services can be composed into the upper level business transaction. In Web services composition, the reliability of services is more and more critical. Though each unit Web service can be reliable, the reliability of the composed service is not guaranteed. Thus a way to efficiently assess and select composed Web services is needed. In this paper, we define new metrics for measuring the trust value of Web services, and propose an evaluation method to predict the trustworthy degree of the composed services based on the metrics. We also define a conceptual framework to support optimal Web services selection based on the proposed trust evaluation method. By selecting using the quantitative measurement rather than intuitive selection of the service user, it allows the service users to select the high reliable service meeting their quality requirements well.

• The KIPS Transactions:PartD
• /
• v.19D no.4
• /
• pp.299-306
• /
• 2012

To fulfill the complex user requirement, composition web service comprised of existing services is considered from the efficient and reusable point of view instead of making entirely new web service. However, with the growing the number of web services which provide the same functionality but differ in quality value, the service composition becomes a decision problem on which component services should be selected such that end-to-end QoS constraints by the client and overall QoS of the composition service are satisfied. QoS of service aspects is a determinant factor for selecting the services, since the performance of the composed service is determined by the performance of the involved component web service. In this paper, hybrid genetic algorithm is presented to select component services to take part in the QoS-aware composition. The local search method is used to be combined with the genetic algorithm to improve the individuals (component service) in population as well as composed service. The paper also presents a set of experiments conducted to evaluate the efficiency of selection algorithm using the real web service data.

• The KIPS Transactions:PartB
• /
• v.14B no.3 s.113
• /
• pp.199-214
• /
• 2007

Recently, there have been a lot of works trying to realize automated composition of semantic web services though application of AI planning techniques. The traditional AI planning techniques, however, have some limitations: it is not easy to represent a web service process with complex control constructs as an action or a plan; it is hardly possible to consider enough the rich information contained in domain ontologies during the planning process; it is impossible to model directly the data flow from the outputs of a web service to the inputs of another web service; it is difficult to predict and deal with uncertainty and dynamics of the environment because the plan generation phase is supposed to be separated from the plan execution phase. In order to overcome some of these limitations, this paper suggests a reactive planning approach to automated composition of semantic web services. Through some experiments using several e-commerce web services, we found that the reactive planning is an effective way to realize automated composition of semantic web services.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.04a
• /
• pp.674-675
• /
• 2010

Since in web service composition, the same service may be offered by different providers with different Quality of Services (QoS) attributes, selection criteria are needed to select which Web Services will be considered for composition. Location of provider can be one of these criteria and intends to decrease the number of remote interactions between providers as well as reducing waiting time of service consumer. Therefore in this paper, we present technique for composing web services according to their location by semantically describing customer's goals and provider's web service capability by means of carefully designed ontology and logical expression.

• Journal of KIISE:Software and Applications
• /
• v.36 no.3
• /
• pp.187-199
• /
• 2009

With the advent of Web 2.0, OpenAPIs are becoming an increasing trend to emphasize Web as platform recently. OpenAPIs are used to combine services and generate new services by mashup. However because the standard documents for OpenAPIs do not exist, it may restrict the use of OpenAPIs. Previous studies of OpenAPIs mashup have been limited to tool design or language definition for service combination rather than dynamic composition. On the other hand, Web services that are a software technology implementing SOA provide standard documents such as WSDL to explain each service, UDDI to register it, and SOAP to transfer messages. Thus Web applications can interpret and execute services by using these technologies. Recent works have also been performed to provide semantic features and dynamic composition for SOA. If a dynamic and systematic approach is provided to combine Web services and OpenAPIs, Web applications can provide users with diverse services. In this study, we present a SOA based framework for mashup of OpenAPIs and Web services. The framework supports dynamic composition of OpenAPIs and Web services, where the process of composite services is described in OWL-S. A prototype is provided to validate our framework. The framework is expected to add diversity to typical Web services.

• Journal of Internet Computing and Services
• /
• v.6 no.2
• /
• pp.1-11
• /
• 2005

Web services are being recognized as the efficient way to integrate the distributed applications on the web based on the web standards such as SOAP, WSDL and UDDI. Recently, BPEL4WS is suggested as a standard integration model language for web services to integrate them efficiently. The recent studies of web service integration are focused on the comparability among the services, process identification and tracing, and automation, However, little or no effort has been dedicated to the reusability, extensibility on the business process integrated services and how to allocate the services dynamically, So, in this paper, we propose how to increase the reusability and extensibility of integrated structure when services are integrated using BPEL4WS, and how to allocate and use the services dynamically. Also, we propose the framework of the composition of web services for the efficient use of suggested integrated structure.

• Journal of the Korea Computer Industry Society
• /
• v.4 no.10
• /
• pp.655-672
• /
• 2003

Web services promise a new level of service on top of current web. However, in order to employ their full potential, appropriate descriptions means for web services need to be developed. Recent efforts to describe web service composition lack important features needed to enable a real automated and declarative combination of services. In this paper a set of requirements for effective Semantic Web Service composition are presented, aiming to clarify the state of the art in the area and at providing guidelines to define next steps to be accomplished. We will provide an analysis of BEPEL4WS, DAML-S and WSMF, the most important initiatives in this direction, based on these requirements, describing to what extent current efforts have developed the potential of Semantic Web Service composition.

• Journal of the Korea Society of Computer and Information
• /
• v.22 no.9
• /
• pp.91-97
• /
• 2017

IoT (Internet of Things) systems are based on heterogeneous hardware systems of different types of devices interconnected each other, ranging from miniaturized and low-power wireless sensor node to cloud servers. These IoT systems composed of heterogeneous hardware utilize data sets collected from a particular set of sensors or control designated actuators when needed using open APIs created through abstraction of devices' resources associated to service applications. However, previously existing IoT services have been usually developed based on vertical platforms, whose sharing and exchange of data is limited within each industry domain, for example, healthcare. Such problem is called 'data silo', and considered one of crucial issues to be solved for the success of establishing IoT ecosystems. Also, IoT services may need to dynamically organize their services according to the change of status of connected devices due to their mobility and dynamic network connectivity. We propose a way of dynamically composing IoT services under the concept of WoT (Web of Things) where heterogeneous devices across different industries are fully integrated into the Web. Our approach allows developers to create IoT services or mash them up in an efficient way using Web objects registered into multiple standardized horizontal IoT platforms where their resources are discoverable and accessible. A Web-based service composition tool is developed to evaluate the practical feasibility of our approach under real-world service development.

• The KIPS Transactions:PartD
• /
• v.15D no.4
• /
• pp.569-580
• /
• 2008

Web services are the current most promising technology for service oriented architecture(SOA) implementations. However, in spite of the large scale acceptance of web services, they have been relegated to internal integration projects, and the grand vision of virtual enterprises where partners can be integrated on demand is yet to be realized. The main reason is that the current standards of web services are not very suitable for the dynamic web service discovery and integration. In this paper, we present a novel SemanticBPEL solution that merges the benefit of WS-BPEL, with the advantage of OWL-S for building a semi-automatic web service composition system. In particular, this work proposes a multi-phase search method for solving dynamic discovery and integration problems of web services. The proposed method is compared with the existing keyword based retrieval method. These comparisons show that our approach outperforms the existing method.