ویراساینس.
سند علمی

Modular Semantics for Object-Oriented Models

Ali Hamie, John Howse, Stuart Kent

چکیده

This paper describes a formal, modular approach to the semantics of object-oriented models. These models are expressed in the UML notation augmented with the Object Constraint language (OCL), which provides a precise textual language for expressing assertions: invariant constraints and operation specifications. The approach to semantics we adopt could easily be applied to other, similar notation sets. An important aspect of our approach is to treat every component of a model, down to the level of individual diagram elements, as distinct semantic entities which, here, are theories in Larch. The semantics of a model or part of a model is then the composition of the semantic entities corresponding to the individual model elements. This leads to a highly modular approach, allowing reuse of generic semantic entities, resulting in an elegant, transparent semantics for individual models. The fine-grained modularity promises to support the extraction and manipulation of different “views” of a model. The composition of model elements supported by the semantics promises to underpin the development of systems from reusable components. Larch is used as it supports theory composition, ensures that the semantics is relatively accessible (essentially theories of FOPL), is well-defined, and is close to technologies most likely to provide automated tool support (including a toolset to support it directly).

اسناد مشابه

  • Set Theory as a Semantic Framework for Object-Oriented Modeling

    سند علمی۱۹۹۷ECOOP WorkshopsB. Cohen

    The author has modeled complex systems in a variety of business contexts, from healthcare to telecoms, using a variant of Z. The notation, like Z itself, is a syntactically sugared form of ZF set theory but it permits the use of weak postconditions — a small, but crucially import

  • An Object-oriented Model for Representing Semantic Locality in the UMLS

    سند علمی۲۰۰۱Studies in health technology and informaticsOlivier Bodenreider

    Several information models have been developed for the Unified Medical Language System (UMLS). While some models are term-oriented, a knowledge-oriented model is needed for representing semantic locality, i.e. the various semantic links among concepts. We propose an object-orient

  • Object-Oriented Modeling of Meta Information for Semantic Schema Enrichment and (Semi-)Automatic Schema Transformation

    سند علمی۲۰۰۷Daniel A. Keim, Hans-Peter Kriegel, Andreas Miethsam

    In this paper, we describe a framework for an object-oriented modeling of meta information. The meta information consists of all kind of information necessary to access and interoperate the participating databases. As part of the meta information, we model the common properties a

  • MERGING INTERACTIVE , MODULAR , AND OBJECT - ORIENTED PROGRAMMING Sho

    سند علمی۱۹۹۲Sho-Huan Simon Tung, Simon Tung

    Interactive, modular, and object-oriented programming are three important programming paradigms. Interactive programming encourages experimental programming and fast prototyping and is most valuable for solving problems that are not well understood. Modular programming is indispe

  • Object-Oriented Modeling of Security Semantics

    سند علمی۱۹۹۵Ernst Ellmer, Günther Pernul, Gerti Kappel

    For applications with high requirements on the confidentiality of data a level-based access control policy may be appropriate. Designing such security critical applications is a less understood issue and thus complicated task. To guide a security administrator or database designe

  • A Modular, Object Oriented Model for Meteorological Hazard Assessment

    سند علمی۲۰۰۰Charles C. Watson, Mark E. Johnson

    The TAOS system is an integrated, scalable, modular meteorological hazard model designed to assist emergency managers, land use planners and meteorologists in assessing the risks associated with meteorological hazards. An object-oriented approach to model design enables the user