Constraint-guided workflow composition based on the EDAM ontology

CEUR Workshop Proceedings

Volumn 698, Issue , 2010, Pages

  Lamprecht, Anna Lena ^a   Naujokat, Stefan ^a   Steffen, Bernhard ^a   Margaria, Tiziana ^b  

^a TU DORTMUND UNIVERSITY   (Germany)

^b UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ADDITIONAL KNOWLEDGE; AUTOMATIC COMPOSITION; BACK-GROUND KNOWLEDGE; BIOINFORMATICS WORKFLOWS; DEVELOPMENT PROCESS; DOMAIN SPECIFIC; INPUT/OUTPUT DATUM; WORKFLOW COMPOSITION;

APPLICATIONS; BIOINFORMATICS; TOOLS;

WORLD WIDE WEB;

EID: 84890370822     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (29)

1. DiBernardo, M., Pottinger, R., Wilkinson, M. : Semi-automatic web service composition for the life sciences using the BioMoby semantic web framework. Journal of Biomedical Informatics 41(5) (October 2008) 837-847 PMID: 18373957.
2. Lamprecht, A.L., Margaria, T., Steffen, B. : Bio-jETI: A framework for semanticsbased service composition. BMC Bioinformatics 10 Suppl 10 (2009) 58.
3. Wilkinson, M.D., Vandervalk, B., McCarthy, L. : SADI Semantic Web Services - 'cause you can't always GET what you want. In: Proceedings of the IEEE Services Computing Conference: 7-11 December 2009, Singapore. APSCC 2009., IEEE Asia-Pacific (2009) 13-18.
4. Rios, J., Karlsson, J., Trelles, O. : Magallanes: A web services discovery and automatic workflow composition tool. BMC Bioinformatics 10(1) (2009) 334.
5. Mart́in-Requena, V., Ŕios, J., Garćia, M., Raḿirez, S., Trelles, O. : jORCA: easily integrating bioinformatics Web Services. Bioinformatics 26(4) (February 2010) 553 -559.
6. Chen, L., Shadbolt, N., Goble, C., Tao, F., Cox, S., Puleston, C., Smart, P. : Towards a Knowledge-Based Approach to Semantic Service Composition. In: The SemanticWeb - ISWC 2003. (2003) 319-334.
7. Wilkinson, M.D., Links, M. : BioMOBY: an open source biological web services proposal. Briefings in Bioinformatics 3(4) (December 2002) 331-41 PMID: 12511062.
8. Clark, T., Martin, S., Liefeld, T. : Globally distributed object identification for biological knowledgebases. Briefings in Bioinformatics 5(1) (March 2004) 59-70 PMID: 15153306.
9. Pettifer, S., Ison, J., Kalas, M., Thorne, D., McDermott, P., Jonassen, I., Liaquat, A., Fernandez, J.M., Rodriguez, J.M., Partners, I., Pisano, D.G., Blanchet, C., Uludag, M., Rice, P., Bartaseviciute, E., Rapacki, K., Hekkelman, M., Sand, O., Stockinger, H., Clegg, A.B., Bongcam-Rudloff, E., Salzemann, J., Breton, V., Attwood, T.K., Cameron, G., Vriend, G.: The EMBRACE web service collection. Nucl. Acids Res. (May 2010) pag 297.
10. McCarthy, J., Hayes, P.J. : Some Philosophical Problems from the Standpoint of Artificial Intelligence. In Meltzer, B., Michie, D., eds.: Machine Intelligence 4. Edinburgh University Press (1969) 463-502.
11. Fikes, R., Nilsson, N.J. : STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artif. Intell. 2(3/4) (1971) 189-208.
12. Manna, Z., Wolper, P. : Synthesis of Communicating Processes from Temporal Logic Specifications. ACM Trans. Program. Lang. Syst. 6(1) (1984) 68-93.
13. Pnueli, A., Rosner, R. : On the synthesis of a reactive module. In: Annual Symposium on Principles of Programming Languages. (1989).
14. Erol, K., Hendler, J., Nau, D.S. : HTN Planning: Complexity and Expressivity. AAAI-94 2 (1994) 1123-1128.
15. Steffen, B., Margaria, T., Beeck, M. : Automatic synthesis of linear process models from temporal constraints: An incremental approach. In ACM/SIGPLAN Int. Workshop on Automated Analysis of Software (AAS'97) (1997).
16. Kupfermann, O., Vardi, M.Y. : mu-calculus Synthesis. In: Mathematical Foundations of Computer Science 2000. (2000).
17. Mayer, M.C., Orlandini, A., Balestreri, G., Limongelli, C. : A Planner Fully Based on Linear Time Logic. In: AIPS. (2000) 347-354.
18. Margaria, T., Steffen, B. : LTL Guided Planning: Revisiting Automatic Tool Composition in ETI. In: Proceedings of the 31st IEEE Software Engineering Workshop, IEEE Computer Society (2007) 214-226.
19. Russel, S., Norvig, P. : Artificial Intelligence: A Modern Approach. 3 edn. Prentice Hall (12 2009).
20. Bacchus, F., Kabanza, F. : Using temporal logics to express search control knowledge for planning. Artif. Intell. 116(1-2) (2000) 123-191.
21. Margaria, T., Kubczak, C., Steffen, B. : Bio-jETI: A service integration, design, and provisioning platform for orchestrated bioinformatics processes. BMC Bioinformatics 9 Suppl 4 (2008) S12 PMID: 18460173 PMCID: 2367639.
22. Lamprecht, A.L., Naujokat, S., Margaria, T., Steffen, B. : Synthesis-Based Loose Programming. In: Proceedings of the 7th International Conference on the Quality of Information and Communications Technology (QUATIC). (September 2010).
23. Lamprecht, A.L., Naujokat, S., Margaria, T., Steffen, B. : Semantics-based composition of EMBOSS services. BMC Bioinformatics (2010) to appear.
24. Steffen, B., Margaria, T., Freitag, B.: Module Configuration by Minimal Model Construction. Technical report, Fakulẗat f̈ur Mathematik und Informatik, Universit ̈at Passau (1993).
25. Ashburner, M., Ball, C.A., Blake, J.A., Botstein, D., Butler, H., Cherry, J.M., Davis, A.P., Dolinski, K., Dwight, S.S., Eppig, J.T., Harris, M.A., Hill, D.P., Issel- Tarver, L., Kasarskis, A., Lewis, S., Matese, J.C., Richardson, J.E., Ringwald, M., Rubin, G.M., Sherlock, G.: Gene ontology: tool for the unification of biology. The Gene Ontology Consortium. Nature Genetics 25(1) (May 2000) 25-9 PMID: 10802651.
26. Smith, B., Ashburner, M., Rosse, C., Bard, J., Bug, W., Ceusters, W., Goldberg, L.J., Eilbeck, K., Ireland, A., Mungall, C.J., Leontis, N., Rocca-Serra, P., Ruttenberg, A., Sansone, S., Scheuermann, R.H., Shah, N., Whetzel, P.L., Lewis, S.: The OBO Foundry: coordinated evolution of ontologies to support biomedical data integration. Nat Biotech 25(11) (November 2007) 1251-1255.
27. Farrell, J., Lausen, H. : Semantic Annotations for WSDL and XML Schema. http://www.w3.org/TR/sawsdl/(8 2007) W3C Recommendation.
28. Rice, P., Longden, I., Bleasby, A.: EMBOSS: the European Molecular Biology Open Software Suite. Trends in Genetics: TIG 16(6) (June 2000) 276-7 PMID: 10827456.
29. Bhagat, J., Tanoh, F., Nzuobontane, E., Laurent, T., Orlowski, J., Roos, M., Wolstencroft, K., Aleksejevs, S., Stevens, R., Pettifer, S., Lopez, R., Goble, C.A.: Bio- Catalogue: A universal catalogue of web services for the life sciences. Nucl. Acids Res. 38(suppl 2) (July 2010) 689-694.