| Presentation | 2014-07-28 Formal verification for service composition of formaly verified services using different mechanisms Kaz FUNAKOSHI, Shigeru HOSONO, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | This presentation describes a case study to generate models on proof assistant Coq with input of multiple Web services' models which are verified in different methodologies. In recent days, formally verified services or business processes are highlighted. However, they are verified in different ways which prevent generating formally verified composite Web services rather than composite verified Web services. It is crucial that the verification of service composition of existing verified services in different approaches. In this case study, presenter reports a small example to verify a service composition of services verified in Event-B and SPIN/Promela. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Formal Method / Service Composition / SPIN / Event-B / Coq |
| Paper # | SC2014-6 |
| Date of Issue |
| Conference Information | |
| Committee | SC |
|---|---|
| Conference Date | 2014/7/21(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 | Services Computing (SC) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Formal verification for service composition of formaly verified services using different mechanisms |
| Sub Title (in English) | |
| Keyword(1) | Formal Method |
| Keyword(2) | Service Composition |
| Keyword(3) | SPIN |
| Keyword(4) | Event-B |
| Keyword(5) | Coq |
| 1st Author's Name | Kaz FUNAKOSHI |
| 1st Author's Affiliation | NEC Corporation() |
| 2nd Author's Name | Shigeru HOSONO |
| 2nd Author's Affiliation | NEC Corporation |
| Date | 2014-07-28 |
| Paper # | SC2014-6 |
| Volume (vol) | vol.114 |
| Number (no) | 157 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |