29 search results - page 1 / 6 » Specifying and verifying interaction protocols in a temporal... |
JAPLL
2007
13 years 4 months ago
2007
ENTCS
2006
13 years 4 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
BIRTHDAY
2006
Springer
13 years 8 months ago
2006
Springer
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
CLIMA
2008
13 years 6 months ago
2008
The paper deals with the problem of agents conformance with multiparty protocols. We introduce a notion of conformance of a set of k agents with a multiparty protocol with k roles,...
IEAAIE
2011
Springer
12 years 8 months ago
2011
Springer
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...