Towards Verifying Contract Regulated Service Composition

Authors:
Alessio Lomuscio;Hongyang Qu;Monika Solanki
Affiliations:
-;-;-
Venue:
ICWS '08 Proceedings of the 2008 IEEE International Conference on Web Services
Year:
2008

Citing 0
Cited 9

A Data Symmetry Reduction Technique for Temporal-epistemic Logic

ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
Distributed BDD-based BMC for the verification of multi-agent systems

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Verifying mediated service interactions considering expected behaviours

Journal of Network and Computer Applications
Flexible behaviour regulation in agent based systems

CARE@AI'09/CARE@IAT'10 Proceedings of the CARE@AI 2009 and CARE@IAT 2010 international conference on Collaborative agents - research and development
Towards verifying contract regulated service composition

Autonomous Agents and Multi-Agent Systems
Contractually compliant service compositions

ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Applying electronic contracting to the aerospace aftercare domain

Engineering Applications of Artificial Intelligence
Symbolic model checking composite Web services using operational and control behaviors

Expert Systems with Applications: An International Journal
Does service composition suffice to define business contracts for IT services in networked organizations

Proceedings of the Fifth International Conference on Management of Emergent Digital EcoSystems

Quantified Score

Hi-index	0.00

Visualization

Abstract

caBIG™ (the cancer Biomedical Informatics Grid™) is an open-source, open-access information network enabling cancer researchers to share tools, data, applications, and technologies. caGrid is the underlying service-based grid software infrastructure ...