1743 search results - page 193 / 349 » Aligning Business Process Models |
119
Voted
WECWIS
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper presents a solution to achieve dynamic Inter-enterprise workflow management using the eservices provided by collaborative e-business enterprises. E-services are distrib...
115
Voted
BPM
2010
Springer
15 years 17 days ago
2010
Springer
Abstract. We propose a new technique to analyze the control-flow, i.e., the workflow graph of a business process model, which we call symbolic execution. We consider acyclic workfl...
122
Voted
FMCO
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
GI
2005
Springer
15 years 8 months ago
2005
Springer
: Rapid evolution of modern Information Systems and Process-Aware Information Systems (PAIS) in particular requires transactional execution of business logic. The paper introduces ...
DAGM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We consider the problem of simultaneously registering several images to a 3D model. We propose a global approach based on mutual information that extends previous methods...