A high-level petri net-based formal model of distributed self-adaptive systems.
Matteo CamilliCarlo BellettiniLorenzo CapraPublished in: ECSA (Companion) (2018)
Keyphrases
- formal model
- distributed systems
- high level
- security patterns
- low level
- distributed environment
- management system
- complex systems
- computing environments
- distributed computation
- predicate calculus
- formal models
- retrieval systems
- computer systems
- multi agent
- computer networks
- data intensive
- formal methods
- heterogeneous environments
- mission critical
- knowledge based systems
- distributed network