Constraint-Guided Workflow Composition Based on the EDAM Ontology

Methods for the automatic composition of services into executable workflows need detailed knowledge about the application domain, in particular about the available services and their behavior in terms of input/output data descriptions. In this paper we discuss how the EMBRACE data and methods ontology (EDAM) can be used as background knowledge for the composition of bioinformatics workflows. We show by means of a small example domain that the EDAM knowledge facilitates finding possible workflows, but that additional knowledge is required to guide the search towards actually adequate solutions. We illustrate how the ability to flexibly formulate domain-specific and problem-specific constraints supports the workflow development process.

[1]  Amir Pnueli,et al.  On the synthesis of a reactive module , 1989, POPL '89.

[2]  Simon J. Cox,et al.  Towards a Knowledge-Based Approach to Semantic Service Composition , 2003, SEMWEB.

[3]  Tiziana Margaria,et al.  LTL Guided Planning: Revisiting Automatic Tool Composition in ETI , 2007, 31st IEEE Software Engineering Workshop (SEW 2007).

[4]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[5]  Tiziana Margaria,et al.  Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes , 2008, BMC Bioinformatics.

[6]  Mark D. Wilkinson,et al.  SADI Semantic Web Services - ‚cause you can't always GET what you want! , 2009, 2009 IEEE Asia-Pacific Services Computing Conference (APSCC).

[7]  Sean Martin,et al.  Globally distributed object identification for biological knowledgebases , 2004, Briefings Bioinform..

[8]  Oswaldo Trelles,et al.  jORCA: easily integrating bioinformatics Web Services , 2010, Bioinform..

[9]  Frank Leymann,et al.  Web Services , 2004, Informatik-Spektrum.

[10]  Carole A. Goble,et al.  BioCatalogue: a universal catalogue of web services for the life sciences , 2010, Nucleic Acids Res..

[11]  James A. Hendler,et al.  HTN Planning: Complexity and Expressivity , 1994, AAAI.

[12]  M. Ashburner,et al.  Gene Ontology: tool for the unification of biology , 2000, Nature Genetics.

[13]  M. Ashburner,et al.  The OBO Foundry: coordinated evolution of ontologies to support biomedical data integration , 2007, Nature Biotechnology.

[14]  Tiziana Margaria,et al.  Automatic Synthesis of Linear Process Models from Temporal Constraints: An Incremental Approach , 1997 .

[15]  Tiziana Margaria,et al.  Bio-jETI: a framework for semantics-based service composition , 2009, BMC Bioinformatics.

[16]  I. Longden,et al.  EMBOSS: the European Molecular Biology Open Software Suite. , 2000, Trends in genetics : TIG.

[17]  Rachel Pottinger,et al.  Semi-automatic web service composition for the life sciences using the BioMoby semantic web framework , 2008, J. Biomed. Informatics.

[18]  Tiziana Margaria,et al.  Semantics-based composition of EMBOSS services , 2011, J. Biomed. Semant..

[19]  Oswaldo Trelles,et al.  Magallanes: a web services discovery and automatic workflow composition tool , 2009, BMC Bioinformatics.

[20]  Mark D. Wilkinson,et al.  BioMOBY: An Open Source Biological Web Services Proposal , 2002, Briefings Bioinform..

[21]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[22]  Tiziana Margaria,et al.  Module Connguration by Minimal Model Construction , 1993 .

[23]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[24]  Tiziana Margaria,et al.  Synthesis-Based Loose Programming , 2010, 2010 Seventh International Conference on the Quality of Information and Communications Technology.

[25]  Terri K. Attwood,et al.  The EMBRACE web service collection , 2010, Nucleic Acids Res..

[26]  Pierre Wolper,et al.  Synthesis of Communicating Processes from Temporal Logic Specifications , 1981, Logic of Programs.

[27]  Carla Limongelli,et al.  A planner fully based on linear time logic , 2000 .

[28]  Fahiem Bacchus,et al.  Using temporal logics to express search control knowledge for planning , 2000, Artif. Intell..