Title :
Mapping OWL-S Processes to Multi Agent Systems: A Verification Oriented Approach
Author :
Lomuscio, Alessio ; Solanki, Monika
Author_Institution :
Imperial Coll. London, London
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;
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
DOI :
10.1109/WAINA.2009.52
