The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts

@inproceedings{Westphal2006TheGT,
  title={The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts},
  author={Bernd Westphal and Tobe Toben},
  booktitle={FASE},
  year={2006}
}
The Life Sequence Chart (LSC) language is a conservative extension of the well-known visual formalism of Message Sequence Charts. An LSC specification formally captures requirements on the inter-object behaviour in a system as a set of scenarios. As with many languages, there are LSCs which are syntactically correct but insatisfiable due to internal contradictions. The authors of the original publication on LSCs avoid this problem by restricting their discussion to well-formed LSCs, i.e. LSCs… CONTINUE READING
6 Citations
16 References
Similar Papers

Similar Papers

Loading similar papers…