Automating Performance Analysis from Taverna Workflows
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Towards a Calculus for Collection-Oriented Scientific Workflows with Side Effects
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Data Lineage Model for Taverna Workflows with Lightweight Annotation Requirements
Provenance and Annotation of Data and Processes
Provenance and Annotation of Data and Processes
Heterogeneous composition of models of computation
Future Generation Computer Systems
Building Scientific Workflow with Taverna and BPEL: A Comparative Study in caGrid
Service-Oriented Computing --- ICSOC 2008 Workshops
Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I
Fundamenta Informaticae
Grid Workflow Modeling for Remote Sensing Retrieval Service with Tight Coupling
ICCS 2009 Proceedings of the 9th International Conference on Computational Science
Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part II
Fundamenta Informaticae
Future Generation Computer Systems
Enabling Quantitative Data Analysis Through e-Infrastructure
Social Science Computer Review
A data-driven workflow language for grids based on array programming principles
Proceedings of the 4th Workshop on Workflows in Support of Large-Scale Science
Workflow representation and runtime based on lazy functional streams
Proceedings of the 4th Workshop on Workflows in Support of Large-Scale Science
Analysing scientific workflows with Computational Tree Logic
Cluster Computing
Fine-grained and efficient lineage querying of collection-based workflow provenance
Proceedings of the 13th International Conference on Extending Database Technology
A formal semantics for the Taverna 2 workflow model
Journal of Computer and System Sciences
SSDBM'10 Proceedings of the 22nd international conference on Scientific and statistical database management
Improving workflow fault tolerance through provenance-based recovery
SSDBM'11 Proceedings of the 23rd international conference on Scientific and statistical database management
An experimental workflow development platform for historical document digitisation and analysis
Proceedings of the 2011 Workshop on Historical Document Imaging and Processing
IWIR: a language enabling portability across grid workflow systems
Proceedings of the 6th workshop on Workflows in support of large-scale science
Characterizing quality of resilience in scientific workflows
Proceedings of the 6th workshop on Workflows in support of large-scale science
Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I
Fundamenta Informaticae
Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part II
Fundamenta Informaticae
Data contracts for cloud-based data marketplaces
International Journal of Computational Science and Engineering
Direct data transfer between SOAP web services in orchestration
Proceedings of the 14th International Conference on Information Integration and Web-based Applications & Services
Community building based on semantic time series
Proceedings of the 14th International Conference on Information Integration and Web-based Applications & Services
Semantics and provenance for processing element composition in dispel workflows
WORKS '13 Proceedings of the 8th Workshop on Workflows in Support of Large-Scale Science
Fine-Grain Interoperability of Scientific Workflows in Distributed Computing Infrastructures
Journal of Grid Computing
Modeling and optimizing large-scale data flows
Future Generation Computer Systems
Rule-driven service coordination middleware for scientific applications
Future Generation Computer Systems
| Hi-index | 0.00 |
This paper presents the formal syntax and the operational semantics of Taverna, a workflow management system with a large user base among the e-Science community. Such formal foundation, which has so far been lacking, opens the way to the translation between Taverna workflows and other process models. In particular, the ability to automatically compile a simple domain-specific process description into Taverna facilitates its adoption by e-scientists who are not expert workflow developers. We demonstrate this potential through a practical use case.