Specialization of Interaction Protocols in a Temporal Action Logic

Electronic Notes in Theoretical Computer Science

Volumn 157, Issue 4 SPEC. ISS., 2006, Pages 3-22

  Giordano, Laura ^a   Martelli, Alberto ^b   Schwind, Camilla ^c  

^a UNIVERSITY OF EASTERN PIEDMONT   (Italy)

^b UNIVERSITY OF TURIN   (Italy)

^c CNRS   (France)

Author keywords

multiagent systems; reasoning about actions and change; temporal reasoning

Indexed keywords

BEHAVIORAL RESEARCH; COMMUNICATION; FORMAL LOGIC; NETWORK PROTOCOLS; THEOREM PROVING;

AGENT COMMUNICATION; REASONING ABOUT ACTIONS AND CHANGE; TEMPORAL REASONING;

MULTI AGENT SYSTEMS;

EID: 33646671511     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.02.010     Document Type: Article

References (24)

1. M. Alberti, D. Daolio and P. Torroni. Specification and Verification of Agent Interaction Protocols in a Logic-based System. SAC'04, March 2004
2. Alonso G., Casati F., Kuno H., and Machiraju V. Web Services (2004), Springer
3. Clarke E.M., Grumberg O., and Peled D. Model Checking (2000), MIT Press
4. N. Fornara and M. Colombetti. Defining Interaction Protocols using a Commitment-based Agent Communication Language. Proc. AAMAS'03, Melbourne, pp. 520-527, 2003
5. L. Giordano and A. Martelli. On-the-fly Automata Construction for Dynamic Linear Time Temporal Logic. TIME 04, June 2004
6. Giordano L., Martelli A., and Schwind C. Reasoning About Actions in Dynamic Linear Time Temporal Logic. The Logic Journal of the IGPL 9 2 (March 2001) 289-303
7. L. Giordano, A. Martelli, and C. Schwind. Verifying Communicating Agents by Model Checking in a Temporal Action Logic. JELIA 2004, Lisbon, Portugal, September 27-30, 2004, pp. 57-69
8. Greaves M., Holmback H., and Bradshaw J. What Is a Conversation Policy?. Issues in Agent Communication. LNCS 1916 (2000), Springer 118-131
9. Groote J.F., and Vaandrager F.W. An efficient algorithm for branching bisimulation and stuttering equivalence. Proceedings of ICALP, Warwick. LNCS 443 (1990) 626-638
10. F. Guerin. Specifying Agent Communication Languages. PhD Thesis, Imperial College, London, April 2002
11. Guerin F., and Pitt J. Verification and Compliance Testing. Communications in Multiagent Systems. Springer LNAI 2650 (2003) 98-112
12. Henriksen J.G., and Thiagarajan P.S. Dynamic Linear Time Temporal Logic. Annals of Pure and Applied logic 96 1-3 (1999) 187-207
13. Johnson M.W., Mc Burney P., and Parsons S. When are two protocols the same?. Communication in Multiagent Systems. LNAI 2650 (2003), Springer 253-268
14. James E. Johnson, David E. Langworthy, Leslie Lamport and Friedrich H. Vogt, Formal Specification of a Web Services Protocol, proceedings of the First International Workshop on Web Services and Formal Methods (WS-FM 2004), Pisa, 2004
15. Lamport L. What Good Is Temporal Logic?. In: Mason R.E.A. (Ed). Information Processing 83 (1983), Elsevier Publishers 657-668
16. Lamport L. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers (2003), Addison-Wesley Professional
17. A.U. Mallya and M.P. Singh. A Semantic Approach for Designing E-Business Protocols. In Proceedings of the Third International Conference on Web Services (ICWS04), pp. 742-745, July 2004
18. Maudet N., and Chaib-draa B. Commitment-based and dialogue-game based protocols: new trends in agent communication languages. The Knowledge Engineering Review 17 2 (June 2002) 157-179
19. S. Narayanan and S. McIlraith. Simulation, Verification and Automated Composition of Web Services. In Proceedings of the Eleventh International World Wide Web Conference (WWW-11), May, 2002
20. Peled D., and Wilke T. Stutter-Invariant Temporal Properties are Expressible without the Next-time Operator. Inf. Process. Lett. 63 5 (1997) 243-246
21. Reiter R. The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In: Lifschitz V. (Ed). Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy (1991), Academic Press 359-380
22. Singh M.P. A social semantics for Agent Communication Languages. IJCAI-98 Workshop on Agent Communication Languages (2000), Springer, Berlin
23. P. Traverso and M.Pistore. Automated Composition of Semantic Web Services into Executable Processes. Proc. Third International Semantic Web Conference (ISWC2004), November 9-11, 2004, Hiroshima, Japan
24. P. Yolum and M.P. Singh. Flexible Protocol Specification and Execution: Applying Event Calculus Planning using Commitments. In AAMAS'02, pp. 527-534, Bologna, Italy, 2002