1318 search results - page 74 / 264 » The formal semantics of the timeER model |
118
click to vote
SPIN
2010
Springer
15 years 10 days ago
2010
Springer
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
125
click to vote
FMOODS
2006
15 years 3 months ago
2006
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...
179
click to vote
ER
1995
Springer
15 years 5 months ago
1995
Springer
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...
127
click to vote
BPM
2008
Springer
15 years 4 months ago
2008
Springer
A given business process may face a large number of regulatory obligations the process may or comply with. Providing tools and techniques through which an evaluation of the complia...
161
click to vote
VLDB
2007
ACM
15 years 8 months ago
2007
ACM
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...