Simulation and Verification of Software Architecture for Loosely-Coupled Distributed System.
Jun ShenXuan ShenWen GaoYong ZhangPublished in: CSA/CUTE (2017)
Keyphrases
- distributed systems
- software architecture
- loosely coupled
- concurrent systems
- tightly coupled
- description language
- fault tolerant
- distributed environment
- load balancing
- fault tolerance
- highly distributed
- distributed computing
- embedded software
- functional requirements
- web service technology
- data replication
- virtual enterprise
- distributed database systems
- design patterns
- model checking
- petri net
- relational databases
- semantic web technologies
- machine learning
- quality attributes
- mobile agents
- business processes
- database systems