290 search results - page 11 / 58 » Using Formal Analysis Techniques in Business Process Redesig... |
117
click to vote
IVS
2006
14 years 11 months ago
2006
Business operations involve many factors and relationships and are modeled as complex business process workflows. The execution of these business processes generates vast volumes ...
FMCO
2008
Springer
15 years 1 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...
122
click to vote
COOPIS
2002
IEEE
15 years 4 months ago
2002
IEEE
The design of virtual workplaces that can support virtual work processes has traditionally been either ad-hoc, or has been influenced by the top-down approaches, such as ‘virtua...
RTSS
1999
IEEE
15 years 3 months ago
1999
IEEE
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
BPM
2009
Springer
15 years 6 months ago
2009
Springer
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications and o...