%0 Book %1 Lamprecht13 %A Lamprecht, Anna-Lena %B Lecture Notes in Computer Science %C Berlin %D 2013 %I Springer %K v1205 springer book ai workflow engineering software application development tool user assist code generation knowledge semantic web service logic health science zzz.sfit %R 10.1007/978-3-642-45389-2 %T User-Level Workflow Design: A Bioinformatics Perspective %V 8311 %X 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. %@ 978-3-642-45388-5

@book{Lamprecht13, abstract = {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.}, added-at = {2013-12-16T14:41:39.000+0100}, address = {Berlin}, author = {Lamprecht, Anna-Lena}, biburl = {https://www.bibsonomy.org/bibtex/23109c4c08b8a1e3cf645d932c0661225/flint63}, doi = {10.1007/978-3-642-45389-2}, file = {SpringerLink:2013/Lamprecht13.pdf:PDF;Springer Product Page:http\://www.springer.com/978-3-642-45388-5:URL;Amazon Search inside:http\://www.amazon.de/gp/reader/3642453880/:URL}, groups = {public}, interhash = {3538c54e60363cce369ec23da93c0c48}, intrahash = {3109c4c08b8a1e3cf645d932c0661225}, isbn = {978-3-642-45388-5}, keywords = {v1205 springer book ai workflow engineering software application development tool user assist code generation knowledge semantic web service logic health science zzz.sfit}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2018-04-16T12:36:23.000+0200}, title = {User-Level Workflow Design: A Bioinformatics Perspective}, username = {flint63}, volume = 8311, year = 2013 }