Presentation | 2002/10/4 Patterns in WSFL Descriptions and Validation Checker Shin NAKAJIMA, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Web service is an emerging software technology to use remote services in the Internet. Each Web service is an autonomous server ready to use. As the technology becomes pervasive, some "language" to describe Web service flows is needed to combine existing services flexibly. WSFL(Web Services Flow Language), one of the languages proposed for a standard, is a net-oriented flow language. This paper proposes to use the the SPIN model-checker for the verification of descriptions written in WSFL. Since WSFL is a net-oriented specification language, any WSFL descriptions, though syntactically correct, sometimes show faulty global behaviours. Such faulty descriptions can be detected by means of the proposed method. Further, the paper reports some anomaly in the definition of the WSFL operational semantics in regard to the handling of dataflows, which was identified during the experiments on using the model-checker. The paper presents a remedy to the anomaly as well as discussions on the role of the model-checking technology for use in the behavioural analysis of Web service flows. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Web Service / Workflow Schema / Deadlock Analysis / Model-Checking |
Paper # | KBSE2002-10 |
Date of Issue |
Conference Information | |
Committee | KBSE |
---|---|
Conference Date | 2002/10/4(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Knowledge-Based Software Engineering (KBSE) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Patterns in WSFL Descriptions and Validation Checker |
Sub Title (in English) | |
Keyword(1) | Web Service |
Keyword(2) | Workflow Schema |
Keyword(3) | Deadlock Analysis |
Keyword(4) | Model-Checking |
1st Author's Name | Shin NAKAJIMA |
1st Author's Affiliation | Hosei University:PRESTO, JST() |
Date | 2002/10/4 |
Paper # | KBSE2002-10 |
Volume (vol) | vol.102 |
Number (no) | 371 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |