Matches in ScholarlyData for { ?s ?p ?o. }
- item-5 hasContent kunsoo-park.
- item-5 previous item-4.
- 141 type InProceedings.
- 141 label "Automatic Web Service Composition with Abstraction and Refinement".
- 141 sameAs 141.
- 141 abstract "The behavioral description based Web Service Composition (WSC) problem aims at the automatic construction of a coordinator web service that controls a set of web services to reach a goal state. However, solving the WSC problem exactly with a realistic model is doubly-exponential in the number of variables in web service descriptions. In this paper, we propose a novel efficient approximation-based algorithm using automatic abstraction and refinement to dramatically reduce the number of variables needed to solve the problem.".
- 141 hasAuthorList authorList.
- 141 isPartOf proceedings.
- 141 keyword "Poster Session".
- 141 title "Automatic Web Service Composition with Abstraction and Refinement".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasLastItem item-3.
- item-1 type ListItem.
- item-1 hasContent hyunyoung-kil.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent wonhong-nam.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent dongwon-lee.
- item-3 previous item-2.
- 142 type InProceedings.
- 142 label "Where to Adapt Dynamic Service Compositions".
- 142 sameAs 142.
- 142 abstract "Peer services depend on one another to accomplish their tasks, and their structures may evolve. A service composition may be designed to replace its member services whenever the quality of the composite service fails to meet certain quality-of-service (QoS) requirements. Finding services and service invocation endpoints having the greatest impact on the quality are important to guide subsequent service adaptations. This paper proposes a technique that samples the QoS of composite services and continually analyzes them to identify artifacts for service adaptation. The preliminary results show that our technique has the potential to effectively find such artifacts in services.".
- 142 hasAuthorList authorList.
- 142 isPartOf proceedings.
- 142 keyword "Poster Session".
- 142 title "Where to Adapt Dynamic Service Compositions".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasItem item-4.
- authorList hasLastItem item-4.
- item-1 type ListItem.
- item-1 hasContent bo-jiang.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent w-k-chan.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent zhenyu-zhang.
- item-3 next item-4.
- item-3 previous item-2.
- item-4 type ListItem.
- item-4 hasContent t-h-tse.
- item-4 previous item-3.
- 143 type InProceedings.
- 143 label "SGPS: A Semantic Scheme for Web Service Similarity".
- 143 sameAs 143.
- 143 abstract "Today's Web becomes a platform for services to be dynamically interconnected to produce a desired outcome. It is important to formalize the semantics of the contextual elements of web services. In this paper, we propose a novel technique called Semantic Genome Propagation Scheme (SGPS) for measuring similarity between semantic concepts. We show how SGPS is used to compute a multi-dimensional similarity between two services. We evaluate the SGPS similarity measurement in terms of the similarity performance and scalability.".
- 143 hasAuthorList authorList.
- 143 isPartOf proceedings.
- 143 keyword "Poster Session".
- 143 title "SGPS: A Semantic Scheme for Web Service Similarity".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasLastItem item-3.
- item-1 type ListItem.
- item-1 hasContent sourish-dasgupta.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent satish-bhat.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent yugyung-lee.
- item-3 previous item-2.
- 144 type InProceedings.
- 144 label "Automated Synthesis of Composite Services with Correctness Guarantee".
- 144 sameAs 144.
- 144 abstract "In this paper, we propose a novel approach for composing existing web services to satisfy the correctness constraints to the design, including freeness of deadlock and unspecified reception, and temporal constraints in Computation Tree Logic formula. An automated synthesis algorithm based on learning algorithm is introduced, which guarantees that the composite service is the most general way of coordinating services so that the correctness is ensured. We have implemented a prototype system evaluating the effectiveness and efficiency of our synthesis approach through an experimental study. In this paper we propose a novel approach to synthesize the composite service from a given set of services, where the designer only needs to set the correctness constraints on the desired behaviors of the targeted service and the synthesis will be automatically performed with the correctness guaranteed. We implemented a prototype system and the preliminary experimental results on a practical travel agent example show that our synthesis approach is effective and efficient.".
- 144 hasAuthorList authorList.
- 144 isPartOf proceedings.
- 144 keyword "Poster Session".
- 144 title "Automated Synthesis of Composite Services with Correctness Guarantee".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasItem item-4.
- authorList hasItem item-5.
- authorList hasLastItem item-5.
- item-1 type ListItem.
- item-1 hasContent ting-deng.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent jinpeng-huai.