Compiling abstract scientific workflows into web service workflows
SSDBM '03 Proceedings of the 15th International Conference on Scientific and Statistical Database Management
Taverna: lessons in creating a workflow environment for the life sciences: Research Articles
Concurrency and Computation: Practice & Experience - Workflow in Grid Systems
Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC
ICECCS '06 Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems
Workflows for e-Science: Scientific Workflows for Grids
Workflows for e-Science: Scientific Workflows for Grids
Software Evolution
Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms
ISOLA '06 Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Model-driven development with the jABC
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
ISBRA'08 Proceedings of the 4th international conference on Bioinformatics research and applications
Synthesis-Based Loose Programming
QUATIC '10 Proceedings of the 2010 Seventh International Conference on the Quality of Information and Communications Technology
Semantically-guided workflow construction in Taverna: the SADI and BioMoby plug-ins
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
A semantic service environment: a case study in bioinformatics
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
jETI: a tool for remote tool integration
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Loose programming with PROPHETS
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Adaptable and evolving software for eternal systems
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
| Hi-index | 0.00 |
We describe how scientific application domains are characterized by the long-term availability of the basic computational components, and how software systems for managing the actual scientific workflows must deal with changing service interfaces and varying service compositions. In this light, we explain how rigorous technical and semantic abstraction, which is key to dealing with huge and heterogeneous application domains in an "extreme model driven design" framework like the jABC, supports the management of workflow evolution. We illustrate the different aspects by means of examples and experiences from the application of the framework in different scientific application domains.