Mapping OWL-S Processes to Multi Agent Systems: A Verification Oriented Approach

Author

Lomuscio, Alessio ; Solanki, Monika

Author_Institution

Imperial Coll. London, London

fYear

2009

fDate

26-29 May 2009

Firstpage

488

Lastpage

493

Abstract

We investigate the mapping of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker tailored to the verification of multi agent systems. In our approach, services are viewed as agents, and service compositions as multi agent systems. We show how various composition constructs defined in OWL-S can be encoded into ISPL by using the proposed mapping rules. We use an extended version of the BravoAir process model from the OWL-S suite of examples to illustrate the technique.

Keywords

Web services; knowledge representation languages; multi-agent systems; ontologies (artificial intelligence); program verification; ISPL; OWL-S process mapping; Web service; interpreted systems programming language; multi agent system verification; symbolic model checker; system description language; Computer languages; Educational institutions; Logic programming; Process control; Program processors; Protocols; Semantic Web; Service oriented architecture; Web services; MCMAS; Model Checking; semantic web; verification; web services;

fLanguage

English

Publisher

ieee

Conference_Titel

Advanced Information Networking and Applications Workshops, 2009. WAINA '09. International Conference on

Conference_Location

Bradford

Print_ISBN

978-1-4244-3999-7

Electronic_ISBN

978-0-7695-3639-2

Type

conf

DOI

10.1109/WAINA.2009.52

Filename

5136695