M.P. Singh  Home/Search
Context Related
| science.unitn.it/~...ynthesizing.pdf.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: science.unitn.it/~pgiorgio/aos... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . As agents move into ever more important applications, there is a natural growth in interest in techniques for synthesizing multiagent systems. We describe an approach for engineering the coordination requirements of a multiagent system based on an analysis of conversation instances extracted from usage scenarios. This approach exploits the notion of Dooley graphs that were recently introduced to the multiagent systems community from the linguistics and discourse analysis literature. We show... (Update)
Context of citations to this paper: More
.... relationships are useful not only to represent domains consisting on multiple agents, but to reason, schedule and coordinate MAS [10,33]. Coordination relationships are crucial to the design and analysis of coordination mechanisms [11] A common classification of coordination...
...relationships which we call contract constraints. Contract constraints show the occurrence order among actions in a business process ([34] and [33] The formal specification of contract constraints is described as following, Constraint 5 Using Temporal Logic (in Appendix...
Cited by: More
Mapping Dooley Graphs and Commitment Causality to the -Calculus - Feng Wan Department (2004) (Correct)
Distributed Enactment of Multiagent Workflows: Temporal Logic for.. - Singh (2003) (Correct)
A Concept for Monitoring of Electronic Contracts - Xu, Jeusfeld (2003) (Correct)
Similar documents (at the sentence level):
19.0%: Developing Formal Specifications to Coordinate Heterogeneous.. - Singh (1998) (Correct)
Active bibliography (related documents): More All
2.1: Synthesizing Coordination Requirements for Heterogeneous.. - Singh (2000) (Correct)
0.3: An Infrastructure for Agent-Based Systems: an.. - Martin, Plaza.. (1999) (Correct)
0.3: Introduction to POS: A Protocol Operational Semantics - Koning, al. (2000) (Correct)
Similar documents based on text: More All
0.2: Visualizing Agent Conversations: Using Enhanced Dooley Graphs for .. - Parunak (1996) (Correct)
0.1: A Krugman-Dooley-Sachs Third Generation Model of the Asian.. - Irwin, Vines (1999) (Correct)
0.1: Re-WEB: Re-Usable Templates for Web View Generation.. - Claypool, Chen.. (Correct)
Related documents from co-citation: More All
2: Unraveling the Web Services Web (context) - Curbera - 2002
BibTeX entry: (Update)
Munindar P. Singh. Synthesizing coordination requirements for heterogeneous autonomous agents. Autonomous Agents and Multi-Agent Systems, 3(2):107--132, June 2000. http://citeseer.ist.psu.edu/singh00synthesizing.html More
@article{ singh00synthesizing,
author = "Munindar P. Singh",
title = "Synthesizing Coordination Requirements for Heterogeneous Autonomous Agents",
journal = "Autonomous Agents and Multi-Agent Systems",
volume = "3",
number = "2",
pages = "107-132",
year = "2000",
url = "citeseer.ist.psu.edu/singh00synthesizing.html" }
Citations (may not include all citations):917 and the ordering of events in a distributed system (context) - Lamport, clocks - 1978
579 Software Architecture: Perspectives on an Emerging Disciplin.. (context) - Shaw, Garlan - 1996
327 How to Do Things with Words (context) - Austin - 1962
267 Software Engineering: A Practitioner's Approach (context) - Pressman - 1997
183 Executable object modeling with statecharts - Harel, Gery - 1997
133 Designing a family of coordination algorithms - Decker, Lesser
119 Using branching time temporal logic to synthesize synchroniz.. (context) - Emerson, Clarke - 1982
118 ACM Transactions on Software Engineering and Methodology (context) - Harel, Naamad et al. - 1996
93 COOL: A language for describing coordination in multi agent .. - Barbuceanu, Fox - 1995
54 Agent communication languages: Rethinking the principles (context) - Singh - 1998
40 Designing conversation policies using joint intention theory - Smith, Cohen et al. - 1998
38 Desire: Modelling multiagent systems in a compositional form.. - Brazier, Dunin-Keplicz et al. - 1997
36 An ontology for commitments in multiagent systems: Toward a .. - Singh - 1999
36 Detecting causal relationships in distributed computations: .. (context) - Schwarz, Mattern - 1994
32 Multiagent Systems: A Modern Approach to Distributed Artific.. (context) - Wei - 1999
27 Commitments among autonomous agents in information-rich envi.. - Singh - 1997
27 A customizable coordination service for autonomous agents - Singh - 1998
26 Foundation for intelligent physical agents (context) - intelligent, FIPA et al. - 1998
24 Visualizing agent conversations: Using enhanced Dooley graph.. - Parunak - 1996
24 UML Distilled: Applying the Standard Object Modeling Languag.. (context) - Fowler - 1997
22 Huhns and Munindar P (context) - Michael - 1998
21 Communication and Cooperation in Agent Systems: A Pragmatic .. (context) - Haddadi - 1996
20 Formal methods in DAI: Logic-based representation and reason.. (context) - Singh, Rao et al. - 1999
19 Applying an agent-oriented methodology to the design of arti.. (context) - Drogoul, Collinot - 1998
18 Distributed problem solving and planning - Durfee - 1999
14 Agents for process coherence in virtual enterprises - Jain, IV et al. - 1999
14 Software engineering with agents: Pitfalls and pratfalls (context) - Wooldridge, Jennings - 1999
12 Agents and multiagent systems: Themes (context) - Huhns, Singh - 1998
9 The intentions of teams: Team structure (context) - Singh - 1998
8 Interaction protocols in Agentis - d'Inverno, Kinny et al. - 1998
6 Repartee as a graph (context) - Dooley - 1976
6 An Anatomy of Speech Notions (context) - Longacre - 1976
6 Verifying compliance with commitment protocols: Enabling ope.. - Venkatraman, Singh - 1999
6 The industrial virtual enterprise (context) - Hardwick, Bolton - 1997
5 Formalization and pre-validation for interaction protocols i.. (context) - Koning, Francois et al. - 1998
4 Use Cases Combined with Booch (context) - Texel, Williams - 1997
Documents on the same site (http://www.science.unitn.it/~pgiorgio/aose/): More
Role Models for Agent System Analysis, Design, and Implementation - Kendall (Correct)
Goal-directed Requirements Acquisition - Dardenne, van Lamsweerde, Fickas (1993) (Correct)
Sufficient Correctness and Homeostasis in Open Resource.. - Shaw (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC