354 search results - page 21 / 71 » Consistency between Executable and Abstract Processes |
ADBIS
2005
Springer
14 years 3 months ago
2005
Springer
A major application area of information systems technology and multimedia content management is that of support systems for engineering processes. This includes the particularly im...
WECWIS
2006
IEEE
14 years 3 months ago
2006
IEEE
The paper assumes that business interactions between trading partners are composed of well defined conversations (tasks), such as issue a purchase order, process payment, refund m...
IPPS
2000
IEEE
14 years 2 months ago
2000
IEEE
Abstract. Wavefront computations are common in scientific applications. Although it is well understood how wavefronts are pipelined for parallel execution, the question remains: H...
B
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
MODELLIERUNG
2004
13 years 11 months ago
2004
ion from the implementation they use. Some tools rather consequently use this abstract model; others at least partly keep the implementational view, modeling components, e.g., by o...