Formal Specification of Holonic Multi-Agent Systems: Application to Distributed Maintenance Company.
Belhassen MazighVincent HilaireAbderrafiaa KoukamPublished in: PAAMS (2011)
Keyphrases
- multi agent systems
- formal specification
- multi agent
- cooperative
- data abstraction
- holonic manufacturing systems
- distributed systems
- expert systems
- specification languages
- model checking
- object oriented design
- specification language
- manufacturing systems
- protocol specification
- formal methods
- databases
- autonomous agents
- agent technology
- computing environments
- distributed problem solving
- concurrent systems
- intelligent agents
- supply chain
- database systems