354 search results - page 9 / 71 » Consistency between Executable and Abstract Processes |
APLAS
2008
ACM
13 years 11 months ago
2008
ACM
ion of Clocks in Synchronous Data-flow Systems Albert Cohen1 , Louis Mandel2 , Florence Plateau2 , and Marc Pouzet23 1 INRIA Saclay - Ile-de-France, Orsay, France 2 LRI, Univ. Pari...
JURIX
2008
13 years 11 months ago
2008
Abstract. This paper provides a novel mechanism to check whether business processes are compliant with business rules regulating them. The key point is that compliance is a relatio...
EDOC
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— In practice, the development of process-aware information systems suffers from a gap between conceptual business process models and executable workflow specifications...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract-- Complex robots with many interacting components in their control architectures are subject to component failures from which neither the control architecture nor the impl...
ICDCS
1999
IEEE
14 years 2 months ago
1999
IEEE
Existing workflow management systems encapsulate the data and behavior of a process within its execution scope, preventing other processes from accessing this information until th...