Skip to main content
  • Book
  • © 2013

User-Level Workflow Design

A Bioinformatics Perspective

  • The application of user-level workflow design makes the approach accessible to users with almost no programming expertise
  • Describes four realistic application scenarios in bioinformatics
  • Paves the way for a novel way of scientific workflow modeling based on jABC framework

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8311)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (9 chapters)

  1. Front Matter

  2. Framework

    1. Front Matter

      Pages 1-1
    2. Introduction

      • Anna-Lena Lamprecht
      Pages 3-30
    3. The Bio-jETI Framework

      • Anna-Lena Lamprecht
      Pages 31-61
  3. Applications

    1. Front Matter

      Pages 63-63
    2. Phylogenetic Analysis Workflows

      • Anna-Lena Lamprecht
      Pages 65-88
    3. GeneFisher-P

      • Anna-Lena Lamprecht
      Pages 89-101
    4. FiatFlux-P

      • Anna-Lena Lamprecht
      Pages 103-118
    5. Microarray Data Analysis Pipelines

      • Anna-Lena Lamprecht
      Pages 119-137
  4. Discussion

    1. Front Matter

      Pages 139-139
    2. Lessons Learned

      • Anna-Lena Lamprecht
      Pages 141-162
    3. Related Work

      • Anna-Lena Lamprecht
      Pages 163-187
    4. Conclusion

      • Anna-Lena Lamprecht
      Pages 189-202
  5. Back Matter

About this book

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.

Editors and Affiliations

  • Institut für Informatik, Universität Potsdam, Potsdam, Germany

    Anna-Lena Lamprecht

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access