Consistency checking for workflows with an ontology-based data perspective

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

Volumn 5690 LNCS, Issue , 2009, Pages 98-113

  Weiler, Gabriele ^a,b   Poetzsch Heffter, Arnd ^b   Kiefer, Stephan ^a  

^a FRAUNHOFER INSTITUTE FOR BIOMEDICAL ENGINEERING   (Germany)

^b University of Koblenz Landau   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX DATA; CONSISTENCY CHECKING; CONTROL FLOWS; DATA CONSISTENCY; DOMAIN ONTOLOGIES; HIGH COSTS; ONTOLOGY-BASED; RUN-TIME ERRORS; SOUNDNESS AND COMPLETENESS; WORK-FLOWS; WORKFLOW LANGUAGE;

DATABASE SYSTEMS; ERRORS; EXPERT SYSTEMS; MANAGEMENT; PROBLEM SOLVING; SEMANTIC WEB; SEMANTICS;

ONTOLOGY;

EID: 70349326118     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03573-9_8     Document Type: Conference Paper

References (19)

1. Verbeek, H., van der Aalst, W., ter Hofstede, A.: Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants. Computer Journal 50(3), 294-314 (2007)
2. Qian, Y., Xu, Y., Wang, Z., Pu, G., Zhu, H., Cai, C.: Tool Support for BPEL Verification in ActiveBPEL Engine. In: Proceedings of the 2007 Australian Software Engineering Conference, pp. 90-100 (2007)
3. Sun, X., Zhao, J., et al.: Formulating the Data-Flow Perspective for Business Process Management. Information Systems Research 17(4), 374-391 (2006)
4. Eshuis, R.: Semantics and Verification of UML Activity Diagrams for Workow Modelling. PhD thesis, University of Twente (2002), http://www.ctit. utwente.nl/library/phd/eshuis.pdf
5. W3C OWL Working Group: OWL 2 Web Ontology Language. W3C Working Draft (2009), http://www.w3.org/TR/owl2-overview/
6. Weiler, G.: Consistency Checking for Workflows with an Ontology-Based Data Perspective (unpublished) (2009), http://softech.informatik.uni-kl.de/ twiki/bin/view/Homepage/PublikationsDetail?id=133
7. Weiler, G., Brochhausen, M., Graf, N., Schera, F., Hoppe, A., Kiefer, S.: Ontology Based Data Management Systems for Post-Genomic Clinical Trials within a European Grid Infrastructure for Cancer Research. In: Proc. of the 29 Annual International Conference of the IEEE EMBS, August 2007, pp. 6434-6437 (2007)
8. Tsiknakis, M., Brochhausen, M., et al.: A Semantic Grid Infrastructure Enabling Integrated Access and Analysis of Multilevel Biomedical Data in Support of Postgenomic Clinical Trials on Cancer. IEEE Transactions on Information Technology in Biomedicine 12(2), 205-217 (2008)
9. Brochhausen, M.,Weiler, G., et al.: The ACGT Master Ontology on Cancer - A new Terminology Source for Oncological Practice. In: Proc. of 21st IEEE International Symposium on Computer-Based Medical Systems, pp. 324-329 (2008)
10. Russel, N., ter Hofstede, A., van der Aalst, W., Mulyar, N.:Workflow Control-Flow Patterns: A Revised View. Technical report, BPMcenter.org (2006)
11. Baader, F., Calvanese, D., et al. (eds.): The Description Logic Handbook, Theory Implementation and Applications. Cambridge University Press, Cambridge (2003)
12. Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language. W3C Member Submission (2004)
13. Horridge, M., Bechhofer, S., Noppens, O.: Igniting the OWL 1.1 Touch Paper: The OWL API. In: OWLED 2007, 3rd OWL Experiences and Directions Workshop, Innsbruck, Austria (June 2007)
14. Sirin, B., Parsia, B., Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Journal of Web Semantics 5(2) (2007)
15. Sundari, M., Sen, A., Bagchi, A.: Detecting Data flow Errors in Workflows: A Systematic Graph Traversal approach. In: Proc. 17th Workshop on Information Technology & Systems (2007)
16. Farrell, J., Lausen, H.: Semantic Annotations for WSDL and XML Schema. W3C Recommendation (2008)
17. Martin, D., Burstein, M., et al.: OWL-S: Semantic Markup for Web Services. W3C Member Submission (2004)
18. Rubin, D., Knublauch, H., et al.: Protege-owl: Creating ontology-driven reasoning applications with the web ontology language. In: AMIA Annu. Symp. Proc. (2005)
19. Whitley, S., Reeves, D.: Formbuilder: A tool for promoting data sharing and reuse within the cancer community. Oncological Nursing Forum 34 (2007)