104 search results - page 5 / 21 » Towards Formal Analysis of Artifact-Centric Business Process... |
90
Voted
BPM
2006
Springer
15 years 8 days ago
2006
Springer
Abstract. This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it ...
77
Voted
FASE
2008
Springer
15 years 1 days ago
2008
Springer
Service Oriented Computing is a paradigm for developing software systems as the composition of a number of services. Services are loosely coupled entities, can be dynamically publi...
90
Voted
ECIS
2000
14 years 11 months ago
2000
Event-driven Process Chains (EPCs) have been helped to achieve an important role in business process modeling by the commercial success of SAP and ARIS. Both users and IT experts m...
72
Voted
SOCA
2007
IEEE
15 years 4 months ago
2007
IEEE
Business Artifacts are the core entities used by businesses to record information pertinent to their operations. Business operational models are representations of the processing ...
81
Voted
IFIP
2009
Springer
14 years 8 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 ...