Techniques for reactive system design: the tools in TRADE

Roelf J. Wieringa, D.N. Jansen

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

2 Citations (Scopus)
61 Downloads (Pure)

Abstract

Reactive systems are systems whose purpose is to maintain a certain desirable state of affairs in their environment, and include information systems, groupware, workflow systems, and control software. The current generation of information system design methods cannot cope with the high demands that originate from mission-critical application, geographic distribution, and a mix of data-intensive, behavior-intensive and communication-intensive properties of many modern reactive systems. We define an approach to designing reactive software systems that deals with these dimensions by incorporating elements from various information system and software design techniques and extending this with formal specification techniques, in particular with model checking. We illustrate our approach with a smart card application and show how informal techniques can be combined with model checking.
Original languageUndefined
Title of host publicationAdvanced information systems engineering: 13th international conference, CAiSE
EditorsK.R. Dittrich, A. Geppert, M.C. Norrie
Place of PublicationBerlin, Germany
PublisherSpringer
Pages93-107
Number of pages15
ISBN (Print)3-540-42215-3
DOIs
Publication statusPublished - Jun 2001
Event13th International Conference on Advanced Information Systems Engineering, CAiSE 2001 - Interlaken, Switzerland
Duration: 4 Jun 20018 Jun 2001
Conference number: 13
http://www.caise01.ch/

Publication series

NameLecture notes in computer science
PublisherSpringer-Verlag
Volume2068

Conference

Conference13th International Conference on Advanced Information Systems Engineering, CAiSE 2001
Abbreviated titleCAiSE
CountrySwitzerland
CityInterlaken
Period4/06/018/06/01
OtherJune 4–8, 2001
Internet address

Keywords

  • IR-37300
  • METIS-204466
  • SCS-Services
  • EWI-1425

Cite this

Wieringa, R. J., & Jansen, D. N. (2001). Techniques for reactive system design: the tools in TRADE. In K. R. Dittrich, A. Geppert, & M. C. Norrie (Eds.), Advanced information systems engineering: 13th international conference, CAiSE (pp. 93-107). (Lecture notes in computer science; Vol. 2068). Berlin, Germany: Springer. https://doi.org/10.1007/3-540-45341-5_7
Wieringa, Roelf J. ; Jansen, D.N. / Techniques for reactive system design: the tools in TRADE. Advanced information systems engineering: 13th international conference, CAiSE. editor / K.R. Dittrich ; A. Geppert ; M.C. Norrie. Berlin, Germany : Springer, 2001. pp. 93-107 (Lecture notes in computer science).
@inproceedings{29dd286c391c44a4a6fd0e257f3e9944,
title = "Techniques for reactive system design: the tools in TRADE",
abstract = "Reactive systems are systems whose purpose is to maintain a certain desirable state of affairs in their environment, and include information systems, groupware, workflow systems, and control software. The current generation of information system design methods cannot cope with the high demands that originate from mission-critical application, geographic distribution, and a mix of data-intensive, behavior-intensive and communication-intensive properties of many modern reactive systems. We define an approach to designing reactive software systems that deals with these dimensions by incorporating elements from various information system and software design techniques and extending this with formal specification techniques, in particular with model checking. We illustrate our approach with a smart card application and show how informal techniques can be combined with model checking.",
keywords = "IR-37300, METIS-204466, SCS-Services, EWI-1425",
author = "Wieringa, {Roelf J.} and D.N. Jansen",
note = "DEIDRE-project",
year = "2001",
month = "6",
doi = "10.1007/3-540-45341-5_7",
language = "Undefined",
isbn = "3-540-42215-3",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "93--107",
editor = "K.R. Dittrich and A. Geppert and M.C. Norrie",
booktitle = "Advanced information systems engineering: 13th international conference, CAiSE",

}

Wieringa, RJ & Jansen, DN 2001, Techniques for reactive system design: the tools in TRADE. in KR Dittrich, A Geppert & MC Norrie (eds), Advanced information systems engineering: 13th international conference, CAiSE. Lecture notes in computer science, vol. 2068, Springer, Berlin, Germany, pp. 93-107, 13th International Conference on Advanced Information Systems Engineering, CAiSE 2001, Interlaken, Switzerland, 4/06/01. https://doi.org/10.1007/3-540-45341-5_7

Techniques for reactive system design: the tools in TRADE. / Wieringa, Roelf J.; Jansen, D.N.

Advanced information systems engineering: 13th international conference, CAiSE. ed. / K.R. Dittrich; A. Geppert; M.C. Norrie. Berlin, Germany : Springer, 2001. p. 93-107 (Lecture notes in computer science; Vol. 2068).

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

TY - GEN

T1 - Techniques for reactive system design: the tools in TRADE

AU - Wieringa, Roelf J.

AU - Jansen, D.N.

N1 - DEIDRE-project

PY - 2001/6

Y1 - 2001/6

N2 - Reactive systems are systems whose purpose is to maintain a certain desirable state of affairs in their environment, and include information systems, groupware, workflow systems, and control software. The current generation of information system design methods cannot cope with the high demands that originate from mission-critical application, geographic distribution, and a mix of data-intensive, behavior-intensive and communication-intensive properties of many modern reactive systems. We define an approach to designing reactive software systems that deals with these dimensions by incorporating elements from various information system and software design techniques and extending this with formal specification techniques, in particular with model checking. We illustrate our approach with a smart card application and show how informal techniques can be combined with model checking.

AB - Reactive systems are systems whose purpose is to maintain a certain desirable state of affairs in their environment, and include information systems, groupware, workflow systems, and control software. The current generation of information system design methods cannot cope with the high demands that originate from mission-critical application, geographic distribution, and a mix of data-intensive, behavior-intensive and communication-intensive properties of many modern reactive systems. We define an approach to designing reactive software systems that deals with these dimensions by incorporating elements from various information system and software design techniques and extending this with formal specification techniques, in particular with model checking. We illustrate our approach with a smart card application and show how informal techniques can be combined with model checking.

KW - IR-37300

KW - METIS-204466

KW - SCS-Services

KW - EWI-1425

U2 - 10.1007/3-540-45341-5_7

DO - 10.1007/3-540-45341-5_7

M3 - Conference contribution

SN - 3-540-42215-3

T3 - Lecture notes in computer science

SP - 93

EP - 107

BT - Advanced information systems engineering: 13th international conference, CAiSE

A2 - Dittrich, K.R.

A2 - Geppert, A.

A2 - Norrie, M.C.

PB - Springer

CY - Berlin, Germany

ER -

Wieringa RJ, Jansen DN. Techniques for reactive system design: the tools in TRADE. In Dittrich KR, Geppert A, Norrie MC, editors, Advanced information systems engineering: 13th international conference, CAiSE. Berlin, Germany: Springer. 2001. p. 93-107. (Lecture notes in computer science). https://doi.org/10.1007/3-540-45341-5_7