Composing Synchronisation and Real-Time Constraints

Lodewijk Bergmans, Mehmet Aksit

    Research output: Contribution to journalArticleAcademicpeer-review

    22 Citations (Scopus)
    70 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