SADT: structured analysis and design technique
SADT: structured analysis and design technique
Finite transition systems: semantics of communicating systems
Finite transition systems: semantics of communicating systems
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
First-order logic and automated theorem proving (2nd ed.)
First-order logic and automated theorem proving (2nd ed.)
An automata-theoretic approach to linear temporal logic
Proceedings of the VIII Banff Higher order workshop conference on Logics for concurrency : structure versus automata: structure versus automata
Temporal semantics for concurrent METATEM
Journal of Symbolic Computation - Special issue: executable temporal logics
Model checking
Concurrency verification: introduction to compositional and noncompositional methods
Concurrency verification: introduction to compositional and noncompositional methods
Symbolic Model Checking
Requirements Engineering: Processes and Techniques
Requirements Engineering: Processes and Techniques
Proceedings of the First International Workshop on Multi-Agent Systems and Agent-Based Simulation
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
Developing multiagent systems: The Gaia methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specifying and analyzing early requirements in Tropos
Requirements Engineering
Temporal Development Methods for Agent-Based
Autonomous Agents and Multi-Agent Systems
Bounded model checking for knowledge and real time
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Formal analysis of hardware requirements
Proceedings of the 43rd annual Design Automation Conference
A framework for formal modeling and analysis of organizations
Applied Intelligence
OMNI: introducing social structure, norms and ontologies into agent organizations
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
BI'10 Proceedings of the 2010 international conference on Brain informatics
An agent-based approach for structured modeling, analysis and improvement of safety culture
Computational & Mathematical Organization Theory
| Hi-index | 0.00 |
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a set of dynamic properties at that level, expressed in some (temporal) language. Such behavioural specifications may be complex and difficult to analyse. To enable automated analysis of system specifications, a simpler format is required. To this end, a specification at a lower aggregation level can be created, describing basic steps in the processes of a system. This paper presents a method and tool to support the automated creation of such a specification, as a refinement of a given higher level specification. The generated specification has a simple format which can easily be used for analysis. This paper describes an approach for automated verification of logical consequences of specifications using model checking techniques.