|
Descripción
|
|
|---|---|
| Abstract Workflows are an increasingly common way of representing and sharing complex in silico analytical methodologies. Workflow authoring systems such as Taverna and Galaxy precisely capture the services and service connections created by domain experts, and these workflows are then shared through repositories like myExperiment, which encourages users to discover, reuse, and repurpose them. Repurposing, however, is not trivial: ostensibly straightforward modifications are quite troublesome in practice and workflows tend not to be well-annotated at any level of granularity. As such, a "concrete" workflow, where the component services are explicitly declared, may not be a particularly effective way of sharing these analytical methodologies. Here we propose, and demonstrate, that a domain model for a given concept, formalized in OWL, can be used as an abstract workflow model, which can be automatically converted into a context-specific, concrete, self-annotating workflow. | |
|
Internacional
|
Si |
|
DOI
|
|
|
Edición del Libro
|
|
|
Editorial del Libro
|
Springer Berlin Heidelberg. |
|
ISBN
|
0000000000000 |
|
Serie
|
7610 |
|
Título del Libro
|
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies |
|
Desde página
|
56 |
|
Hasta página
|
66 |