A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments.

Matteo Baldoni Cristina Baroglio Alberto Martelli Viviana Patti

Published in: ICSOC (2006)

Keyphrases

open environments
multi agent systems
protocol specification
model checking
semantic web
multiagent systems
web services
metadata
information systems
multi agent
information sharing
formal verification
adaptation process
decision making
software engineering
low cost
open source
real time
temporal logic
formal methods