Dynamic evolution of distributed systems specifications using reflective language.
Issam A. HamidMohammed ErradiPublished in: APSEC (1994)
Keyphrases
- distributed systems
- concurrent systems
- fault tolerant
- specification language
- fault tolerance
- load balancing
- message passing
- geographically distributed
- operating system
- loosely coupled
- mobile agents
- operational semantics
- data replication
- distributed environment
- real time systems
- dynamic environments
- software architecture
- distributed database systems
- distributed computing
- deadlock detection
- formal specification
- conceptual models
- agent based systems
- web services
- formal descriptions
- software development environments