K-based definition of Real Time Distributed Systems: from a meta-model to maude modules.
Sahar SmaaliAicha ChoutriFaiza BelalaPublished in: CFIP/NOTERE (2015)
Keyphrases
- distributed systems
- metamodel
- real time
- real time systems
- fault tolerant
- distributed environment
- fault tolerance
- life cycle
- load balancing
- geographically distributed
- modeling language
- distributed database systems
- software systems
- reference model
- mobile agents
- development process
- concurrent systems
- black box
- software architecture
- modular robots
- design patterns
- distributed computing
- transformation rules
- operating system
- loosely coupled
- uml profile
- data model
- deadlock detection
- data replication
- agent based systems
- software development environments
- security policies
- complex systems
- design process
- real world