Sciweavers

2050 search results - page 90 / 410
» A formal foundation for process modeling
Sort
View
ESWS
2007
Springer
16 years 16 days ago
A Model-driven Approach for Internal Controls Compliance in Business Processes
Enterprises require mechanisms to ensure that their business processes implement and fulfill internal controls in context of regulatory compliance such as Sarbanes Oxley Act. In th...
Kioumars Namiri, Nenad Stojanovic
DKE
2008
135views more  DKE 2008»
15 years 6 months ago
Analyzing interacting WS-BPEL processes using flexible model generation
We address the problem of analyzing the interaction between WS-BPEL processes. We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri ...
Niels Lohmann, Peter Massuthe, Christian Stahl, Da...
WSFM
2007
Springer
16 years 14 days ago
Controlling Petri Net Process Models
We present and compare existing formalisms that consider the control of Petri net process models in the area of business processes and web services. Control has the aim to force a ...
Jörg Desel
BPSC
2010
285views Business» more  BPSC 2010»
15 years 3 months ago
Crossing the Chasm Between the Real World and Business Process Management
Abstract: While agility is a core challenge in today's competitive business, softwarebased business process modeling and execution approaches often refer to strict and inflexi...
Markus Schief, Benedikt Schmidt
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
15 years 12 months ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler