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)
    206 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
    Country/TerritorySwitzerland
    CityInterlaken
    Period4/06/018/06/01
    OtherJune 4–8, 2001
    Internet address

    Keywords

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

    Cite this