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.

• Type: Conference
• Year: 2008
• Where: BIRTHDAY
• Authors: David Harel, Shahar Maoz, Itai Segall
• Keywords: Applied Computing, BIRTHDAY 2008, Expressive Power, Live Sequence Charts, Main Semantics