Please use this identifier to cite or link to this item:
https://hdl.handle.net/2440/55406
Citations | ||
Scopus | Web of Science® | Altmetric |
---|---|---|
?
|
?
|
Type: | Journal article |
Title: | Pattern Based Property Specification and Verification for Service Composition |
Author: | Yu, Jian Phan, Tan Han, Jun Jin, Yan Han, Yan-Bo Wang, Jianwu |
Citation: | Lecture Notes in Computer Science, 2006; 4255:156-168 |
Publisher: | Springer-Verlag Berlin |
Issue Date: | 2006 |
ISBN: | 9783540481058 |
ISSN: | 0302-9743 |
School/Discipline: | School of Computer Science |
Statement of Responsibility: | Jian Yu, Tan Phan Manh, Jun Han, Yan Jin, Yanbo Han and Jianwu Wang |
Abstract: | Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements for the application. A rigorous compliance checking approach usually needs the requirements being specified in property specification formalisms such as temporal logics, which are difficult for ordinary software practitioners to comprehend. In this paper, we propose a property pattern based specification language, named PROPOLS, and use it to verify BPEL service composition schemas. PROPOLS is easy to understand and use, yet is formally based. It builds on Dwyer et al.’s property pattern system and extends it with the logical composition of patterns to accommodate the specification of complex requirements. PROPOLS is encoded in an ontology language, OWL, to facilitate the sharing and reuse of domain knowledge. A Finite State Automata based framework for verifying BPEL schemas against PROPOLS properties is also discussed. |
DOI: | 10.1007/11912873_18 |
Appears in Collections: | Computer Science publications |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.