1134 search results - page 81 / 227 » Using Constraints with Action Language for Model Evolution |
208
click to vote
DATESO
2010
15 years 4 months ago
2010
As approaches to conceptual modeling of XML data become more popular, a need arises to reverse-engineer existing schemas to the conceptual models. They make the management of XML s...
199
click to vote
ADVIS
2006
Springer
16 years 8 days ago
2006
Springer
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...
155
click to vote
SDL
2007
15 years 7 months ago
2007
Abstract. It is still the case that language descriptions have lots of semantic information captured using plain (English) text. These imprecise descriptions are hardly usable for ...
173
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
177
click to vote
DIAGRAMS
2004
Springer
15 years 10 months ago
2004
Springer
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...