A formal model of agent-oriented virtual organisations and their formation.
Jarred McGinnisKostas StathisFrancesca ToniPublished in: Multiagent Grid Syst. (2011)
Keyphrases
- formal model
- agent oriented
- virtual organisations
- multi agent
- agent technology
- multi agent systems
- agent systems
- development process
- web services
- agent oriented software engineering
- virtual organization
- software development
- formal models
- predicate calculus
- security properties
- machine learning
- software engineering
- security patterns