Sciweavers

2624 search results - page 45 / 525
» On Business Process Model Transformations
Sort
View
ISEM
2006
90views more  ISEM 2006»
15 years 3 months ago
Using GXL for exchanging business process models
Abstract The GXL Graph eXchange Language is an XML-based standard exchange language for sharing graph data between tools. GXL can be customized to exchange application specific typ...
Andreas Winter, Carlo Simon
134
Voted
IFIP
2009
Springer
15 years 1 months ago
Model Checking of Security-Sensitive Business Processes
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 ...
Alessandro Armando, Serena Elisa Ponta
178
Voted
TOPNOC
2010
14 years 10 months ago
On-the-Fly Auditing of Business Processes
Information systems supporting business process are mostly very complex. If we have to ensure that certain business rules are enforced in a business process, it is often easier to ...
Kees M. van Hee, Jan Hidders, Geert-Jan Houben, Ja...
144
Voted
BIS
2006
132views Business» more  BIS 2006»
15 years 4 months ago
Utilizing Successful Work Practice for Business Process Evolution
Business process management (BPM) has emerged as a dominant technology in current enterprise systems and business solutions. However, business processes are always evolving in cur...
Ruopeng Lu, Shazia Wasim Sadiq, Guido Governatori
101
Voted
BPM
2003
Springer
75views Business» more  BPM 2003»
15 years 8 months ago
Security in Business Process Engineering
We present a general methodology for integrating arbitrary security requirements in the development of business processes in a both elegant and rigorous way. We show how trust rela...
Michael Backes, Birgit Pfitzmann, Michael Waidner