Szczegóły publikacji
Opis bibliograficzny
A deduction-based system for formal verification of agent-ready Web services / Radosław KLIMEK // W: Advanced methods and technologies for agent and multi-agent systems : KES-AMSTA 2013 : [7th KES Conference on Agent and Multi-Agent Systems – Technologies and Applications : May 27–29, 2013, Hue, Vietnam] / eds. Dariusz Barbucha, [et al.]. — Amsterdam : IOS Press, cop. 2013. — (Frontiers in Artificial Intelligence and Applications ; ISSN 0922-6389 ; vol. 252). — ISBN: 978-1-61499-253-0; e-ISBN: 978-1-61499-254-7. — S. 203–212. — Bibliogr. s. 212, Abstr.
Autor
Słowa kluczowe
Dane bibliometryczne
| ID BaDAP | 78061 |
|---|---|
| Data dodania do BaDAP | 2013-12-17 |
| DOI | 10.3233/978-1-61499-254-7-203 |
| Rok publikacji | 2013 |
| Typ publikacji | materiały konferencyjne (aut.) |
| Otwarty dostęp |  |
| Konferencja | 7th KES Conference on Agent and Multi-Agent Systems – Technologies and Applications |
| Czasopismo/seria | Frontiers in Artificial Intelligence and Applications |
Abstract
The work concerns the formal verification of systems using logical inference and considers web service models expressed in BPEL. Agent technologies and web services may be consistent with some features and mutual goals like independence, interoperability, service and aims discovery, etc. A method for an automatic extraction of logical specifications, considered as a set of temporal logic formulas, for web services is proposed. The generation procedure is based on predefined BPEL-based patterns. The patterns are considered primitives, which enables the transformation to temporal logic formulas. The inference process is based on the semantic tableaux method. The proposed method of formal verification could be helpful in avoiding arbitrariness and laxity with agent-oriented web services.
