29 search results - page 1 / 6 » Specifying and verifying interaction protocols in a temporal... |
JAPLL
2007
13 years 10 months ago
2007
ENTCS
2006
13 years 11 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
14 years 2 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
14 years 10 days 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
13 years 2 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 ...