Sciweavers

4596 search results - page 158 / 920
» Mobile Business Processes
Sort
View
BPM
2005
Springer
129views Business» more  BPM 2005»
16 years 1 days ago
Transforming BPEL to Petri Nets
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
Sebastian Hinz, Karsten Schmidt 0004, Christian St...
JSS
2000
86views more  JSS 2000»
15 years 6 months ago
Quantitative analysis of static models of processes
The upstream activities of software development projects are often viewed as both the most important, the least understood, and hence the most problematic. This is particularly no...
Keith Phalp, Martin J. Shepperd
COORDINATION
2008
Springer
15 years 8 months ago
Formal Analysis of BPMN Via a Translation into COWS
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...
Davide Prandi, Paola Quaglia, Nicola Zannone
BPM
2008
Springer
138views Business» more  BPM 2008»
15 years 8 months ago
Issues in Modeling Process Variants with Provop
For a particular business process, typically, different variants exist. Each of them constitutes an adjustment of a basic process (e.g. a reference process) to specific requirement...
Alena Hallerbach, Thomas Bauer, Manfred Reichert
BPM
2009
Springer
119views Business» more  BPM 2009»
16 years 1 months ago
A Formal Model for Process Context Learning
Process models are considered to be a major asset in modern business organizations. They are expected to apply to all the possible business contexts in which the process may be exe...
Johny Ghattas, Pnina Soffer, Mor Peleg