Software requirements: objects, functions, and states
Software requirements: objects, functions, and states
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Requirements Engineering: A Good Practice Guide
Requirements Engineering: A Good Practice Guide
Requirements Engineering: Processes and Techniques
Requirements Engineering: Processes and Techniques
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
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
Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Automated Derivation of Complex Agent Architectures from Analysis Specifications
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Compositional verification of knowledge-based task models and problem-solving methods
Knowledge and Information Systems
Integration of behavioural requirements specification within compositional knowledge engineering
Knowledge-Based Systems
Hi-index | 0.00 |
In agent-mediated applications, the configuration of the multi-agent system often changes due to the creation and the deletion of agents. The behaviour of such systems on the one hand depends on the structural dynamics of the system configuration, but on the other hand consists of the informational dynamics of the configuration. To specify and verify the properties of the system, including its configuration dynamics, a requirement language is needed that is capable to express those properties. In this paper, we discuss configuration dynamics properties of multi-agent systems and define a language by means of which those properties can be specified. A prototypical scenario for an agent-mediated system is discussed and some important requirements for this system are specified.