• Home
  • Search
  • Specifying joint behavior of objects: formalization standardization
  • Cite Icon3
  • https://doi.org/10.1109/sess.1993.263948Copy DOI Icon

Specifying joint behavior of objects: formalization standardization

  • Aug 30, 1993
  • H Kilov +1 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

To understand a large and complicated system, its specifier and user should be able to separate essential concerns from irrelevant details. To do that, specification of behavioral semantics-as opposed to just signatures (i.e., syntax)-is essential. Abstract and precise specifications are the corner stones of object modeling. However, object modeling has usually considered only behavior of isolated objects. Real-world enterprises do not consist only of isolated objects. It is the joint behavior of associated objects that defines the object model of the enterprise and therefore makes the business understandable. The paper show how semantics of an information model (the result of analyzing the system) can be specified in an abstract and precise manner, by reusing programming methodology concepts, and how this approach to specification is used in standardization activities. >

Similar Papers
  • Conference Article

Synthesis of the PID Control Algorithm for the Models of Objects with Second Order Astatism

  • Oct 06, 2021
  • Bartolomeu Izvoreanu +5
  • Book Chapter
  • Citations1

An Implementation and Design of COMOR System for OOM Reuse

  • Jan 01, 2001
  • Young-Jun Kim
  • Book Chapter
  • Citations27

Modeling behavior of Geographic Objects: An experience with the Object Modeling Technique

  • Jan 01, 1997
  • Nectaria Tryfona +2
  • Research Article

Topology‐adaptive modeling of objects using surface evolutions based on 3D mathematical morphology

  • Jun 21, 2002
  • Systems and Computers in Japan
  • Kenji Hara +2
  • Conference Article

Object modelling for open network management

  • Sep 21, 1992
  • C Ashford
  • Conference Article
  • Citations1

RGBD-Sphere SLAM

  • Apr 01, 2018
  • John Papadakis +2
  • Research Article
  • Citations3

МЕТОД ОБЪЕКТНОГО МОДЕЛИРОВАНИЯ ПРИ РАЗРАБОТКЕ ПАТЕНТОСПОСОБНЫХ КОНСТРУКЦИЙ УЗЛОВ ТЯГОВОГО ПРИВОДА

  • Dec 30, 2021
  • Automation and modeling in design and management
  • Vladimir Vorob'Ev +3
  • Conference Article
  • Citations7

Progressive object modeling with a continuum manipulator in unknown environments

  • May 01, 2017
  • Huitan Mao +2
  • Conference Article
  • Citations5

Uncertainty estimation of AR-marker poses for graph-SLAM optimization in 3D object model generation with RGBD data

  • Nov 01, 2013
  • Razvan-George Mihalyi +3
  • Research Article

Information system for creating a generalized model of complex technical objects

  • Dec 26, 2021
  • MECHANICS OF GYROSCOPIC SYSTEMS
  • Dmytro Konotop
  • Research Article
  • Citations17

An integrated approach to CAD: modelling concepts in building design and construction

  • Jul 01, 1995
  • Design Studies
  • F.E Brown +8
  • Conference Article
  • Citations140

Enhancing visual perception of shape through tactile glances

  • Nov 01, 2013
  • Marten Bjorkman +3
  • PDF
  • Research Article

FEATURES OF TEACHING COMPUTER MODELING IN INFORMATICS LESSONS

  • May 31, 2022
  • Scientific Bulletin of Uzhhorod University Series «Pedagogy Social Work»
  • Artem Yurchenko +1
  • Conference Article
  • Citations1

Modeling active object-oriented database applications using multi-level diagrams

  • Aug 19, 1996
  • M.J.V Silva +1
  • Conference Article

A hybrid generative/discriminative model based object tracking primary exploration

  • Nov 01, 2015
  • Yehong Chen +1
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.