290 search results - page 9 / 58 » Using Formal Analysis Techniques in Business Process Redesig... |
91
Voted
IFIP
2009
Springer
14 years 9 months ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
ESWS
2007
Springer
15 years 3 months ago
2007
Springer
The SUPER project presents a novel approach to BPM by using Semantic Web and Semantic Web Services. Existing processes can be augmented with semantic annotations, so that formal re...
106
Voted
SOCA
2008
IEEE
14 years 11 months ago
2008
IEEE
There is no doubt that SOA and BPM will continue to evolve dependently for the next ten years. Preparing common research infrastructures will require most important efforts of web ...
160
Voted
DKE
2011
14 years 3 months ago
2011
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...
165
Voted
TSMC
2010
14 years 6 months ago
2010
Business Process Execution Language for Web Services (BPEL) is becoming the industrial standard for modeling web service-based business processes. Behavioral compatibility for web ...