Search Results for "reason"

...It naturally supports model-level activities, such as constraints (extending UML diagrams), dynamic compositional modeling, analysis and reasoning about models, model testing, design pattern modeling, specification of Domain Specific Modeling Languages, and meta-modeling. FOML can reason about: 1. The model meta-data (meta-model level reasoning, or syntax reasoning) 2. Data level: reason about a model and its data (instance model, i.e., diagram) FOML is built as a semantic layer on top of PathLP - a compact logic rule language of guarded path expressions, an adaptation of a subset of F-logic.

...Open PHIGS uses OpenGL for rendering graphics rather than implementing it's own abstraction layer to the graphics hardware, or using the PHIGS Extension to X (PEX). The reason for doing so is that today every graphics card manufacturer provides their own OpenGL implementation, which takes full advantage of the accelerated drawing capabilities in the hardware. PHIGS is a higher level API than OpenGL that works with a hierarchical scene graph. Models are built up in a Centralized Structure Store (CSS), a database containing the drawing primitives and their attributes (color, line style, etc.). ...