Semantic business process validation

CEUR Workshop Proceedings

Volumn 472, Issue , 2009, Pages

  Weber, Ingo ^a   Hoffmann, Jörg ^b   Mendling, Jan ^c  

^a SAP RESEARCH   (Germany)

^b UNIVERSITY OF INNSBRUCK   (Austria)

^c QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; ENTERPRISE RESOURCE MANAGEMENT; POLYNOMIAL APPROXIMATION;

BUSINESS PROCESS MANAGEMENT; ECONOMIC POTENTIALS; FORMAL SEMANTICS; GRAPHICAL NOTATION; SEMANTIC ANNOTATIONS; SEMANTIC VALIDATIONS; TECHNICAL CONTRIBUTION; WORKFLOW STRUCTURES;

SEMANTICS;

EID: 84885698622     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)

1. A. Ankolekar et al. DAML-S:Web service description for the semantic web. In ISWC, 2002.
2. A. Aho, R. Sethi, and J. Ullman. Compilers: principles, techniques, and tools. Addison- Wesley, 1986.
3. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S.Weerawarana. Business Process Execution Language for Web Services, Version 1.1. Specification, BEA Systems, IBM Corp., Microsoft Corp., SAP AG, Siebel Systems, 2003.
4. B. Aspvall, M. Plass, and R. Tarjan. A linear-time algorithm for testing the truth of certain quantified boolean formulas. Information Processing Letters, 8:121-123, 1979.
5. F. Baader, C. Lutz, M. Milicic, U. Sattler, and F. Wolter. Integrating description logics and action formalisms: First results. In AAAI, 2005.
6. E. Bertino, E. Ferrari, and V. Atluri. The specification and enforcement of authorization constraints in workflow management systems. ACM Transactions on Information Systems Security, 2(1):65-104, 1999.
7. E. Clarke, O. Grumberg, and D. Peled. Model Checking. The MIT Press, 2000.
8. The OWL Services Coalition. OWL-S: Semantic Markup for Web Services, 2003.
9. D. Fensel et al. Enabling Semantic Web Services: The Web Service Modeling Ontology. Springer-Verlag, 2006.
10. T. Eiter and G. Gottlob. On the complexity of propositional knowledge base revision, updates, and counterfactuals. Artificial Intelligence, 57(2-3):227-270, 1992. (Pubitemid 23586698)
11. G. De Giacomo, M. Lenzerini, A. Poggi, and R. Rosati. On the update of description logic ontologies at the instance level. In AAAI, 2006.
12. A. Herzig and O. Rifi. Propositional belief base update and minimal change. Artificial Intelligence, 115(1):107-138, 1999. (Pubitemid 30522973)
13. George Koliadis and Aditya Ghose. Verifying semantic business process models in interoperation. In Intl. Conf. Services Computing (SCC 2007), 2007.
14. C. Lutz and U. Sattler. A proposal for describing services with DLs. In DL, 2002.
15. L. Thao Ly, S. Rinderle, and P. Dadam. Semantic correctness in adaptive process management systems. In BPM, 2006.
16. Kioumars Namiri and Nenad Stojanovic. A model-driven approach for internal controls compliance in business processes. In SBPM, 2007.
17. OASIS. Web Services Business Process Execution Language Version 2.0, April 2007.
18. OMG. Business Process Modeling Notation - BPMN 1.0. http://www.bpmn.org/ 2006.
19. A. Pnueli. The Temporal Logic of Programs. In IEEE Annual Symposium on the Foundations of Computer Science, 1977.
20. M. Reichert, S. Rinderle, and P. Dadam. ADEPT workflow management system: Flexible support for enterprise-wide business processes. In BPM, 2003.
21. M. Reichert, S. Rinderle, U. Kreher, and P. Dadam. Adaptive process management with ADEPT2. In ICDE, 2005.
22. S. Sadiq, M. Orlowska, andW. Sadiq. Specification and validation of process constraints for flexible workflows. Journal of Information Systems, 30(5):349-378, 2005. (Pubitemid 40304702)
23. W. van der Aalst, H. de Beer, and B. van Dongen. Process mining and verification of properties: An approach based on temporal logic. In OTM Conferences, 2005.
24. W. van der Aalst and K. van Hee. Workflow Management: Models, Methods, and Systems. The MIT Press, 2002.
25. J. Vanhatalo, H. V̈olzer, and F. Leymann. Faster and more focused control-flow analysis for business process models though sese decomposition. In ICSOC, 2007.
26. I. Weber, J. Hoffmann, and J. Mendling. Semantic business process validation. Technical report, University of Innsbruck, 2008. Available at http://members.deri.at/̃joergh/papers/trsbpm08.pdf.
27. M. Winslett. Reasoning about actions using a possible models approach. In AAAI, 1988.