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.
|Title of host publication||Pillars of Computer Science - Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday|
|Editors||Arnon Avron, Nachum Dershowitz, Alexander Rabinovich|
|Number of pages||16|
|State||Published - 2008|
|Name||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|