Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1145/800227.806885acmconferencesArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
Article
Free access

Dynamic system specification

Published: 23 June 1980 Publication History
  • Get Citation Alerts
  • Abstract

    Our group is perhaps unique in that our approach to modeling dynamic systems has a strong heritage from all three fields represented at this workshop. Each of the fields has contributed four major concepts to our modeling approach.
    From the Data Base field, we have adopted the idea of a single global model (data base) which defines the state of the system. Fully associative relations among typed atomic objects (no internal structure) constitute the entire state description. An information model (query language) is defined for extracting information from the state (such as one or all objects satisfying some description, or the truthfulness of some proposition). Finally, the model is updated via transactions, so that either the entire operation is completed successfully, or the state is unchanged.

    Cited By

    View all

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
    June 1980
    221 pages
    ISBN:0897910311
    DOI:10.1145/800227
    • cover image ACM SIGART Bulletin
      ACM SIGART Bulletin Just Accepted
      Proceedings of the workshop on Data abstraction, databases and conceptual modelling
      Jan 1981
      205 pages
      ISSN:0163-5719
      DOI:10.1145/960128
      Issue’s Table of Contents
    • cover image ACM SIGMOD Record
      ACM SIGMOD Record  Volume 11, Issue 2
      Proceedings of the workshop on Data abstraction, databases and conceptual modelling
      Feb 1981
      205 pages
      ISSN:0163-5808
      DOI:10.1145/960126
      Issue’s Table of Contents
    • cover image ACM SIGPLAN Notices
      ACM SIGPLAN Notices  Volume 16, Issue 1
      Proceedings of the workshop on Data abstraction, databases and conceptual modelling
      Jan 1981
      205 pages
      ISSN:0362-1340
      EISSN:1558-1160
      DOI:10.1145/960124
      Issue’s Table of Contents
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 23 June 1980

    Permissions

    Request permissions for this article.

    Check for updates

    Qualifiers

    • Article

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)32
    • Downloads (Last 6 weeks)1
    Reflects downloads up to 10 Aug 2024

    Other Metrics

    Citations

    Cited By

    View all

    View Options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Get Access

    Login options

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media