Loading...
Please wait, while we are loading the content...
Similar Documents
Verification of variable service orchestrations using model checking
| Content Provider | ACM Digital Library |
|---|---|
| Author | Aktunc, Riza Yucefaydalı, Mustafa Suloglu, Selma |
| Abstract | Service orchestrations as architectural specifications specify collaborating services and the way they interoperate via information exchange. Some orchestration specifications, which describe the behavior of service-oriented systems, support variability in order to provide flexibility and to increase reusability of services. VxBPEL is one of these specifications, incorporating variability based on COVAMOF model by adaption of BPEL specification. In variable-intensive service systems such as VxBPEL orchestrations, verification is a costly and complex task due to having to check consistency of all possible orchestrations. To fulfill the need to formally verify variable orchestrations, a step by step transformation approach is proposed to apply model checking using Feature Transition Systems (FTS). This paper introduces transformation from VxBPEL to FTS model and produces required feature model of the variable orchestration and its fPromela specification. . |
| Starting Page | 5 |
| Ending Page | 8 |
| Page Count | 4 |
| File Format | |
| ISBN | 9781450321822 |
| DOI | 10.1145/2489300.2489337 |
| Language | English |
| Publisher | Association for Computing Machinery (ACM) |
| Publisher Date | 2013-07-15 |
| Publisher Place | New York |
| Access Restriction | Subscribed |
| Subject Keyword | Model checking Verification Featured transition system Service-oriented architecture Vxbpel variable orchestrations |
| Content Type | Text |
| Resource Type | Article |
