A formalization of objects using equational dynamic logic

R.J. Wieringa

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

    12 Citations (Scopus)
    33 Downloads (Pure)

    Abstract

    Order-sorted equational logic is extended with dynamic logic to a specification language for dynamic objects. Special attention is paid to different concepts of encapsulation that play a role in object-orientation. It is argued that the resulting language, CMSL, meets those requirements of the object-oriented database system manifesto [6] that are applicable to object-oriented conceptual models (as opposed to OO databases).
    Original languageEnglish
    Title of host publicationDeductive and Object-Oriented Databases
    Subtitle of host publicationSecond International Conference, DOOD '91, Munich, Germany, December 16–18, 1991. Proceedings
    EditorsC. Delobel, M. Kifer, Y. Masunaga
    Place of PublicationBerlin, Heidelberg
    PublisherSpringer
    Pages431-452
    Number of pages22
    ISBN (Electronic)978-3-540-46646-8
    ISBN (Print)978-3-540-55015-0
    DOIs
    Publication statusPublished - 1991
    Event2nd International Conference on Deductive and Object-Oriented Databases, DOOD 1991 - Munich, Germany
    Duration: 16 Dec 199118 Dec 1991
    Conference number: 2

    Publication series

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

    Conference

    Conference2nd International Conference on Deductive and Object-Oriented Databases, DOOD 1991
    Abbreviated titleDOOD
    CountryGermany
    CityMunich
    Period16/12/9118/12/91

    Keywords

    • SCS-services
    • Integrating logic and object paradigm
    • Formalization of object-oriented concepts

    Fingerprint Dive into the research topics of 'A formalization of objects using equational dynamic logic'. Together they form a unique fingerprint.

    Cite this