• Open Access IconOpen Access
  • Cite Icon37
  • https://doi.org/10.1007/3540539816_61Copy DOI Icon

Formal specification of object systems

  • Jan 1, 1991
  • Ralf Jungclaus +2 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

The conceptual modeling of the Universe of Discourse (UoD) is an important phase for the development of information systems because the conceptual model is the basis for system development. Conceptual model specifications must be formal in order to be precise and unambiguous and to support consistency and completeness checks. The object-oriented paradigm is suitable for providing an integrated formal description of all relevant static and dynamic aspects of the UoD structured in objects. In this paper we introduce a formal concept of object suitable to represent the UoD by a collection of concurrent interacting objects. The Oblog +-language for object-oriented UoD-specification based on this concept supports the integrated description of data about objects, the development of objects through time and of various relationships between objects taking into account static and dynamic aspects of object interaction.

Similar Papers
  • Conference Article
  • Citations3

A Conceptual Modeling Method of Simulation System Based on MCM

  • Jan 01, 2016
  • Bin Liu +2
  • Research Article
  • Citations10

Modeling Approach for Integration and Evolution of Information System Conceptualizations

  • Jan 01, 2011
  • International Journal of Information System Modeling and Design
  • Remigijus Gustas
  • Research Article
  • Citations4

Putting the Conceptual Model Into the Research Report

  • Sep 01, 1996
  • Nurse Author & Editor
  • Jacqueline Fawcett
  • Research Article
  • Citations13

Bridging narrative scenario texts and formal policy modeling through conceptual policy modeling

  • Apr 17, 2013
  • Artificial Intelligence and Law
  • Sabrina Scherer +2
  • Book Chapter
  • Citations4

DFM as a Conceptual Model for Data Warehouse

  • Jan 01, 2009
  • Matteo Golfarelli
  • Book Chapter
  • Citations21

Conceptual Modeling Meets the Human Genome

  • Jan 01, 2008
  • Oscar Pastor
  • Single Book
  • Citations152

Conceptual Modeling for Discrete-Event Simulation

  • Aug 02, 2010
  • Stewart Robinson +3
  • Research Article

Dispute of Part-Whole Representation in Conceptual Modeling

  • Jan 01, 2012
  • Journal of Intelligence and Information Systems
  • Tae‐Kyung Kim +2
  • Research Article
  • Citations2

Modeling the rainfall–runoff process in the Bird Creek River Basin: a comparative analysis of conceptual and artificial neural network techniques

  • Oct 29, 2024
  • Journal of Hydroinformatics
  • Vikas Kumar Vidyarthi
  • Conference Article
  • Citations14

A tutorial on conceptual modeling for simulation

  • Dec 06, 2015
  • Stewart Robinson
  • Research Article
  • Citations10

A case study on the use of a conceptual modeling framework for construction simulation

  • Nov 12, 2021
  • SIMULATION
  • Mohammed Adel Abdelmegid +4
  • Research Article
  • Citations6

Derivation of a GIS-based watershed-scale conceptual model for the St. Jones River Delaware from habitat-scale conceptual models

  • Jun 03, 2009
  • Journal of Environmental Management
  • Michael A Reiter +3
  • Book Chapter
  • Citations5

Phenomenological Ontology Guided Conceptual Modeling for Enterprise Information Systems

  • Jan 01, 2018
  • Tomas Jonsson +1
  • Research Article
  • Citations10

Relationships among video games: Existing standards and new definitions

  • Jan 01, 2014
  • Proceedings of the American Society for Information Science and Technology
  • Jin Ha Lee +3
  • PDF
  • Research Article
  • Citations2

Modeling Rainfall Runoff Relations at Arid Catchments Using Conceptual Hydrological Modeling Approach

  • Jan 21, 2020
  • Indian Journal of Science and Technology
  • Abdulnoor A.J Ghanim
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.