1728 search results - page 26 / 346 » Formal Modeling of Process Migration |
BPM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In order to support business processes effectively, their implementation by a process management systems (PMS) must be as close to the real world’s processes as possib...
OTM
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we present a novel approach for the modeling and implementation of Internal Controls in Business Processes. The approach is based on the formal modeling of Internal C...
RIVF
2007
13 years 9 months ago
2007
Abstract— We propose in this paper a generalization of percolation processes in Z2 using the pretopology theory. We formalize the notion of neighborhood by extending it to the co...
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...
WOODPECKER
2001
13 years 9 months ago
2001
Abstract. This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is t...