Formal specification of holonic multi-agent systems framework

DOI10.1007/11428862_98MaRDI QIDQ5709755zbMATH OpenOpenAlexFDO

Authors Sebastian Rodriguez, Vincent Hilaire, Abder Koukam, Sebastián E. Rodríguez

Publication date 30 November 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b136575

zbMATH Keywords

Holonic Multi-Agent Systems, self-organised system, formal specification, model checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence (68T99)

Recommendations

• Mechanizing Mathematical Reasoning
• A formal specification of M-agent architecture
• Towards formal specification and verification in cyberspace
• Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework
• Formal specification of evolutionary software agents

Cited in

(18)

• Modelling resilient collaborative multi-agent systems
• Agent coordination contexts for the formal specification and enactment of coordination and security policies
• Modeling complex systems by multi-agent holarchies
• Mobile agent system framework suitable for scalable networks
• Multiple mobile agent system framework suitable for pervasive computing
• Formal Specification of Multi-agent Systems by Using EUSMs
• scientific article; zbMATH DE number 5310813 (Why is no real title available?)
• Executable specification of open multi-agent systems
• Specification and Verification of Multi-agent Systems
• Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework
• Formal specification of evolutionary software agents
• Specification of heterogeneous agent architectures
• Automated derivation of complex agent architectures from analysis specifications
• Specialised agent applications
• A formal specification of M-agent architecture
• Formal specification of substitutability property for fault-tolerance in reactive autonomic systems
• Mechanizing Mathematical Reasoning
• A logical framework for reasoning about local and global properties of collective systems

This page was built for publication: Formal specification of holonic multi-agent systems framework

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5709755)