Information Technology Reference
In-Depth Information
BP model and the resulting OLC?; (ii) how can it be detected in the reachability
graph?; and (iii) how can the Petri net be re-constructed to fix the deadlock?
A prototype of the BP2OLC procedure has been implemented reusing the code
of ProM
6
, an open-source platform for process mining that counts on a number
of plugins and components to work with Petri nets. The developed prototype
corresponds to steps 2 and 3 of the BP2OLC procedure and also contains the
detection and handling of the data anomalies described above. It receives a Petri
net in format PNML 1.3.2. as input and returns the life cycle of the data object
represented in that net. The software is available upon request.
As future work, we plan to extend the kinds of BP structures considered, to
take data objects from repositories into account, and to study alternatives to
manage and repair the detected data anomalies in the source BP model.
References
1. Bpmn 2.0, recommendation, OMG (2011)
2. Awad, A., Decker, G., Lohmann, N.: Diagnosing and repairing data anomalies in
process models. In: BPM Workshops, pp. 5-16 (2009)
3. Sadiq, S., Orlowska, M.E., Sadiq, W., Foulger, C.: Data flow and validation in work-
flow modelling. In: Fifteenth Australasian Database Conference (ADC). CRPIT,
vol. 27, pp. 207-214. ACS (2004)
4. Sun, S.X., Zhao, J.L., Nunamaker, J.F., Sheng, O.R.L.: Formulating the Data-Flow
perspective for business process management. Info. Sys. Research 17(4), 374-391
(2006)
5. Awad, A., Weidlich, M., Weske, M.: Specification, verification and explanation of
violation for data aware compliance rules. In: Baresi, L., Chi, C.-H., Suzuki, J.
(eds.) ICSOC-ServiceWave 2009. LNCS, vol. 5900, pp. 500-515. Springer, Heidel-
berg (2009)
6. van der Aalst, W.M.P.: The application of petri nets to workflow management.
Journal of Circuits, Systems, and Computers 8(1), 21-66 (1998)
7. Harel, D., Rumpe, B.: “Meaningful modeling: what's the semantics of ”semantics”?
Computer 37(10), 64-72 (2004)
8. Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the
IEEE 77(4), 541-580 (1989)
9. Snoeck, M., Poelmans, S., Dedene, G.: An architecture for bridging oo and busi-
ness process modelling. In: Proceedings of the 33rd International Conference on
Technology of Object-Oriented Languages, TOOLS 33, pp. 132-143 (2000)
10. Ryndina, K., Kuster, J., Gall, H.: Consistency of business process models and
object life cycles. Models in Software Engineering, 80-90 (2007)
11. Kuster, J., Ryndina, K., Gall, H.: Generation of business process models for object
life cycle compliance. In: Business Process Management, pp. 165-181 (2007)
12. Decker, G., Overdick, H., Weske, M.: Oryx - an open modeling platform for the
BPM community. In: Proceedings of the 6th International Conference on Business
Process Management, pp. 382-385. Springer, Heidelberg (2008)
13. Sakr, S., Awad, A.: A framework for querying graph-based business process models.
In: WWW, pp. 1297-1300 (2010)
6
http://prom.win.tue.nl/tools/prom/
