How to guarantee compliance between workflows and product lifecycles?

Information Systems

Volumn 42, Issue , 2014, Pages 195-215

  Wang, Zhaoxia ^a,b,c,d   Ter Hofstede, Arthur H M ^e,f   Ouyang, Chun ^e   Wynn, Moe ^e   Wang, Jianmin ^a,b,c   Zhu, Xiaochen ^a,b,c  

^a TSINGHUA UNIVERSITY   (China)

^b BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS   (China)

^c TSINGHUA NATIONAL LABORATORY FOR INFORMATION SCIENCE AND TECHNOLOGY   (China)

^d Logistical Engineering University of PLA   (China)

^e QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

^f EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Compliance; Process model; Product lifecycle management; Verification; Workflow management

Indexed keywords

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

References (52)

1. W.M.P. van der Aalst The application of Petri nets to workflow management J. Circuits Syst. Comput. 8 1 1998 21 66 (Pubitemid 128540249)
2. W.M.P. van der Aalst, Information and process integration in enterprises: rethinking documents, in: Three Good Reasons for Using a Petri-Net-Based Workflow Management System, The Kluwer International Series in Engineering and Computer Science, Kluwer Academic Publishers, Norwell, 1998, pp. 161-182 (Chapter 10).
3. W.M.P. van der Aalst, H.T. de Beer, and B.F. van Dongen Process mining and verification of properties: an approach based on temporal logic R. Meersman, Proceedings of the CoopIS, DOA, and ODBASE, OTM Confederated International Conferences on the Move to Meaningful Internet Systems, Part I, Lecture Notes in Computer Science, October 31-November 4 vol. 3760 2005 Springer-Verlag Germany 130 147 (Pubitemid 43734301)
4. W.M.P. van der Aalst, B.F. van Dongen, C.W. Günther, A. Rozinat, H.M.W. Verbeek, and A.J.M.M. Weijters ProM the process mining toolkit A.K.A. de Medeiros, B. Weber, CEUR Workshop Proceedings of the Business Process Management Demonstration Track (BPMDemos 2009), September 8, 2009 vol. 489 2009 CEUR-WS.org Ulm, Germany
5. W.M.P. van der Aalst, and K.M. van Hee Workflow Management Models, Methods, and Systems 2002 MIT Press USA
6. A. Al-Khudair, W.A. Gray, and J.C. Miles Object-oriented versioning in a concurrent engineering design environment B.J. Read, Advances in Databases, Proceedings of the 18th British National Conference on Databases, BNCOD 18, Lecture Notes in Computer Science, July 9-11 vol. 2097 2001 Springer-Verlag Chilton, UK 105 125 (Pubitemid 33303651)
7. A. Awad, G. Decker, and M. Weske Efficient compliance checking using BPMN-Q and temporal logic M. Dumas, M. Reichert, M.-C. Shan, Proceedings of the 6th International Conference on Business Process Management, BPM 2008, Lecture Notes in Computer Science, September 2-4 vol. 5240 2008 Springer-Verlag Milan, Italy 326 341
8. Ahmed Awad, Gero Decker, and Niels Lohmann Diagnosing and repairing data anomalies in process models Stefanie Rinderle-Ma, Shazia Wasim Sadiq, Frank Leymann, International Workshops on Business Process Management, BPM, Revised Papers, Lecture Notes in Business Information Processing, September 7, 2009 vol. 43 2010 Springer Ulm, Germany 5 16
9. Jörg Becker, Patrick Delfmann, Mathias Eggert, and Sebastian Schwittay Generalizability and applicability of model-based business process compliance-checking approaches - a state-of-the-art analysis and research roadmap BuR - Bus. Res. 5 2 2012 221 247
10. Elisa Bertino, Elena Ferrari, and Vijay Atluri The specification and enforcement of authorization constraints in workflow management systems ACM Trans. Inf. Syst. Secur. 2 February (1) 1999 65 104
11. 398, Proceedings of the Third ACM Workshop on Role-Based Access Control, ACM, Fairfax, VA, USA, October 22-23, 1998, pp. 115-121.
12. K.R. Dittrich, and A.L. Raymond Version support for engineering database systems IEEE Trans. Softw. Eng. 14 4 1988 429 437
13. Amal Elgammal, Oktay Türetken, and Willem-Jan van den Heuvel Using patterns for the analysis and resolution of compliance violations Int. J. Coop. Inf. Syst. 21 1 2012 31 54
14. A. Ghose, and G. Koliadis Auditing business process compliance B.J. Krämer, K.J. Lin, P. Narasimhan, Proceedings of the 5th International Conference on Service-Oriented Computing - ICSOC 2007, Lecture Notes in Computer Science, September 17-20 vol. 4749 2007 Springer Vienna, Austria 169 180
15. S. Goedertier, and J. Vanthienen Designing compliant business processes with obligations and permissions J. Eder, S. Dustdar, International Workshops on Business Process Management Workshops, BPM 2006, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Lecture Notes in Computer Science vol. 4103 2006 Springer Germany 5 14 (Pubitemid 44543231)
16. 306, CEUR Workshop Proceedings, June 5-9 vol. 236 2007 CEUR-WS.org Luxemburg 94 104
17. G. Governatori, and Z. Milosevic A formal analysis of a business contract language Int. J. Coop. Inf. Syst. 15 4 2006 659 685 (Pubitemid 44600123)
18. 312), Lecture Notes in Computer Science, vol. 7438, Springer, Montpellier, France, 2012, pp. 32-46.
19. Alan R. Hevner, Salvatore T. March, Jinsoo Park, and Sudha Ram Design science in information systems research MIS Q. 28 1 2004 75 105
20. J. Hoffmann, I. Weber, and G. Governatori On compliance checking for clausal constraints in annotated process models Inf. Syst. Front. 11 5 2009 1 23
21. Jörg Hoffmann, Ingo Weber, and Guido Governatori On compliance checking for clausal constraints in annotated process models Inf. Syst. Front. 14 2 2012 155 177
22. 307: Proceedings of the 5th International Conference on Business Process Management, Springer-Verlag, Berlin, Heidelberg, 2007, pp. 165-181.
23. Y. Liu, S. Müller, and K. Xu A static compliance-checking framework for business process models IBM Syst. J. 46 2 2007 335 361 (Pubitemid 46915268)
24. R. Lu, S.W. Sadiq, and G. Governatori Compliance aware business process design A.H.M. ter Hofstede, B. Benatallah, H.Y. Paik, Business Process Management Workshops, Lecture Notes in Computer Science vol. 4928 2007 Springer-Verlag Berlin, Heidelberg 120 131
25. 306 Proceedings of the 4th International Conference on Business Process Management, Lecture Notes in Computer Science vol. 4102 2006 Springer-Verlag Berlin, Heidelberg 193 208 (Pubitemid 44568327)
26. L.T. Ly, S. Rinderle, and P. Dadam Integration and verification of semantic constraints in adaptive process management systems Data Knowl. Eng. 64 1 2008 3 23 (Pubitemid 350087284)
27. 308), Lecture Notes in Computer Science, vol. 5074, Springer, Montpellier, France, 2008, pp. 48-63.
28. T. Murata Petri nets properties, analysis and applications Proc. IEEE 77 4 1989 541 580
29. K. Namiri, and N. Stojanovic Pattern-based design and validation of business process compliance R. Meersman, Z. Tari, Proceedings of the CoopIS, DOA, ODBASE, GADA, and IS, OTM Confederated International Conferences On the Move to Meaningful Internet Systems, Part I, Lecture Notes in Computer Science, November 25-30 vol. 4803 2007 Springer-Verlag Vilamoura, Portugal 59 76
30. Z.M. Qiu, and Y.S. Wong Dynamic workflow change in PDM systems Comput. Ind. 58 5 2007 453 463 (Pubitemid 46590430)
31. Elham Ramezani, Dirk Fahland, Wil M.P. van der Aalst, Where did i misbehave? Diagnostic information in compliance checking, in: Proceedings of the 10th International Conference on Business Process Management (BPM 2012), Lecture Notes in Business Information Processing, vol. 7481, Springer, Tallinn, Estonia, 2012, pp. 262-278.
32. R.M. Rangan, S.M. Rohde, R. Peak, B. Chadha, and P. Bliznakov Streamlining product lifecycle processes a survey of product lifecycle management implementations, directions, and challenges J. Comput. Inf. Sci. Eng. 5 3 2005 227 237 (Pubitemid 41639761)
33. D. Roman, and M. Kifer Reasoning about the behavior of semantic web services with concurrent transaction logic C. Koch, J. Gehrke, M.N. Garofalakis, D. Srivastava, K. Aberer, A. Deshpande, D. Florescu, C.Y. Chan, V. Ganti, C.-C. Kanne, W. Klas, E.J. Neuhold, Proceedings of the 33rd International Conference on Very Large Data Bases, September 23-27 2007 University of Vienna, ACM Austria 627 638
34. Ksenia Ryndina, Jochen Malte Küster, and Harald Gall Consistency of business process models and object life cycles Thomas Kühne, Models in Software Engineering, Workshops and Symposia at MoDELS 2006, Reports and Revised Selected Papers, Lecture Notes in Computer Science, October 1-6 vol. 4364 2007 Springer Genoa, Italy 80 90
35. 307), CEUR Workshop Proceedings, 24-27 September vol. 272 2007 CEUR-WS.org Brisbane, Australia
36. S. Sadiq, G. Governatori, and K. Namiri Modeling control objectives for business process compliance G. Alonso, P. Dadam, M. Rosemann, Proceedings of the 5th International Conference on Business Process Management, BPM, Lecture Notes in Computer Science, September 24-28 vol. 4714 2007 Springer-Verlag Brisbane, Australia 149 164
37. R.S. Sandhu, E.J. Coyne, H.L. Feinstein, and C.E. Youman Role-based access control models IEEE Comput. 29 2 1996 38 47
38. G. Schuh, H. Rozenfeld, D. Assmus, and E. Zancul Process oriented framework to support PLM implementation Comput. Ind. 59 2-3 2008 210 218
39. Natalia Sidorova, Christian Stahl, and Nikola Trcka Soundness verification for conceptual workflow nets with data early detection of errors with the most precision possible Inf. Syst. 36 7 2011 1026 1043
40. N. Trčka, W.M.P. van der Aalst, and N. Sidorova Data-flow anti-patterns discovering data-flow errors in workflows P. van Eck, J. Gordijn, R. Wieringa, Proceedings of the 21st International Conference on Advanced Information Systems Engineering, CAiSE 2009, Lecture Notes in Computer Science, June 8-12 vol. 5565 2009 Springer-Verlag Amsterdam, The Netherlands 425 439
41. Oktay Türetken, Amal Elgammal, Willem-Jan van den Heuvel, and Michael P. Papazoglou Capturing compliance requirements a pattern-based approach IEEE Softw. 29 3 2012 28 36
42. Kees M. van Hee, Natalia Sidorova, Lou J. Somers, and Marc Voorhoeve Consistency in model integration Data Knowl. Eng. 56 1 2006 4 22 (Pubitemid 41542965)
43. H.M.W. Verbeek, Verification of WF-nets (Ph.D. thesis), Eindhoven University of Technology, Eindhoven, The Netherlands, 2004.
44. H.M.W. Verbeek, T. Basten, and W.M.P. van der Aalst Diagnosing workflow processes using Woflan Comput. J. 44 4 2001 246 279 (Pubitemid 34011460)
45. H.M.W. Verbeek, and W.M.P. van der Aalst Woflan 2.0 a Petri-net-based workflow diagnosis tool M. Nielsen, D. Simpson, Proceedings of the 21st International Conference on Application and Theory of Petri Nets 2000, ICATPN 2000, Lecture Notes in Computer Science, June 26-30 vol. 1825 2000 Springer Aarhus, Denmark, Berlin/Heidelberg 475 484
46. J. Wainer, P. Barthelmess, and A. Kumar W-RBAC-a workflow security model incorporating controlled overriding of constraints Int. J. Coop. Inf. Syst. 12 4 2003 455 485 (Pubitemid 38000660)
47. Z. Wang, A.H.M. ter Hofstede, C. Ouyang, M. Wynn, J. Wang, X. Zhu, How to Guarantee Compliance Between Workflows and Product Lifecycles? Technical Report BPM Center BPM-11-10, BPMcenter.org, 2011.
48. Ingo Weber, Jörg Hoffmann, and Jan Mendling Beyond soundness on the verification of semantic business process models Distrib. Parallel Databases 27 3 2010 271 343
49. B. Westfechtel Integrated product and process management for engineering design applications Integr. Comput.-Aided Eng. 3 1 1996 20 35 (Pubitemid 126643067)
50. B. Westfechtel, B.P. Munch, and R. Conradi A layered architecture for uniform version management IEEE Trans. Softw. Eng. 27 12 2001 1111 1133 (Pubitemid 34035565)
51. M.T.K. Wynn, Semantics, verification, and implementation of workflows with cancellation regions and OR-joins (Ph.D. thesis), Queensland University of Technology, Brisbane, Australia, 2006.
52. H. Zha, W.M.P. van der Aalst, J. Wang, L. Wen, and J. Sun Verifying workflow processes a transformation-based approach Softw. Syst. Model. 10 2 2010 253 264