836 search results - page 99 / 168 » An Object Semantic Model of SOFL |
ER
2008
Springer
13 years 11 months ago
2008
Springer
It is common to find that the definition or common usage of a data modelling language causes there to be restrictions placed on the evolution of data values that are associated wit...
JAR
2008
13 years 10 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
JISBD
2003
13 years 11 months ago
2003
: A pattern identifies a problem and provides the specification of a generic solution to that problem. Conceptual modelling patterns are aimed at representing a specific structure ...
COMPSAC
2009
IEEE
14 years 4 months ago
2009
IEEE
The advanced electric power grid is a cyber-physical system comprised of physical components such as power generators and transmission lines, and cyber components that control the...
CAISE
2005
Springer
14 years 3 months ago
2005
Springer
Today ontology languages present a syntax which looks not “natural” and are lacking of built-in primitives (i.e., modeling notions) domain experts are familiar with. In this pa...