Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems.
Fatma DhaouInès MouakherJ. Christian AttiogbéKhaled BsaïesPublished in: ICSOFT-EA (2015)
Keyphrases
- distributed systems
- sequence diagrams
- uml models
- class diagrams
- petri net
- activity diagrams
- unified modelling language
- fault tolerant
- uml activity diagrams
- model based testing
- formal semantics
- geographically distributed
- intermediate representation
- load balancing
- fault tolerance
- class diagram
- distributed environment
- uml class diagrams
- distributed computing
- test cases
- regression testing
- security policies
- agent based systems
- software architecture
- dependency graph
- data replication
- distributed database systems
- mobile agents
- concurrent systems
- artificial intelligence
- object oriented