A Formal Specification of M-Agent Architecture.
Krzysztof CetnarowiczPablo GruerVincent HilaireAbder KoukamPublished in: CEEMAS (2001)
Keyphrases
- agent architecture
- formal specification
- specification languages
- intelligent agents
- model checking
- specification language
- object oriented design
- process algebra
- software agents
- multi agent systems
- formal methods
- bdi agents
- bdi architecture
- reverse engineering
- learning algorithm
- concurrent systems
- software components
- layered architecture
- belief desire intention
- artificial intelligence
- petri net
- cooperative
- database
- temporal logic
- open source
- software engineering
- virtual enterprise
- social media
- data model
- decision making
- information systems