Subsumption in KL-ONE is undecidable
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Verification support for workflow design with UML activity graphs
Proceedings of the 24th International Conference on Software Engineering
Set-Based Access Conflicts Analysis of Concurrent Workflow Definition
CODAS '01 Proceedings of the Third International Symposium on Cooperative Database Systems for Advanced Applications
The Anatomy of the Grid: Enabling Scalable Virtual Organizations
International Journal of High Performance Computing Applications
Behavioural specification of grid services with the KAoS policy language
CCGRID '05 Proceedings of the Fifth IEEE International Symposium on Cluster Computing and the Grid (CCGrid'05) - Volume 2 - Volume 02
Scientific Programming - AxGrids 2004
Recording and using provenance in a protein compressibility experiment
HPDC '05 Proceedings of the High Performance Distributed Computing, 2005. HPDC-14. Proceedings. 14th IEEE International Symposium
Artificial Intelligence and Grids: Workflow Planning and Beyond
IEEE Intelligent Systems
Automating Experiments Using Semantic Data on a Bioinformatics Grid
IEEE Intelligent Systems
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
A survey of trust in computer science and the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
Provenance Provisioning in Mobile Agent-Based Distributed Job Workflow Execution
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part I: ICCS 2007
Understanding Semantic Web Applications
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
A characterization of the problem of secure provenancemanagement
ISI'09 Proceedings of the 2009 IEEE international conference on Intelligence and security informatics
A formal model of dataflow repositories
DILS'07 Proceedings of the 4th international conference on Data integration in the life sciences
A data lineage model for distributed sub-image processing
SAICSIT '10 Proceedings of the 2010 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists
The Foundations for Provenance on the Web
Foundations and Trends in Web Science
PrIMe: A methodology for developing provenance-aware applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Semantic metadata generation for large scientific workflows
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
IPAW'06 Proceedings of the 2006 international conference on Provenance and Annotation of Data
A model for user-oriented data provenance in pipelined scientific workflows
IPAW'06 Proceedings of the 2006 international conference on Provenance and Annotation of Data
Provenance from log files: a BigData problem
Proceedings of the Joint EDBT/ICDT 2013 Workshops
Static compiler analysis for workflow provenance
WORKS '13 Proceedings of the 8th Workshop on Workflows in Support of Large-Scale Science
Hi-index | 0.00 |
E-Science experiments typically involve many distributed services maintained by different organisations. After an experiment has been executed, it is useful for a scientist to verify that the execution was performed correctly or is compatible with some existing experimental criteria or standards. Scientists may also want to review and verify experiments performed by their colleagues. There are no exsiting frameworks for validating such experiments in today's e-Science systems. Users therefore have to rely on error checking performed by the services, or adopt other ad hoc methods. This paper introduces a platform-independent framework for validating workflow executions. The validation relies on reasoning over the documented provenance of experiment results and semantic descriptions of services advertised in a registry. This validation process ensures experiments are performed correctly, and thus results generated are meaningful. The framework is tested in a bioinformatics application that performs protein compressibility analysis.