Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC

Authors:
Tiziana Margaria;Christian Kubczak;Marc Njoku;Bernhard Steffen
Affiliations:
University of Potsdam, Potsdam, Germany;University of Dortmund, Germany;University of Gottingen, Germany;University of Gottingen, Germany
Venue:
ICECCS '06 Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems
Year:
2006

Citing 0
Cited 6

Service Engineering: Linking Business and IT

Computer
The Fmics View On The Verified Software Repository

Journal of Integrated Design & Process Science - Applications of formal methods
From the How to the What

Verified Software: Theories, Tools, Experiments
Model-driven development with the jABC

HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Seven variations of an alignment workflow: an illustration of agile process design and management in bio-jETI

ISBRA'08 Proceedings of the 4th international conference on Bioinformatics research and applications
Scientific workflows: eternal components, changing interfaces, varying compositions

ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

Our approach to the model-driven collaborative design of workflows for bioinformatic applications uses the jABC [6] for model driven mediation and choreography to complement a Webservice-based elementary service provision. jABC is a framework for service development based on Lightweight Process Coordination. Users (product developers and system/software designers) develop services and applications by composing reusable buildingblocks into (flow-)graph structures that can be animated, analyzed, simulated, verified, executed, and compiled. This way of handling the collaborative design of complex processes has proven to be effective and adequate for the cooperation of non-programmers (in this case biologists) and technical people, and it is now being rolled out in the operative practice.