Specification of Reconfigurable MAS: A Hybrid Formal Approach.
Ioanna StamatopoulouPetros KefalasMarian GheorghePublished in: SETN (2006)
Keyphrases
- formal specification
- multi agent systems
- formal methods
- formal language
- cooperative
- multiagent systems
- formal languages
- specification languages
- low cost
- reactive systems
- operational semantics
- high level
- specification language
- requirements specification
- hybrid learning
- fine grain
- multi agent
- reconfigurable architecture
- model checking
- information systems
- knowledge representation languages