BPM
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. The aim of this paper is to show how the use of social networks may help users to behave as modelers they trust. Users are guided in this respect within the context of an...
BPM
2008
Springer
13 years 6 months ago
2008
Springer
The need to involve business users in process modeling is largely perceived in the context of Business Process Management systems. This can facilitate the elaboration of consistent...
BPM
2008
Springer
13 years 6 months ago
2008
Springer
The paper presents a new method for the synthesis of Petri nets from event logs in the area of Process Mining. The method derives a bounded Petri net that over-approximates the beh...
BPM
2008
Springer
13 years 6 months ago
2008
Springer
Simulation is widely used as a tool for analyzing business s but is mostly focused on examining rather abstract steady-state situations. Such analyses are helpful for the initial d...
BPM
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. Business-driven development favors the construction of process modifferent abstraction levels and by different people. As a consequence, there is a demand for consolidati...
BPM
2008
Springer
13 years 6 months ago
2008
Springer
We present a finite representation of all services M where the composition with a given service N is deadlock-free, and a given set of activities of N can be covered (i.e. is not d...
BPM
2008
Springer
13 years 6 months ago
2008
Springer
Novel trends in Web services technology challenge the assumptions made by current standards for process-based service composition. Most RESTful Web service APIs, which do not rely ...
BPM
2008
Springer
13 years 6 months ago
2008
Springer
Although the business process community has put a major emphasis on patterns, notably the famous workflow patterns, only limited support for using patterns in today's business...
BPM
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. Many work has been conducted to analyze service choreographies to assert manyfold correctness criteria. While errors can be detected automatically, the correction of defe...
BPM
2008
Springer
13 years 6 months ago
2008
Springer