Composing Synchronisation and Real-Time Constraints

Lodewijk Bergmans, Mehmet Aksit

    Research output: Contribution to journalArticleAcademicpeer-review

    22 Citations (Scopus)
    48 Downloads (Pure)

    Abstract

    There have been a number of publications illustrating the successes of object-oriented techniques in creating highly reusable software systems. Several concurrent languages have been proposed for specifying reusable synchronization specifications. Recently, a number of real-time object-oriented languages have been introduced for building object-oriented programs with real-time behavior. Composing and reusing object-oriented programs with both synchronization and real-time constraints has not been addressed adequately, although most real-time systems are concurrent. This paper analyzes the origins of the problems in composing and reusing synchronization and real-time specifications, first as separate concerns, and later as composed behavior. To overcome the so-called inheritance anomaly problems, this paper proposes modular and composable synchronization and real-time specification extensions to the object-oriented model. The applicability of the proposed mechanisms is illustrated through a number of examples.
    Original languageUndefined
    Pages (from-to)32-52
    Number of pages21
    JournalJournal of parallel and distributed computing
    Volume36
    Issue number1
    DOIs
    Publication statusPublished - Jul 1996

    Keywords

    • EWI-10120
    • METIS-118522
    • IR-18003

    Cite this

    @article{67bdab73ea57448f96ecaeead8f368fe,
    title = "Composing Synchronisation and Real-Time Constraints",
    abstract = "There have been a number of publications illustrating the successes of object-oriented techniques in creating highly reusable software systems. Several concurrent languages have been proposed for specifying reusable synchronization specifications. Recently, a number of real-time object-oriented languages have been introduced for building object-oriented programs with real-time behavior. Composing and reusing object-oriented programs with both synchronization and real-time constraints has not been addressed adequately, although most real-time systems are concurrent. This paper analyzes the origins of the problems in composing and reusing synchronization and real-time specifications, first as separate concerns, and later as composed behavior. To overcome the so-called inheritance anomaly problems, this paper proposes modular and composable synchronization and real-time specification extensions to the object-oriented model. The applicability of the proposed mechanisms is illustrated through a number of examples.",
    keywords = "EWI-10120, METIS-118522, IR-18003",
    author = "Lodewijk Bergmans and Mehmet Aksit",
    year = "1996",
    month = "7",
    doi = "10.1006/jpdc.1996.0088",
    language = "Undefined",
    volume = "36",
    pages = "32--52",
    journal = "Journal of parallel and distributed computing",
    issn = "0743-7315",
    publisher = "Academic Press Inc.",
    number = "1",

    }

    Composing Synchronisation and Real-Time Constraints. / Bergmans, Lodewijk; Aksit, Mehmet.

    In: Journal of parallel and distributed computing, Vol. 36, No. 1, 07.1996, p. 32-52.

    Research output: Contribution to journalArticleAcademicpeer-review

    TY - JOUR

    T1 - Composing Synchronisation and Real-Time Constraints

    AU - Bergmans, Lodewijk

    AU - Aksit, Mehmet

    PY - 1996/7

    Y1 - 1996/7

    N2 - There have been a number of publications illustrating the successes of object-oriented techniques in creating highly reusable software systems. Several concurrent languages have been proposed for specifying reusable synchronization specifications. Recently, a number of real-time object-oriented languages have been introduced for building object-oriented programs with real-time behavior. Composing and reusing object-oriented programs with both synchronization and real-time constraints has not been addressed adequately, although most real-time systems are concurrent. This paper analyzes the origins of the problems in composing and reusing synchronization and real-time specifications, first as separate concerns, and later as composed behavior. To overcome the so-called inheritance anomaly problems, this paper proposes modular and composable synchronization and real-time specification extensions to the object-oriented model. The applicability of the proposed mechanisms is illustrated through a number of examples.

    AB - There have been a number of publications illustrating the successes of object-oriented techniques in creating highly reusable software systems. Several concurrent languages have been proposed for specifying reusable synchronization specifications. Recently, a number of real-time object-oriented languages have been introduced for building object-oriented programs with real-time behavior. Composing and reusing object-oriented programs with both synchronization and real-time constraints has not been addressed adequately, although most real-time systems are concurrent. This paper analyzes the origins of the problems in composing and reusing synchronization and real-time specifications, first as separate concerns, and later as composed behavior. To overcome the so-called inheritance anomaly problems, this paper proposes modular and composable synchronization and real-time specification extensions to the object-oriented model. The applicability of the proposed mechanisms is illustrated through a number of examples.

    KW - EWI-10120

    KW - METIS-118522

    KW - IR-18003

    U2 - 10.1006/jpdc.1996.0088

    DO - 10.1006/jpdc.1996.0088

    M3 - Article

    VL - 36

    SP - 32

    EP - 52

    JO - Journal of parallel and distributed computing

    JF - Journal of parallel and distributed computing

    SN - 0743-7315

    IS - 1

    ER -