Specification patterns for time-related properties

被引：8

作者：

Gruhn, V ^{[1
]}

Laue, R ^{[1
]}

机构：

[1] Univ Leipzig, Chair Appl Telemat e Business, D-7010 Leipzig, Germany

来源：

12TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS | 2005年

关键词：

patterns; formal specification; timed model checking; verification;

D O I：

10.1109/TIME.2005.33

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We present a pattern system for property specification. It extends the existing patterns identified in [4] which allow to reason about occurrence and order of events, but not about time conditions. Introducing time-related patterns allows the specification of real-time requirements. The paper is limited to 3 pages. Therefore it contains only basic ideas. The details can be found in [9].

引用

页码：189 / 191

页数：3

共 11 条

[1] Visual timed event scenarios [J].

Alfonso, A ;

Braberman, V ;

Kicillof, N ;

Olivero, A .

ICSE 2004: 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2004, :168-177

[2]

Alur R., 1990, P 17 INT C AUT LANG, P322

[3]

BRABERMAN VA, 1999, ESEC SIGSOFT FSE, P494

[4]

Dwyer M. B., 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002), P411, DOI 10.1109/ICSE.1999.841031

[5]

Dwyer M. B., 1998, Proceedings of FMSP'98. Second Workshop on Formal Methods in Software Practice, P7, DOI 10.1145/298595.298598

[6]

FLAKE S, 2004, LNCS, V3147

[7]

FLAKE S, 2000, GI WORKSH METH BESCH

[8]

GRAF S, 2004, LNCS, V2989

[9]

GRUHN V, 2005, IN PRESS 3 INT WORKR

[10]

KNAPP A, 2002, P 7 INT S FORM TECHN, P395

← 1 2 →