Sciweavers

Share
BIRTHDAY
2008
Springer

Some Results on the Expressive Power and Complexity of LSCs

9 years 11 months ago
Some Results on the Expressive Power and Complexity of LSCs
Abstract. We survey some of the main results regarding the complexity and expressive power of Live Sequence Charts (LSCs). We first describe the two main semantics given to LSCs: a trace-based semantics and an operational semantics. The expressive power of the language is then examined by describing translations into various temporal logics. Some limitations of the language are also discussed. Finally, we survey complexity results, mainly due to Bontemps and Schobbens, regarding the use of LSCs for model checking, execution, and synthesis.
David Harel, Shahar Maoz, Itai Segall
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2008
Where BIRTHDAY
Authors David Harel, Shahar Maoz, Itai Segall
Comments (0)
books