Article

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

Authors:

WAINA '09: Proceedings of the 2009 International Conference on Advanced Information Networking and Applications Workshops

Pages 488 - 493

https://doi.org/10.1109/WAINA.2009.52

Published: 26 May 2009 Publication History

Publisher Site

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.

Cited By

View all

Boumaza AMaamri R(2018)Mapping OWL-S Process Model to Timed AutomataJournal of Information Technology Research10.4018/JITR.201801010311:1(29-48)Online publication date: 1-Jan-2018
https://dl.acm.org/doi/10.4018/JITR.2018010103
Bakar NSelamat A(2018)Agent systems verificationApplied Intelligence10.1007/s10489-017-1112-z48:5(1251-1274)Online publication date: 1-May-2018
https://dl.acm.org/doi/10.1007/s10489-017-1112-z
Zervoudakis FRosenblum DElbaum SFinkelstein AMeyer BBaresi LMezini M(2013)Cascading verification: an integrated method for domain-specific model checkingProceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering10.1145/2491411.2491454(400-410)Online publication date: 18-Aug-2013
https://dl.acm.org/doi/10.1145/2491411.2491454

Recommendations

Mapping OWL-S Process Model to Timed Automata: A Model-Checking Timed Temporal Logic Oriented Approach

The conversion of web services to semantic web comes the opportunity to automate various tasks. OWL-S plays a key role in describing web services behaviour. While ontology-based semantics given to OWL-S is structural rather than behaviourally oriented, ...
Model checking multi-agent systems with MABLE
AAMAS '02: Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2

MABLE is a language for the design and automatic verification of multi-agent systems. MABLE is essentially a conventional imperative programming language, enriched by constructs from the agent-oriented programming paradigm. A MABLE system contains a ...
Bringing Semantics to Web Services with OWL-S

Current industry standards for describing Web Services focus on ensuring interoperability across diverse platforms, but do not provide a good foundation for automating the use of Web Services. Representational techniques being developed for the Semantic ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

WAINA '09: Proceedings of the 2009 International Conference on Advanced Information Networking and Applications Workshops

May 2009

1193 pages

ISBN:9780769536392

Publisher

IEEE Computer Society

United States

Publication History

Published: 26 May 2009

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 30 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Boumaza AMaamri R(2018)Mapping OWL-S Process Model to Timed AutomataJournal of Information Technology Research10.4018/JITR.201801010311:1(29-48)Online publication date: 1-Jan-2018
https://dl.acm.org/doi/10.4018/JITR.2018010103
Bakar NSelamat A(2018)Agent systems verificationApplied Intelligence10.1007/s10489-017-1112-z48:5(1251-1274)Online publication date: 1-May-2018
https://dl.acm.org/doi/10.1007/s10489-017-1112-z
Zervoudakis FRosenblum DElbaum SFinkelstein AMeyer BBaresi LMezini M(2013)Cascading verification: an integrated method for domain-specific model checkingProceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering10.1145/2491411.2491454(400-410)Online publication date: 18-Aug-2013
https://dl.acm.org/doi/10.1145/2491411.2491454

Abstract

Cited By

Recommendations

Mapping OWL-S Process Model to Timed Automata: A Model-Checking Timed Temporal Logic Oriented Approach

Model checking multi-agent systems with MABLE

Bringing Semantics to Web Services with OWL-S

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations