Actor-oriented system specification with dynamic logic

J.-J.Ch. Meyer, R.J. Wieringa

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

    1 Citation (Scopus)
    24 Downloads (Pure)

    Abstract

    In this paper, we extend dynamic logic with the concept of an actor in order to be able to specify who takes the initiative of an action, who makes a choice, or who controls a synchronization of actions. We give two examples of application of this idea. First, we show how to generalize an approach taken up by De Nicola and Hennessy, who eliminate tau from CCS in favor of internal and external choice. We show that this generalization allows a more accurate specification of system behavior than is possible without it. Second, deontic logic has been used by several researchers as a system specification language. In the course of this application, a number of paradoxes of classical deontic logic have been resolved, except the paradox of free choice permission. We show that actors can be used to resolve this paradox as well.
    Original languageEnglish
    Title of host publicationTAPSOFT '91
    Subtitle of host publicationProceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991
    EditorsS. Abramsky, T.S.E. Maibaum
    Place of PublicationBerlin, Heidelberg
    PublisherSpringer
    Pages337-357
    Number of pages21
    ISBN (Electronic)978-3-540-46499-0
    ISBN (Print)978-3-540-53981-0
    DOIs
    Publication statusPublished - Apr 1991
    Event4th International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1991 - Brighton, United Kingdom
    Duration: 8 Apr 199112 Apr 1991
    Conference number: 4

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume494
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference4th International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1991
    Abbreviated titleTAPSOFT
    CountryUnited Kingdom
    CityBrighton
    Period8/04/9112/04/91

    Keywords

    • SCS-Services
    • Specification of systems
    • Combining different logics

    Fingerprint Dive into the research topics of 'Actor-oriented system specification with dynamic logic'. Together they form a unique fingerprint.

    Cite this