103 search results - page 2 / 21 » From Business Process Model to Consistent Implementation: A ... |
BPM
2010
Springer
13 years 8 months ago
2010
Springer
During the previous years, we presented several results concerned with various issues related to the correctness of models for business processes and services (i. e., interorganiza...
FMCO
2008
Springer
13 years 9 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...
CAISE
2007
Springer
13 years 11 months ago
2007
Springer
The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two...
ECIS
2003
13 years 8 months ago
2003
Contemporary concepts such as Business Process Re-engineering and Process Innovation emphasize the importance of process-oriented management concepts as a businesses paradigm. Lar...
JSS
2010
13 years 2 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...