The Z notation: a reference manual
The Z notation: a reference manual
Agent technology: foundations, applications, and markets
Agent technology: foundations, applications, and markets
Formal Specification of Evolutionary Software Agents
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
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
Consistency Check in Modelling Multi-Agent Systems
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Caste-Centric Agent-Oriented Programming
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Developing Multi-Agent Systems with Dynamic Binding Mechanism
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
An adaptive casteship mechanism for developing multi-agent systems
International Journal of Computer Applications in Technology
ForMAAD: A formal method for agent-based application design
Web Intelligence and Agent Systems
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
Agent-oriented requirements analysis from scenarios
KES-AMSTA'11 Proceedings of the 5th KES international conference on Agent and multi-agent systems: technologies and applications
Towards a formal methodology for designing multi-agent applications
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
| Hi-index | 0.02 |
This paper reports a formal specification language SLABS for developing multi-agent systems. One of the most appealing features of agent technology is its natural way to modularise complex systems in terms of multiple interacting autonomous components. This feature is supported by the language facility castes in the formal specification language SLABS for modular and composable specification of multi-agent systems.