Executable formal specifications of complex distributed systems with CoreASM.
Roozbeh FarahbodVincenzo GervasiUwe GlässerPublished in: Sci. Comput. Program. (2014)
Keyphrases
- distributed systems
- formal specification
- concurrent systems
- process algebra
- fault tolerant
- distributed environment
- model checking
- specification languages
- geographically distributed
- load balancing
- fault tolerance
- formal methods
- distributed computing
- object oriented design
- high level
- mobile agents
- real time systems
- information systems
- deadlock detection
- data replication
- loosely coupled
- distributed databases
- complex systems
- reverse engineering
- software components
- database technology
- agent based systems
- database applications
- multi agent
- database systems
- web services
- databases