Characterizing Communication Channel Deadlocks in Sequence Diagrams
UML sequence diagrams (SDs) are a mainstay of requirements specifications for communication protocols. Mauw and Reniers' algebraic (MRA) semantics formally specifies a behaviour for these SDs that guarantees deadlock free processes. Practitioners commonly use communication semantics that differ...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
2008-06.
|
| Subjects: | |
| Online Access: | Get fulltext |