Sciweavers

208 search results - page 4 / 42
» Representing and Reasoning about Commitments in Business Pro...
Sort
View
EDOC
2006
IEEE
13 years 12 months ago
Structural Patterns for Soundness of Business Process Models
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
Boudewijn F. van Dongen, Jan Mendling, Wil M. P. v...
BSDCON
2003
13 years 7 months ago
Reasoning about SMP in FreeBSD
While the subject of SMP locking primitives has been well covered in the literature [Val][Schm][Bald][Leh], there has been relatively little discussion on the rationale and proces...
Jeffrey Hsu
BPM
2006
Springer
107views Business» more  BPM 2006»
13 years 9 months ago
On Representing, Purging, and Utilizing Change Logs in Process Management Systems
In recent years adaptive process management technolgy has emerged in order to increase the flexibility of business process implementations and to support process changes at differe...
Stefanie Rinderle, Manfred Reichert, Martin Jurisc...
LOGCOM
2002
116views more  LOGCOM 2002»
13 years 5 months ago
Formalizing Collaborative Decision-making and Practical Reasoning in Multi-agent Systems
paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through t...
Pietro Panzarasa, Nicholas R. Jennings, Timothy J....
WETICE
2006
IEEE
13 years 11 months ago
On Representing Instance Changes in Adaptive Process Management Systems
By separating the process logic from the application code process management systems (PMS) offer promising perspectives for automation and management of business processes. Howeve...
Stefanie Rinderle, Ulrich Kreher, Markus Lauer, Pe...