Some results on the expressive power and complexity of LSCs

David Harel*, Shahar Maoz, Itai Segall

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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.

Original languageEnglish
Title of host publicationPillars of Computer Science - Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
EditorsArnon Avron, Nachum Dershowitz, Alexander Rabinovich
Pages351-366
Number of pages16
DOIs
StatePublished - 2008
Externally publishedYes

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4800 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint

Dive into the research topics of 'Some results on the expressive power and complexity of LSCs'. Together they form a unique fingerprint.

Cite this