Weak conformance between process models and synchronized object life cycles

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8831, Issue , 2014, Pages 359-367

  Meyer, Andreas ^a   Weske, Mathias ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS;

CONTROL FLOWS; EXECUTION CONSTRAINTS; MULTIPLE DATA; OBJECT LIFE CYCLE; PROCESS EXECUTION; PROCESS MODELING; REAL-WORLD PROCESS; STATE TRANSITIONS;

LIFE CYCLE;

EID: 84910679504     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-662-45391-9_25     Document Type: Conference Paper

References (23)

1. van der Aalst, W. M. P.: Verification of Workflow Nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407-426. Springer, Heidelberg (1997).
2. van der Aalst, W. M. P.: Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques. In: van der Aalst, W. M. P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 161-183. Springer, Heidelberg (2000).
3. Cohn, D., Hull, R.: Business Artifacts: A Data-centric Approach to Modeling Business Operations and Processes. IEEE Data Engineering Bulletin 32(3), 3-9 (2009).
4. Dijkman, R. M., Dumas, M., Ouyang, C.: Semantics and Analysis of Business Process Models in BPMN. Information & Software Technology 50(12), 1281-1294 (2008).
5. Eshuis, R.: Symbolic Model Checking of UML Activity Diagrams. ACM Transactions on Software Engineering and Methodology (TOSEM) 15(1), 1-38 (2006).
6. Fahland, D., Favre, C., Jobstmann, B., Koehler, J., Lohmann, N., Völzer, H., Wolf, K.: Instantaneous Soundness Checking of Industrial Business Process Models. In: Dayal, U., Eder, J., Koehler, J., Reijers, H. A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 278-293. Springer, Heidelberg (2009).
7. Fahland, D., de Leoni, M., van Dongen, B. F., van der Aalst, W. M. P.: Conformance Checking of Interacting Processes with Overlapping Instances. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 345-361. Springer, Heidelberg (2011).
8. Künzle, V., Weber, B., Reichert, M.: Object-aware Business Processes: Fundamental Requirements and their Support in Existing Approaches. IJISMD 2(2), 19-46 (2011).
9. Küster, J. M., Ryndina, K., Gall, H. C.: Generation of Business Process Models for Object Life Cycle Compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 165-181. Springer, Heidelberg (2007).
10. Liu, R., Wu, F. Y., Kumaran, S.: Transforming Activity-Centric Business ProcessModels into Information-Centric Models for SOA Solutions. J. Database Manag. 21(4), 14-34 (2010).
11. Lohmann, N.: Compliance by design for artifact-centric business processes. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 99-115. Springer, Heidelberg (2011).
12. Martens, A.: On Usability ofWeb Services. In: Web Information Systems EngineeringWorkshops, pp. 182-190. IEEE (2003).
13. Meyer, A., Polyvyanyy, A., Weske, M.: Weak Conformance of Process Models with respect to Data Objects. In: Services and their Composition (ZEUS), pp. 74-80 (2012).
14. Meyer, A., Pufahl, L., Batoulis, K., Kruse, S., Lindhauer, T., Stoff, T., Fahland, D., Weske, M.: Automating Data Exchange in Process Choreographies. In: Jarke, M., Mylopoulos, J., Quix, C., Rolland, C., Manolopoulos, Y., Mouratidis, H., Horkoff, J. (eds.) CAiSE 2014. LNCS, vol. 8484, pp. 316-331. Springer, Heidelberg (2014).
15. Meyer, A., Pufahl, L., Fahland, D., Weske, M.: Modeling and Enacting Complex Data Dependencies in Business Processes. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 171-186. Springer, Heidelberg (2013).
16. Meyer, A., Weske, M.: Weak Conformance between Process Models and Object Life Cycles. Tech. rep., Hasso Plattner Institute at the University of Potsdam (2014).
17. Nigam, A., Caswell, N. S.: Business artifacts: An approach to operational specification. IBM Systems Journal 42(3), 428-445 (2003).
18. OMG: Business Process Model and Notation (BPMN), Version 2. 0 (January 2011).
19. OMG: Unified Modeling Language (UML), Version 2. 4. 1 (August 2011).
20. Ryndina, K., Küster, J. M., Gall, H. C.: Consistency of Business Process Models and Object Life Cycles. In: Kühne, T. (ed.) MoDELS 2006. LNCS, vol. 4364, pp. 80-90. Springer, Heidelberg (2007).
21. Wang, Z., ter Hofstede, A. H. M., Ouyang, C., Wynn, M., Wang, J., Zhu, X.: How to Guarantee Compliance between Workflows and Product Lifecycles? Tech. rep., BPM Center Report BPM-11-10 (2011).
22. Weske, M.: Business Process Management: Concepts, Languages, Architectures, 2nd edn. Springer (2012).
23. Yongchareon, S., Liu, C., Zhao, X.: A Framework for Behavior-Consistent Specialization of Artifact-Centric Business Processes. In: Barros, A., Gal, A., Kindler, E. (eds.) BPM 2012. LNCS, vol. 7481, pp. 285-301. Springer, Heidelberg (2012).