Engineering Commitment-Based Multiagent Systems: A Temporal Logic Approach

Proceedings of the International Conference on Autonomous Agents

Volumn 2, Issue , 2003, Pages 891-898

  Xing, Jie ^a   Singh, Munindar P ^b  

^a IBM   (United States)

^b NORTH CAROLINA STATE UNIVERSITY   (United States)

Author keywords

Behavior models, statecharts; Commitments; Operational semantics

Indexed keywords

BEHAVIOR MODELS; COMMITMENTS; OPERATIONAL SEMANTICS; STATECHARTS;

ARTIFICIAL INTELLIGENCE; AUTONOMOUS AGENTS; COMMUNICATION CHANNELS (INFORMATION THEORY); CUSTOMER SATISFACTION; ELECTRONIC COMMERCE; INTERACTIVE COMPUTER SYSTEMS; NETWORK PROTOCOLS; PROBLEM SOLVING; SEMANTICS; SOFTWARE ENGINEERING;

MULTI AGENT SYSTEMS;

EID: 1142292521     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. F. Dignum & B. van Linder. Modelling social agents: Communication as action. In Intelligent Agents III: Agent Theories, Architectures, and Languages, pages 205-218. Springer-Verlag, 1997.
2. E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, ed., Handbook of Theoretical Computer Science, vol. B, pages 995-1072. North-Holland, 1990.
3. D. Harel & E. Gery. Executable object modeling with statecharts. IEEE Computer, 30(7):31-42, July 1997.
4. M. Klein & C. Dellarocas. Exception handling in agent systems. In Proceedings of the 3rd International Conference on Autonomous Agents, pages 62-68, Seattle, 1999.
5. J. Mylopoulos, M. Kolp, & J. Castro. UML for agent-oriented software development: The Tropos proposal. In UML 2001: 4th International Conference on the Unified Modeling Language, pages 422-441, 2001.
6. J. Odell, H. V. D. Parunak, & B. Bauer. Representing agent interaction protocols in UML. In Proceedings of the 1st International Workshop on Agent-Oriented Software Engineering (AOSE), 2001.
7. M. P. Singh. An ontology for commitments in multiagent systems: Toward a unification of normative concepts. Artificial Intelligence and Law, 7:97-113, 1999.
8. A. C. Uselton & S. A. Smolka. A compositional semantics for statecharts using labeled transition systems. In International Conference on Concurrency Theory, pages 2-17, 1994.
9. M. Wooldridge & P. Ciancarini. Agent-oriented software engineering. In S.-K. Chang, ed., Handbook of Software Engineering and Knowledge Engineering, World Scientific, 2001.
10. M. Wooldridge, N. R. Jennings, & D. Kinny. The Gaia methodology for agent-oriented analysis and design. Autonomous Agents & Multi-Agent Syst., 3(3):285-312, 2000.
11. J. Xing, F. Wan, S. K. Rustogi, & M. P. Singh. A commitment-based approach for business process interoperation. IEICE Transactions on Information and Systems, E84-D(10):1324-1332, Oct. 2001.