Object-oriented software engineering
Object-oriented software engineering
The Z notation: a reference manual
The Z notation: a reference manual
Artificial Intelligence
Agents that reduce work and information overload
Communications of the ACM
Agent technology: foundations, applications, and markets
Agent technology: foundations, applications, and markets
Readings in agents
Selected papers from the ESPRIT Project ModelAge Final Workshop on Formal Models of Agents
Selected papers from the ESPRIT Project ModelAge Final Workshop on Formal Models of Agents
A Scenario-Based Design Method and an Environment for the Development of Multiagent Systems
Proceedings of the First Australian Workshop on DAI: Distributed Artificial Intelligence: Architecture and Modelling
Conception, Behavioral Semantics and Formal Specification of Multi-Agent Systems
Selected Papers from the 4th Australian Workshop on Distributed Artificial Intelligence, Multi-Agent Systems: Theories, Languages, and Applications
Analysis and Design of Multiagent Systems Using MAS-Common KADS
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
The Role of Castes in Formal Specification of MAS
PRIMA 2001 Proceedings of the 4th Pacific Rim International Workshop on Multi-Agents, Intelligent Agents: Specification, Modeling, and Applications
On the convergence of autonomous agent communities
Multiagent and Grid Systems
KES-AMSTA'11 Proceedings of the 5th KES international conference on Agent and multi-agent systems: technologies and applications
CAMLE: a caste-centric agent-oriented modelling language and environment
Software Engineering for Multi-Agent Systems III
Hi-index | 0.00 |
Scenarios are typical situations that may occur in the operation of a software system. Scenario analysis plays an important role in software requirements analysis and design. This paper introduces a formal notation for the specification of scenarios in agent-based systems. The autonomous and collaborative behavior of an agent can be formally specified by a set of rules describing its activity in various scenarios. The power of the approach is illustrated by the formal specification of Maes' personal assistant agent Maxims. The paper also shows that agents' social behavior, such as speech act, can also be formally specified as scenario-reaction rules.