Some results on the expressive power and complexity of LSCs

被引：0

作者：

Harel, David ^{[1
]}

Maoz, Shahar ^{[1
]}

Segall, Itai ^{[1
]}

机构：

[1] Weizmann Inst Sci, IL-76100 Rehovot, Israel

来源：

PILLARS OF COMPUTER SCIENCE | 2008年 / 4800卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：351 / 366

页数：16

共 50 条

[21] Comparison of expressive power of some query languages for databases
Taitslin, M. A.
PROCEEDINGS OF THE STEKLOV INSTITUTE OF MATHEMATICS, 2011, 274 (01) : 273 - 288
[22] On the Expressive Power of Some Extensions of Linear Temporal Logic
A. R. Gnatenko
V. A. Zakharov
Automatic Control and Computer Sciences, 2019, 53 : 663 - 675
[23] On the Expressive Power of Some Extensions of Linear Temporal Logic
Gnatenko, A. R.
Zakharov, V. A.
AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2019, 53 (07) : 663 - 675
[24] SOME RESULTS ON THE COMPLEXITY OF FAMILIES OF SETS
GRIESER, D
DISCRETE MATHEMATICS, 1991, 88 (2-3) : 179 - 192
[25] SOME COMPLEXITY RESULTS IN CYCLIC SCHEDULING
MCCORMICK, ST
RAO, US
MATHEMATICAL AND COMPUTER MODELLING, 1994, 20 (02) : 107 - 122
[26] Complexity results for some eigenvector problems
Eiter, T
Gottlob, E
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 2000, 76 (01) : 59 - 74
[27] Some Results on the Complexity of Numerical Integration
Novak, Erich
MONTE CARLO AND QUASI-MONTE CARLO METHODS, 2016, 163 : 161 - 183
[28] Some Complexity Results on Inconsistency Measurement
Thimm, Matthias
Wallner, Johannes P.
FIFTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2016, : 114 - 123
[29] SOME COMPLEXITY RESULTS IN TOPOLOGY AND ANALYSIS
JACKSON, S
MAULDIN, RD
FUNDAMENTA MATHEMATICAE, 1992, 141 (01) : 75 - 83
[30] SOME INDEPENDENCE RESULTS IN COMPLEXITY THEORY
IBARRA, OH
MORAN, S
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1985, 17 (02) : 113 - 122

← 1 2 3 4 5 →