User-level workflow design : a bioinformatics erspective
The continuous trend in computer science to lift programming to higher abstraction levels increases scalability and opens programming to a wider public. In particular, service-oriented programming and the support of semantics-based frameworks make application development accessible to users with alm...
Enregistré dans:
Autres auteurs : | |
---|---|
Format : | Livre |
Langue : | anglais |
Titre complet : | User-level workflow design : a bioinformatics erspective / edited by Anna-Lena Lamprecht |
Édition : | 1st ed. 2013 |
Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, [20..] Cham : Springer Nature |
Collection : | Programming and Software Engineering ; 8311 |
Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
Note sur l'URL : | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex |
Condition d'utilisation et de reproduction : | Conditions particulières de réutilisation pour les bénéficiaires des licences nationales : https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 |
Contenu : | The Bio-jETI Framework. Phylogenetic Analysis Workflows. GeneFisher-P. FiatFlux-P. Microarray Data Analysis Pipelines |
Sujets : | |
Documents associés : | Autre format:
User-Level Workflow Design Autre format: User-Level Workflow Design |
Résumé : | The continuous trend in computer science to lift programming to higher abstraction levels increases scalability and opens programming to a wider public. In particular, service-oriented programming and the support of semantics-based frameworks make application development accessible to users with almost no programming expertise. This monograph establishes requirement-centric scientific workflow design as an instance of consequent constraint-driven development. Requirements formulated in terms of user-level constraints are automatically transformed into running applications using temporal logic-based synthesis technology. The impact of this approach is illustrated by applying it to four very different bioinformatics scenarios: phylogenetic analysis, the dedicated GeneFisher-P scenario, the FiatFlux-P scenario, and microarray data analyses |
---|---|
ISBN : | 978-3-642-45389-2 |
DOI : | 10.1007/978-3-642-45389-2 |