Compliance by design for artifact-centric business processes

Information Systems

Volumn 38, Issue 4, 2013, Pages 606-618

  Lohmann, Niels ^a  

^a UNIVERSITY OF ROSTOCK   (Germany)

Author keywords

Artifact centric business processes; Compliance by design; Compliance management; Process synthesis

Indexed keywords

DESIGN; LAWS AND LEGISLATION;

ARTIFACT-CENTRIC; BEST PRACTICES; BUSINESS PROCESS; COMPLIANCE MANAGEMENT; COMPLIANCE RULES; LEGAL REGULATION; PROCESS SYNTHESIS; SET OF RULES;

COMPLIANCE CONTROL;

EID: 84892953971     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.is.2012.07.003     Document Type: Article

References (36)

1. N. Lohmann, Compliance by design for artifact-centric business processes, in: BPM 2011, Lecture Notes in Computer Science (LNCS), vol. 6896, Springer, 2011, pp. 99-115.
2. J.C. Cannon, M. Byers, Compliance deconstructed, ACM Queue 4 (7) (2006) 30-37.
3. R. Lu, S.W. Sadiq, G. Governatori, Compliance aware business process design, in: BPM 2007 Workshops, Lecture Notes in Computer Science (LNCS), vol. 4928, Springer, 2007, pp. 120-131.
4. M. Ben-Ari, Z. Manna, A. Pnueli, The temporal logic of branching time, in: POPL '81, ACM, 1981, pp. 164-176.
5. A. Pnueli, The temporal logic of programs, in: FOCS 1977, IEEE, 1977, pp. 46-57.
6. A. Pnueli, In transition from global to modular temporal reasoning about programs, in: Logics and Models of Concurrent Systems, vol. F-13, NATO Advanced Summer Institutes, Springer, 1985, pp. 123-144.
7. W.M.P.v.d. Aalst, M. Pesic, DecSerFlow: Towards a truly declarative service flow language, in: WS-FM 2006, Lecture Notes in Computer Science (LNCS), vol. 4184, Springer, 2006, pp. 1-23. (Pubitemid 44849748)
8. A. Awad, BPMN-Q: a language to query business processes, in: EMISA 2007, Lecture Notes in Informatics (LNI), vol. P-119, GI, 2007, pp. 115-128.
9. E.M. Clarke, O. Grumberg, D.A. Peled, Model Checking, MIT Press, 1999.
10. S. Sackmann, M. Kähmer, M. Gilliot, L. Lowis, A classification model for automating compliance, in: CEC/EEE 2008, IEEE, 2008, pp. 79-86.
11. N. Lohmann, K. Wolf, Artifact-centric choreographies, in: ICSOC 2010, Lecture Notes in Computer Science (LNCS), vol. 6470, Springer, 2010, pp. 32-46.
12. K. Ryndina, J.M. Küster, H. Gall, Consistency of business process models and object life cycles, in: MoDELS Workshops, Lecture Notes in Computer Science (LNCS), vol. 4364, Springer, 2006, pp. 80-90.
13. OMG, Business Process Model and Notation (BPMN), Version 2.0, Object Management Group, 2011. URL .
14. A. Alves, et al., Web Services Business Process Execution Language Version 2.0, OASIS Standard, OASIS, April 2007. URL .
15. N. Lohmann, J. Kleine, Fully-automatic translation of open workflow net models into simple abstract BPEL processes, in: Modellier-ung 2008, Lecture Notes in Informatics (LNI), vol. P-127, GI, 2008, pp. 57-72.
16. W.M.P.v.d. Aalst, The application of Petri nets to workflow management, Journal of Circuits, Systems and Computers 8 (1) (1998) 21-66.
17. W. Reisig, Petri Nets, EATCS Monographs on Theoretical Computer Science Edition, Springer, 1985.
18. P. Ramadge, W. Wonham, Supervisory control of a class of discrete event processes, SIAM Journal on Control and Optimization 25 (1) (1987) 206-230. (Pubitemid 17513624)
19. K. Wolf, Does my service have partners? Lecture Notes in Computer Science (LNCS), vol. 5460 (II), ToPNoC, 2009, pp. 152-171.
20. N. Lohmann, D. Weinberg, Wendy: a tool to synthesize partners for services, in: PETRI NETS 2010, Lecture Notes in Computer Science (LNCS), vol. 6128, Springer, 2010, pp. 297-307, tool available at .
21. N. Lohmann, P. Massuthe, K. Wolf, Behavioral constraints for services, in: BPM 2007, Lecture Notes in Computer Science (LNCS), vol. 4714, Springer, 2007, pp. 271-287.
22. N. Lohmann, S. Mennicke, C. Sura, The Petri Net API: a collection of Petri net-related functions, in: APWN 2010, CEUR Workshop Proceedings, vol. 643, 2010, pp. 148-155, CEUR-WS.org.
23. M.B. Dwyer, G.S. Avrunin, J.C. Corbett, Patterns in property specifications for finite-state verification, in: ICSE 1999, IEEE, 1999, pp. 411-420.
24. K. Havelund, G. Ros-u, Testing linear temporal logic formulae on finite execution traces, Technical Report 01.08, RIACS, 2001.
25. A. Awad, M. Weidlich, M. Weske, Visually specifying compliance rules and explaining their violations for business processes, Journal of Visual Languages and Computing 22 (1) (2011) 30-55.
26. S. Goedertier, J. Vanthienen, Designing compliant business processes with obligations and permissions, in: BPM Workshops 2006, Lecture Notes in Computer Science (LNCS), vol. 4103, Springer, 2006, pp. 5-14. (Pubitemid 44543231)
27. P. Massuthe, A. Serebrenik, N. Sidorova, K. Wolf, Can I find a partner? Undecidablity of partner existence for open nets, Information Processing Letters 108 (6) (2008) 374-378.
28. J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, A. Yakovlev, Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers, Transactions on Information and Systems E80-D (3) (1997) 315-325. (Pubitemid 127757728)
29. N. Lohmann, Why does my service have no partners? in: WS-FM 2008, Lecture Notes in Computer Science (LNCS), vol. 5387, Springer, 2009, pp. 191-206.
30. R. Hull, E. Damaggio, F. Fournier, M. Gupta, F.T. Heath, S. Hobson, M.H. Linehan, S. Maradugu, A. Nigam, P. Sukaviriya, R. Vaculín, Introducing the guard-stage-milestone approach for specifying business entity lifecycles, in: WS-FM 2010, Lecture Notes in Computer Science (LNCS), vol. 6551, Springer-Verlag, 2011, pp. 1-24.
31. B.B. Hariri, D. Calvanese, G.D. Giacomo, R.D. Masellis, P. Felli, Foundations of relational artifacts verification, in: BPM 2011, Lecture Notes in Computer Science (LNCS), vol. 6896, Springer, 2011, pp. 379-395.
32. S.W. Sadiq, G. Governatori, K. Namiri, Modeling control objectives for business process compliance, in: BPM 2007, Lecture Notes in Computer Science (LNCS), vol. 4714, Springer, 2007, pp. 149-164.
33. D. Knuplesch, L.T. Ly, S. Rinderle-Ma, H. Pfeifer, P. Dadam, On enabling data-aware compliance checking of business process models, in: ER 2010, Lecture Notes in Computer Science (LNCS), vol. 6412, Springer, 2010, pp. 332-346.
34. J.M. Küster, K. Ryndina, H. Gall, Generation of business process models for object life cycle compliance, in: BPM 2007, Lecture Notes in Computer Science (LNCS), vol. 4714, Springer, 2007, pp. 165-181.
35. D. Fahland, C. Favre, B. Jobstmann, J. Koehler, N. Lohmann, H. Völzer, K. Wolf, Instantaneous soundness checking of industrial business process models, in: BPM 2009, Lecture Notes in Computer Science (LNCS), vol. 5701, Springer, 2009, pp. 278-293.
36. N. Lohmann, M. Nyolt, Artifact-centric modeling using BPMN, in: ICSOC 2011 Workshops, Lecture Notes in Computer Science (LNCS), vol. 7221, Springer, 2012, pp. 54-65.