Towards Modeling Monitoring Services for Large-Scale Distributed Systems with Abstract State Machines.
Andreea BugaSorana Tania NemesPublished in: RADAR+EMISA@CAiSE (2017)
Keyphrases
- distributed systems
- loosely coupled
- load balancing
- network monitoring
- agent technology
- distributed environment
- distributed computing
- fault tolerant
- message passing
- distributed database systems
- fault tolerance
- geographically distributed
- concurrent systems
- real time
- web services
- data replication
- directory service
- operating system
- data intensive
- real time systems
- security policies
- mobile agents
- agent based systems
- monitoring system
- deadlock detection
- mobile computing
- service composition
- manufacturing systems
- service oriented
- mobile agent system