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 language | Undefined |
---|---|
Title of host publication | Advanced information systems engineering: 13th international conference, CAiSE |
Editors | K.R. Dittrich, A. Geppert, M.C. Norrie |
Place of Publication | Berlin, Germany |
Publisher | Springer |
Pages | 93-107 |
Number of pages | 15 |
ISBN (Print) | 3-540-42215-3 |
DOIs | |
Publication status | Published - Jun 2001 |
Event | 13th International Conference on Advanced Information Systems Engineering, CAiSE 2001 - Interlaken, Switzerland Duration: 4 Jun 2001 → 8 Jun 2001 Conference number: 13 http://www.caise01.ch/ |
Publication series
Name | Lecture notes in computer science |
---|---|
Publisher | Springer-Verlag |
Volume | 2068 |
Conference
Conference | 13th International Conference on Advanced Information Systems Engineering, CAiSE 2001 |
---|---|
Abbreviated title | CAiSE |
Country/Territory | Switzerland |
City | Interlaken |
Period | 4/06/01 → 8/06/01 |
Other | June 4–8, 2001 |
Internet address |
Keywords
- IR-37300
- METIS-204466
- SCS-Services
- EWI-1425