348 search results - page 18 / 70 » Formalizing WSBPEL Business Processes Using Process Algebra |
ACJ
2002
14 years 11 months ago
2002
Business Process Reengineering (BPR) is an important instrument to boost the performance of business processes. In this paper, the Product-Based Design method is presented that su...
FMICS
2008
Springer
15 years 1 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
WWW
2009
ACM
16 years 14 days ago
2009
ACM
This paper formulates a collaborative system for modeling business application. The system uses a Semantic Wiki to enable collaboration between the various stakeholders involved i...
115
click to vote
MODELS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...
BIRTHDAY
2005
Springer
15 years 5 months ago
2005
Springer
We present a first-order extension of the algebraic theory about processes known as ACP and its main models. Useful predicates on processes, such as deadlock freedom and determini...