Some results on the expressive power and complexity of LSCs

David Harel; Shahar Maoz; Itai Segall

doi:10.1007/978-3-540-78127-1_19

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 proceeding › Conference contribution › peer-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 language	English
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
Pages	351-366
Number of pages	16
DOIs	https://doi.org/10.1007/978-3-540-78127-1_19
State	Published - 2008
Externally published	Yes

Publication series

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

Access to Document

10.1007/978-3-540-78127-1_19

Cite this

Harel, D., Maoz, S., & Segall, I. (2008). Some results on the expressive power and complexity of LSCs. In A. Avron, N. Dershowitz, & A. Rabinovich (Eds.), Pillars of Computer Science - Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday (pp. 351-366). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4800 LNCS). https://doi.org/10.1007/978-3-540-78127-1_19

Harel, David ; Maoz, Shahar ; Segall, Itai. / Some results on the expressive power and complexity of LSCs. Pillars of Computer Science - Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. editor / Arnon Avron ; Nachum Dershowitz ; Alexander Rabinovich. 2008. pp. 351-366 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{ae0d388e5bd14a5fbf54df351605967a,

title = "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.",

author = "David Harel and Shahar Maoz and Itai Segall",

note = "Funding Information: The research was supported in part by The John von Neumann Minerva Center for the Development of Reactive Systems at the Weizmann Institute of Science and by a Grant from the G.I.F., the German-Israeli Foundation for Scientific Research and Development.",

year = "2008",

doi = "10.1007/978-3-540-78127-1_19",

language = "אנגלית",

isbn = "3540781269",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "351--366",

editor = "Arnon Avron and Nachum Dershowitz and Alexander Rabinovich",

booktitle = "Pillars of Computer Science - Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday",

}

Harel, D, Maoz, S & Segall, I 2008, Some results on the expressive power and complexity of LSCs. in A Avron, N Dershowitz & A Rabinovich (eds), Pillars of Computer Science - Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4800 LNCS, pp. 351-366. https://doi.org/10.1007/978-3-540-78127-1_19

Some results on the expressive power and complexity of LSCs. / Harel, David; Maoz, Shahar; Segall, Itai.

Pillars of Computer Science - Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. ed. / Arnon Avron; Nachum Dershowitz; Alexander Rabinovich. 2008. p. 351-366 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4800 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Some results on the expressive power and complexity of LSCs

AU - Harel, David

AU - Maoz, Shahar

AU - Segall, Itai

N1 - Funding Information: The research was supported in part by The John von Neumann Minerva Center for the Development of Reactive Systems at the Weizmann Institute of Science and by a Grant from the G.I.F., the German-Israeli Foundation for Scientific Research and Development.

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=49949083739&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-78127-1_19

DO - 10.1007/978-3-540-78127-1_19

M3 - פרסום בספר כנס

AN - SCOPUS:49949083739

SN - 3540781269

SN - 9783540781264

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 351

EP - 366

BT - Pillars of Computer Science - Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

A2 - Avron, Arnon

A2 - Dershowitz, Nachum

A2 - Rabinovich, Alexander

ER -

Harel D, Maoz S, Segall I. Some results on the expressive power and complexity of LSCs. In Avron A, Dershowitz N, Rabinovich A, editors, Pillars of Computer Science - Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. 2008. p. 351-366. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-78127-1_19

Some results on the expressive power and complexity of LSCs

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this