115 search results - page 6 / 23 » Formalizing organizational constraints: a semantic approach |
AIPS
2009
13 years 8 months ago
2009
We provide a theoretical analysis of planning via Petri net unfolding, a novel technique for synthesising parallel plans. Parallel plans are generally valued for their execution f...
SDB
1995
13 years 11 months ago
1995
Database transformations arise in many di erent settings including database integration, evolution of database systems, and implementing user views and data-entry tools. This paper...
GBRPR
2005
Springer
14 years 1 months ago
2005
Springer
A method allowing to integrate syntactic and semantic approaches in an automatic segmentation process is described. This integration is possible thanks to the formalism of graphs....
EDOC
2011
IEEE
12 years 7 months ago
2011
IEEE
—In this paper, we present a UML metamodel-based approach for creating and executing workflow models. The modeling language is introduced through its abstract syntax, and an eval...
JSW
2007
13 years 7 months ago
2007
Abstract— We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal prese...