Content deleted Content added
m →Tools |
→Live Sequence Charts: wording |
||
Line 73:
==Live Sequence Charts==
[[David Harel]]
* MSC propose a weak [[Partially ordered set|partial ordering]] semantics that makes it impossible to capture some behavioral requirements,
* The relationship between the MSC requirements and the executable specification is not clear
| url=http://www.comp.nus.edu.sg/~thiagu/public_papers/surveymsc.pdf
| title=Message Sequence Charts
|