TURTLE-P: a UML profile for the formal validation of critical and distributed systems.
Ludovic ApvrillePierre de Saqui-SannesFerhat KhendekPublished in: Softw. Syst. Model. (2006)
Keyphrases
- distributed systems
- uml profile
- metamodel
- fault tolerant
- fault tolerance
- distributed environment
- load balancing
- real time systems
- modeling language
- distributed computing
- software architecture
- geographically distributed
- concurrent systems
- mobile agents
- deadlock detection
- artificial intelligence
- distributed database systems
- security policies
- data replication
- software development environments