Giving life to agent interactions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2975, Issue , 2004, Pages 98-116

  Filipe, Juliana Küster ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FLOWCHARTING; MODELING LANGUAGES;

AGENT INTERACTION PROTOCOLS; AGENT-BASED SYSTEMS; DISTRIBUTED TEMPORAL LOGIC; DYNAMIC ROLE ASSIGNMENT; MESSAGE SEQUENCE CHARTS; NONDETERMINISTIC CHOICE; OBJECT ORIENTED MODELLING; OBJECT-ORIENTED SYSTEM;

GRAPHIC METHODS;

EID: 35048820069     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (31)

1. R. Alur, T.A. Henzinger, and O. Kupferman. Alternating-time Temporal Logic. In Proceedings of the 38th Annual Symposium on Foundations of Computer Science, pages 100-109. IEEE Computer Society Press, 1997.
2. B. Bauer, J. Müller, and J. Odell. Agent UML: A formalism for specifying multiagent interaction. In P. Ciancarini and M. Wooldridge, editors, Agent-Oriented Software Engineering, volume 1957 of Lecture Notes in AI, pages 91-103. Springer, 2001.
3. B. Bauer, J. Müller, and J. Odell. Agent UML: A formalism for specifying multiagent software systems. International Journal of Software Engineering and Knowledge Engineering, 11(3):207-230, June 2001.
4. W. Damm and D. Harel. LSCs: Breathing life into message sequence charts. Formal Methods in System Design, 19(1):45-80, 2001.
5. R. Depke, R. Heckel, and J. Küster. Roles in agent-oriented modeling. International Journal of Software Engineering and Knowledge Engineering, 11(3):281-302, June 2001.
6. V. Dignum, J.-J. Meyer, F. Dignum, and H. Weigand. Formal specification of interaction in agent societies. In 2nd Goddard Workshop on Formal Approaches to Agent-Based Systems (FAABS), Maryland, Oct, (2002), 2002.
7. V. Dignum, J.-J. Meyer, H. Weigand, and F. Dignum. An organization-oriented model for agent societies. In Proceedings of International Workshop on Regulated Agent-Based Social Systems: Theories and Applications (RASTA'02), at AAMAS, Bologna, Italy, 16 July 2002, 2002.
8. H.-D. Ehrich and C. Caleiro. Specifying communication in distributed information systems. Acta Informatica, 36(Fasc. 8):591-616, 2000.
9. H.-D. Ehrich, C. Caleiro, A Sernadas, and G. Denker. Logics for Specifying Concurrent Information Systems. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, pages 167-198. Kluwer Academic Publishers, 1998.
10. J. Küster Filipe. Foundations of a Module Concept for Distributed Object Systems. PhD thesis, Technische Universität Braunschweig, Germany, September 2000.
11. J. Küster Filipe. Fundamentals of a module logic for distributed object systems. Journal of Functional and Logic Programming, 2000(3), March 2000.
12. J. Küster Filipe. A logic-based formalization for component specification. Journal of Object Technology, 1(3):231-248, 2002.
13. S. Flake, C. Geiger, and J. Küster. Towards UML-based analysis and design of multi-agent systems. In International Symposium on Information Science Innovations in Engineering of Natural and Artificial Intelligent Systems (ENAIS'2001), Dubai, March 2001, 2001.
14. FIPA (Foundation for Intelligent Physical Agents). FIPA English Auction Interaction Protocol Specification, available from www.fipa.org, August 2001.
15. FIPA (Foundation for Intelligent Physical Agents). FIPA Modelling: Interaction Diagrams, Working Draft. FIPA version 2003-07-02, available from www.fipa.org, July 2003.
16. D. Harel and H. Kugler. Synthesizing state-based object systems from LSC specifications. International Journal of Foundations of Computer Science, 13(1):5-51, 2002.
17. D. Harel and R. Marelly. Playing with Time: On the Specification and Execution of Time-Enriched LSCs. In 10th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS'02) October 11-16, 2002, Fort Worth, Texas, pages 193-202, 2002.
18. D. Harel and R. Marelly. Come, Let's Play: Scenario-based Programming Using LSCs and the Play-Engine. Springer, 2003.
19. D. Harel and R. Marelly. Specifying and executing behavioural requirements: the play-in/play-out approach. Software and System Modeling (SoSyM), 2:82-107, 2003.
20. M.-P. Huget. Extending Agent UML Sequence Diagrams. In F. Giunchiglia, J. Odell, and G. Weiß, editors, Agent-Oriented Software Engineering III: Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, volume 2585 of LNCS, pages 150-161. Springer, 2003.
21. J. Klose and H. Wittke. An automata-based interpretation of live sequence charts. In T. Margaria and W. Yi, editors, TACAS 2001, volume 2031 of LNCS. Springer, 2001.
22. R. Marelly, D. Harel, and H. Kugler. Multiple instances and symbolic variables in executable sequence charts. In Proc. 17th Ann. AM Conf. on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '2002), November, pages 83-100, 2002.
23. F. Moller and P. Stevens. Edinburgh Concurrency Workbench user manual (version 7.1). Available from http://www.dcs.ed.ac.uk/home/cwb/.
24. J. Odell. Objects and agents compared. Journal of Object Technology, 1(1):41-53, May-June 2002.
25. J. Odell, H. Van Dyke Parunak, and B. Bauer. Representing agent interaction protocols in UML. In P. Ciancarini and M. Wooldridge, editors, Agent-oriented Software Engineering, volume 1957 of Lecture Notes in AI, pages 121-140. Springer, 2001.
26. J. Odell, H. Van Dyke Parunak, S. Brueckner, and J. Sauter. Temporal aspects of dynamic role assignment. In Proceedings of the Fourth International Workshop on Agent-Oriented Software Engineering (AOSE-2003), 2003.
27. OMG. UML 2.0 OCL Specification, Version 1.6. OMG document ad/03-01-07, available from www.uml.org, August 2003.
28. OMG. UML 2.0 Superstructure Draft Adopted Specification. OMG document ptc/03-08-02, available from www.uml.org, August 2003.
29. OMG. Unified Modelling Language Specification, version 1.5. OMG document formal/03-03-01, available from www.uml.org, March 2003.
30. M. Wooldridge, N. R. Jennings, and D. Kinny. The Gaia methodology for agent-oriented analysis and design. Journal of Autonomous Agents and Multi-Agent Systems, 3(3):285-312, 2000.
31. Z.120 ITU-TS Recommendation Z.120. Message Sequence Chart (MSC). ITU-TS, Geneva, 1996.