Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions.
Martin Große-RhodeFrancesco Parisi-PresicceMarta SimeoniGabriele TaentzerPublished in: AGTIVE (1999)
Keyphrases
- distributed systems
- graph transformation
- fault tolerant
- geographically distributed
- message passing
- load balancing
- distributed environment
- fault tolerance
- distributed computing
- deadlock detection
- mobile agents
- modular robots
- loosely coupled
- concurrent systems
- distributed database systems
- natural language
- data replication
- real time systems
- agent technology
- agent based systems
- security policies
- mobile computing
- database
- operating system
- data management
- databases