Generating Executable MAS-Prototypes from SONAR Specifications.
Michael Köhler-BußmeierMatthias Wester-EbbinghausDaniel MoldtPublished in: MALLOW (2010)
Keyphrases
- formal specification
- multi agent systems
- attribute grammars
- control flow
- multi agent
- cooperative
- mobile robot
- complex systems
- generation process
- high resolution
- multiagent systems
- data mining
- agent architecture
- training set
- functional requirements
- high level
- case study
- target recognition
- delay insensitive
- web services