Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Exception handling in agent systems
Proceedings of the third annual conference on Autonomous Agents
Organizational abstractions for the analysis and design of multi-agent system
First international workshop, AOSE 2000 on Agent-oriented software engineering
Requirements Engineering: Processes and Techniques
Requirements Engineering: Processes and Techniques
A knowledge-based approach for handling exceptions in business processes
Information Technology and Management
Verifying Compliance with Commitment Protocols
Autonomous Agents and Multi-Agent Systems
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Agent Societies: Towards Frameworks-Based Design
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Representing Social Structures in UML
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Agent Oriented Analysis Using Message/UML
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Specification of Bahavioural Requirements within Compositional Multi-agent System Design
MAAMAW '99 Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System Engineering
A Meta-Model for the Analysis and Design of Organizations in Multi-Agent Systems
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
An Experimental Evaluation of Domain-Independent Fault Handling Services in Open Multi-Agent Systems
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Organization Models and Behavioral Requirements Specification for Multi-Agent Systems
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Robust agent teams via socially-attentive monitoring
Journal of Artificial Intelligence Research
Temporal Languages for Simulation and Analysis of the Dynamics within an Organisation
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
A Requirement Specification Language for Configuration Dynamics of Multi-agent Systems
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Agent-oriented modeling of the dynamics of biological organisms
Applied Intelligence
Specification, analysis and simulation of the dynamics within an organisation
Applied Intelligence
Relating structure and dynamics in organisation models
MABS'02 Proceedings of the 3rd international conference on Multi-agent-based simulation II
Transactions on computational collective intelligence I
Hi-index | 0.00 |
The main question addressed in this paper is how requirements on the dynamics within an organization model can be specified and how the dynamics within such an organization can be formally analysed. A specification language is proposed, and a number of different types of requirements for dynamics at different levels in the organization are identified. Based on a logical analysis and a software environment to check requirements against traces of the dynamics, a diagnostic method is proposed to analyse the malfunctioning of an organization, and pinpoint causes of malfunctioning.