Lazy buffer semantics for partial order scenarios
There exists a unique minimal generalisation of a UML sequence diagram (SD) that is race free, known as the inherent causal scenario. However, practitioners sometimes regard this solution as invalid since it is a purely mathematical construct that apparently does not describe a concrete software eng...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
2007-12.
|
| Subjects: | |
| Online Access: | Get fulltext |