In addition to reverse engineering physical databases, the tool can import ORM models and logical models that are built using Visio Modeler or Info Modeler (version 1.5 onwards).
From a technical viewpoint, there are several ways of combining models and logical systems and, in particular, of temporalising a logic: products, fusions, etc. (see the SEP entry on combining logics).
2006b, Tarski on models and logical consequence, in J. Gray, J. Ferreiros, eds.
It incorporates ideas from psychology, artificial intelligence, and computer science to resolve theoretical issues such as wholes vs. parts, structural vs. functional descriptions, declarative vs. procedural representations, symbolic vs. connectionist models, and logical vs. common-sense theories of learning.
We extended the ITACA toolbox for synthesis and deadlock analysis and we integrated it with a variant of CCS, called Crypto-CCS, to verify and refine adaptors based on partial model checking and logical satisfiability techniques.
The aim of these methods is to determine an allocation of state variables and event timing that verify a property, that is, any logical formula composed of model places and logical operators ∨, ∧ and ¬.
However, even though a good conceptual multidimensional model is designed underneath a DW, there is a semantic gap between this model and its logical representation.
For example, the ASAP presentation model and underlying logical controller layers could be easily adapated to consume and reason upon distributed data sets exposed via service oriented architectures such as caGrid [ 42] or TRIAD [ 43].
Interaction graphs, logical models and logic-based ODE models are tightly linked since every logical model has an underlying interaction graph (from which it was constructed) and every logic-based ODE an underlying logical model and thus also a corresponding interaction graph.
A discrete and continuous mathematical model is developed and logical propositions are used for discrete decisions.
