Linking DC together with TRSL

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Abstract

    Duration Calculus (DC) is an interval-based real-time logic, which can be used in capturing and eliciting users' real-time requirements. The Timed RAISE Specification Language (TRSL) is an extension of the RAISE Specification Language with real-time features. This paper links DC and TRSL together in a method for real-time developments. An operational semantics with behavior is specified for TRSL. It is defined what its means for a TRSL process to satisfy a DC requirement, and a method for verifying whether the satisfaction relation holds or not is provided. Our contribution also demonstrates a general approach for linking state-based real-time logics together with event-based, timed process algebra languages.
    Original languageEnglish
    Title of host publicationIFM'2000 2nd Int. Conf. on Integrated Formal Methods, no. 1945
    PublisherSpringer Verlag
    Publication date2000
    Pages25-44
    Publication statusPublished - 2000
    EventSecond International Conference on Integrated Formal Methods - Dagstuhl Castle, Wadern, Germany
    Duration: 1 Nov 20003 Nov 2000

    Conference

    ConferenceSecond International Conference on Integrated Formal Methods
    LocationDagstuhl Castle
    Country/TerritoryGermany
    CityWadern
    Period01/11/200003/11/2000

    Fingerprint

    Dive into the research topics of 'Linking DC together with TRSL'. Together they form a unique fingerprint.

    Cite this