Formal Specification of Multi-Agent System Architecture.
Ahmed T. DibZaïdi SahnounPublished in: ICAASE (2014)
Keyphrases
- formal specification
- multi agent systems
- design methodology
- model checking
- object oriented design
- specification languages
- specification language
- code generation
- formal methods
- process algebra
- reverse engineering
- cooperative
- data abstraction
- multi agent
- intelligent agents
- software components
- software architecture
- agent technology
- business rules
- information systems
- communication protocols
- coordination mechanisms
- grid workflow
- agent architecture
- temporal logic
- production system
- multiagent systems
- data model
- expert systems