Formal specification and verification of reusable communication models for distributed systems architecture.
Quentin RoulandBrahim HamidJason JaskolkaPublished in: Future Gener. Comput. Syst. (2020)
Keyphrases
- distributed systems
- formal specification
- concurrent systems
- process algebra
- model checking
- software architecture
- fault tolerant
- fault tolerance
- software development environments
- distributed environment
- loosely coupled
- communication protocols
- distributed computing
- protocol specification
- formal methods
- real time systems
- case study
- load balancing
- specification language
- geographically distributed
- software components
- specification languages
- complex systems
- object oriented design
- data replication
- temporal logic
- database
- communication overhead
- communication protocol
- computer networks
- reverse engineering
- mobile agents
- communication cost
- deadlock detection
- communication networks
- artificial intelligence