Checking correctness and compliance of integrated process models

Proceedings of the 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2008

Volumn , Issue , 2008, Pages 576-583

  Wörzberger, René ^a   Kurpick, Thomas ^a   Heer, Thomas ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT MODELS; ABSTRACT PROCESS; ABSTRACTION LAYER; BUSINESS PROCESS MANAGEMENT; DYNAMIC MODIFICATIONS; EXECUTABLE PROCESS; GRAPHICAL PROCESS; INTEGRATED PROCESS MODEL; META MODEL; MODEL CONSTRAINTS; MODELING TOOL; OBJECT CONSTRAINT LANGUAGE; PROCESS INSTANCES; PROCESS KNOWLEDGE; PROCESS-AWARE INFORMATION SYSTEMS; RUNTIMES;

ABSTRACTING; COMPUTATION THEORY; ENTERPRISE RESOURCE MANAGEMENT; PROCESS MONITORING;

MODEL CHECKING;

EID: 70449466965     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SYNASC.2008.10     Document Type: Conference Paper

References (27)

1. M. Dumas, W. M. P. van der Aalst, and A. H. M. ter Hofstede, Eds., Process-Aware Information Systems. John Wiley & Sons, 2005.
2. A. Alves, A. Arkin, S. Askary, C. Barreto, B. Bloch, F. Curbera, M. Ford, Y. Goland, A. Guzar, N. Kartha, C. K. Liu, R. Khalaf, D. Knig, M. Marin, V. Mehta, S. Thatte, D. van der Rijn, P. Yendluri, and A. Yiu, "Web services business process execution language v2.0," Organization for the Advancement of Structured Information Standards (OASIS), Tech. Rep., 2007.
3. J. Krogstie, G. Sindre, and H. Jorgensen, "Process models representing knowledge for action: a revised quality framework," Eur. J. Inf. Syst., vol. 15, no. 1, pp. 91-102, 2006.
4. F. Budinsky, D. Steinberg, E. Merks, R. Ellersick, and T. Grose, Eclipse Modeling Framework, 1st ed., ser. The Eclipse Series, E. Gamma, L. Nackman, and J. Wiegand, Eds. Addison-Wesley Professional, 2004.
5. Object Constraint Language (OMG) Specification - Version 2.0, Object Management Group (OMG), May 2006. [Online]. Available: http://www.omg.org/docs/ formal/06-05-01.pdf
6. R. Wörzberger and T. Heer, "Process model editing support using eclipse modeling project tools," in Proceedings of the Second Workshop on MDSD Today, ser. Lecture Notes in Informatics, P. Friese, S. Zambrovski, and F. Zimmermann, Eds. Shaker Verlag, 2008.
7. H. M. W. Verbeek, T. Basten, and W. M. P. van der Aalst, "Diagnosing Workflow Processes using Woflan," The Computer Journal, vol. 44, no. 4, pp. 246-279, 2001. [Online]. Available: http://comjnl.oxfordjournals.org/cgi/ content/abstract/44/4/246
8. J. Mendling and W. M. P. van der Aalst, "Formalization and verification of epcs with or-joins based on state and context," in CAiSE, ser. Lecture Notes in Computer Science, J. Krogstie, A. L. Opdahl, and G. Sindre, Eds., vol. 4495. Springer, 2007, pp. 439-453.
9. C. Fuss, C. Mosler, U. Ranger, and E. Schultchen, "The jury is still out: A comparison of AGG, Fujaba, and PROGRES," in Proceedings of the 6th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT' 07), 2007, 14 pp.
10. M. Reichert, "Dynamische Ablaufänderungen in Workflow- Management-Systemen," Ph. D. dissertation, Universität Ulm, May 2000.
11. M. Heller, D. Jäger, C.-A. Krapp, M. Nagl, A. Schleicher, B. Westfechtel, and R. Wörzberger, An Adaptive and Reactive Management System for Project Coordination. Springer, 2008, ch. 3, pp. 300-366.
12. M. Nagl and W. Marquardt, Eds., Collaborative and Distributed Chemical Engineering: From Understanding to Substantial Design Process Support, ser. Lecture Notes in Computer Science. Springer, 2008, vol. 4970.
13. P. Heimann, G. Joeris, C.-A. Krapp, and B. Westfechtel, "DYNAMITE: Dynamic task nets for software process management," in Proceedings of the 18th International Conference on Software Engineering. IEEE Computer Society Press, 1996, pp. 331-341. [Online]. Available: citeseer.ist.psu.edu/ heimann96dynamite.html
14. C.-A. Krapp, "An adaptable environment for the management of development processes," Ph. D. dissertation, RWTH Aachen University, 1998.
15. Meta-Object Facility (MOF) Specification - Version 1.4, Object Management Group (OMG), April 2002.
16. A. Schleicher, "Management of Development Processes: An Evolutionary Approach," Ph. D. dissertation, RWTH Aachen University, 2002.
17. A. Schleicher and B. Westfechtel, "Beyond stereotyping: Metamodeling for the UML," in Proceedings of the 34th Hawaii International Conference on System Sciences (HICSS), Minitrack: Unified Modeling - A Critical Review and Suggested Future, 10 pages. IEEE Computer Society Press, 2001.
18. A. Schürr, A. Winter, and A. Zündorf, "The PROGRES approach: Language and environment," in Handbook on Graph Grammars and Computing by Graph Transformation - Volume 2: Applications, Languages, and Tools, H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, Eds. World Scientific, 1999, pp. 478-550.
19. M. Pesic, M. Schonenberg, and W. Aalst, "Declare: Full support for loosely-structured processes," in EDOC '07: Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC). Washington, DC, USA: IEEE Computer Society, 2007, p. 287.
20. W. van der Aalst and A. Hofstede, "YAWL: Yet Another Workflow Language," Information System, vol. 30, no. 4, pp. 245-275, 2005.
21. B. Andersson, M. Bergholtz, A. Edirisuriya, T. Ilayperuma, and P. Johannesson, "A declarative foundation of process models," in CAiSE, 2005, pp. 233-247.
22. L. T. Ly, K. Göser, S. Rinderle-Maand P. Dadam, "Compliance of semantic constraints - A requirements analysis for process management systems," in Proc. 1st Int'l Workshop on Governance, Risk and Compliance - Applications in Information Systems (GRCIS'08), 2008.
23. A. Ghose and G. Koliadis, "Auditing business process compliance," in ICSOC, ser. Lecture Notes in Computer Science, B. J. Krämer, K.-J. Lin, and P. Narasimhan, Eds., vol. 4749. Springer, 2007, pp. 169-180. [Online]. Available: http://dx.doi.org/10.1007/978-3-540-74974-5-14
24. S. Goedertier and J. Vanthienen, "Designing compliant business processes with obligations and permissions," in Business Process Management Workshops, ser. Lecture Notes in Computer Science, J. Eder and S. Dustdar, Eds., vol. 4103. Springer, 2006, pp. 5-14. [Online]. Available: http://dx.doi.org/10.1007/11837862-2
25. A. Rozinat and W. M. P. van der Aalst, "Conformance checking of processes based on monitoring real behavior," Inf. Syst., vol. 33, no. 1, pp. 64-95, 2008.
26. R. Lu, S. W. Sadiq, and G. Governatori, "Compliance aware business process design," in Business Process Management Workshops, ser. Lecture Notes in Computer Science, A. H. M. ter Hofstede, B. Benatallah, and H.-Y. Paik, Eds., vol. 4928. Springer, 2007, pp. 120-131. [Online]. Available: http://dx.doi.org/10.1007/978-3-540-78238-4-14
27. R. Wörzberger, N. Ehses, and T. Heer, "Adding Support for Dynamics Patterns to Static Business Process Management System," in Software Composition, ser. Lecture Notes in Computer Science, C. Pautasso and E. Tanter, Eds., vol. 4954. Springer, 2008, pp. 84-91.