Beyond soundness: On the semantic consistency of executable process models

Proceedings of the 6th IEEE European Conference on Web Services, ECOWS'08

Volumn , Issue , 2008, Pages 102-111

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

^a SAP RESEARCH   (Germany)

^b HUMBOLDT UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL EFFICIENCY; COMPUTATIONAL LINGUISTICS; FORMAL LOGIC; ONTOLOGY; POLYNOMIAL APPROXIMATION; PROBABILITY DENSITY FUNCTION; PROCESS MONITORING; SEMANTICS; WEB SERVICES; WORLD WIDE WEB;

BUSINESS DOMAINS; BUSINESS FUNCTIONS; BUSINESS PROCESS MODELING; CONTROL FLOWS; POLYNOMIAL-TIME; PROCESS ACTIVITIES; PROCESS MODELLING; SEMANTIC ANNOTATIONS; TECHNICAL REPORTS;

INFORMATION THEORY;

EID: 58449111906     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECOWS.2008.32     Document Type: Conference Paper

References (31)

1. Aalst, W.: Verification of Workflow Nets. In: Application and Theory of Petri Nets. (1997)
2. Dehnert, J., Aalst, W.: Bridging The Gap Between Business Models And Workflow Specifications. Int. J. Coop. Inf. Syst. 13 (2004) 289-332
3. Puhlmann, F., Weske, M.: Investigations on soundness regarding lazy activities. In: Business Process Management (BPM). LNCS 4102 (2006) 145-160
4. Mendling, J., Aalst, W.: Formalization and Verification of EPCs with OR-Joins Based on State and Context. In: Conf. Adv. Inf. Sys. Engineering (CAiSE). (2007) LNCS 4495.
5. Verbeek, H., Basten, T., Aalst, W.: Diagnosing Workflow Processes using Woflan. Comp. Journal 44 (2001)246-279
6. Hepp, M., Leymann, F., Domingue, J., Wahler, A., Fensel, D.: Semantic business process management: A vision towards using semantic web services for business process management. In: Proceedings of ICEBE (2005) 535-540
7. Weber, I., Hoffmann, J., Mendling, J., Nitzsche, J.: Towards a methodology for semantic business process modeling and configuration. In: ICSOC'07 Workshops. LNCS (2008)
8. A. Ankolekar et al: DAML-S: Web service description for the semantic web. In: ISWC. (2002)
9. The OWL Services Coalition: OWL-S: Semantic Markup for Web Services (2003)
10. D. Roman et al.: Web Service Modeling Ontology. Applied Ontology 1 (2005) 77-106
11. D. Fensel et al: Enabling Semantic Web Services: The Web Service Modeling Ontology. (2006)
12. Andersson, B., Bergholtz, M., Edirisuriya, A., Ilaype-ruma, T., Johannesson, P.: A declarative foundation of process models. In: CAiSE. (2005) 233-247
13. Aalst, W., Hee, K.: Workflow Management. (2002)
14. Vanhatalo, J., Völzer, H., Leymann, K: Faster and more focused control-flow analysis for business process models though sese decomposition. In: ICSOC. (2007)
15. Winslett, M.: Reasoning about actions using a possible models approach. In: AAAI. (1988)
16. Eiter, T., Gottlob, G.: On the complexity of propositional knowledge base revision, updates, and counter-factuals. Artificial Intelligence 57 (1992) 227-270
17. Herzig, A., Rifi, O.: Propositional belief base update and minimal change. AI 115 (1999)
18. Valmari, A.: The state explosion problem. In Reisig, W., Rozenberg, G., eds.: Lectures on Petri Nets I. LNCS 1491 (1998) 429-528
19. Anonymized: Beyond soundness: On the correctness of executable process models. Technical report (2008) TR for this paper, available to reviewers on request - will be made available on-line after publication.
20. T. Andrews and et al.: Business Process Execution Language for Web Services (version 1.1) (2003)
21. Aspvall, B., Plass, M., Tarjan, R.: A linear-time algorithm for testing the truth of certain quantified boolean formulas. Inf. Proc. Letters 8 (1979) 121-123
22. Ly, L.T., Rinderle, S., Dadam, P.: Semantic correctness in adaptive process management systems. In: BPM. (2006)
23. Aalst, W., Beer, H., Dongen, B.: Process mining and verification of properties: An approach based on temporal logic. In: OTM Conferences. (2005)
24. Bertino, E., Ferrari, E., Atluri, V.: The specification and enforcement of authorization constraints in workflow management systems. ACM TISSEC 2 (1999)
25. Namiri, K., Stojanovic, N.: A model-driven approach for internal controls compliance in business processes. In: SBPM. (2007)
26. Ryndina, K., Küster, J.M., Gall, H: Consistency of business process models and object life cycles. In: MoDELS Workshops. (2006) 80-90 LNCS 4364.
27. Meyer, H: On the semantics of service compositions. In: Web Reasoning and Rule Systems (2007) 31-42
28. Narayanan, S., McIlraith, S.: Simulation, verification and automated composition of web services. In: World Wide Web Conference. (2002) 77-88
29. Koliadis, G., Ghose, A.: Verifying semantic business process models in inter-operation. In: SCC. (2007)
30. Reichert, M., Rinderle, S., Dadam, P.: ADEPT workflow management system: Flexible support for enterprise-wide business processes. In: BPM. (2003)
31. Aho, A., Sethi, R., Ullman, J.: Compilers: principles, techniques, and tools. Addison-Wesley (1986)