Bio-jETI: A framework for semantics-based service composition

BMC Bioinformatics

Volumn 10, Issue SUPPL. 10, 2009, Pages

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

^a TU DORTMUND UNIVERSITY   (Germany)

^b UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BIOINFORMATICS; MEDICAL APPLICATIONS; MODEL CHECKING; QUALITY OF SERVICE; SEMANTIC WEB;

BIOINFORMATICS DATABASE; BIOINFORMATICS SERVICES; DEVELOPMENT SUPPORT; HETEROGENEOUS SERVICES; SEMANTIC ANNOTATIONS; SEMANTIC WEB TECHNOLOGY; SERVICE COMPOSITIONS; SYNTHESIS FEATURES;

DISTRIBUTED DATABASE SYSTEMS;

ACCURACY; ANALYTIC METHOD; ARTICLE; AUTOMATION; BIOINFORMATICS; BIOTECHNOLOGY; COMPUTER ANALYSIS; COMPUTER INTERFACE; COMPUTER LANGUAGE; COMPUTER MODEL; INFORMATION SERVICE; INTERNET;

EID: 70449449024     PISSN: None     EISSN: 14712105     Source Type: Journal    
DOI: 10.1186/1471-2105-10-S10-S8     Document Type: Article

References (64)

1. Bausch W, Pautasso C, Alonso G. BioOpera: Cluster-aware Computing. Proceedings of the 4th IEEE International Conference on Cluster Computing (Cluster) 2002, 99-106.
2. Eker J, Janneck J, Lee E. Taming heterogeneity - the Ptolemy approach. Proceedings of the IEEE 2003, 91:127-144.
3. Altintas I, Berkley C, Jaeger E. Kepler: An Extensible System for Design and Execution of Scientific Workflows. 16th Intl Conf on Scientific and Statistical Database Management (SSDBM'04) 2004, 21-23.
4. Oinn T, Addis M, Ferris J. Taverna: a tool for the composition and enactment of bioinformatics workflows. Bioinformatics 2004, 20(17):3045-3054.
5. Taylor I, Shields M, Wang I, Harrison A. The Triana Workflow Environment: Architecture and Applications. Workflows for e-Science 2007, 320-339. Springer, New York.
6. Tang F, Chua CL, Ho L. Wildfire: distributed, Grid-enabled workflow construction and execution. BMC Bioinformatics 2005, 6:69. 1274263, 15788106.
7. Margaria T, Kubzcak C, Steffen B. Bio-jETI: a Service Integration, Design, and Provisioning Platform for Orchestrated Bioinformatics Processes. BMC Bioinformatics 2008, 9(Suppl 4):S12. 2367639, 18460173.
8. Berners-Lee T, Hendler J, Lassila O. The Semantic Web - A new form of Web content that is meaningful to computers will unleash a revolution of new possibilities. Scientific American 2001, 284(5):34-43.
9. W3C Semantic Web Activity. , http://www.w3.org/2001/sw/
10. Semantic Annotations for WSDL Working Group. , http://www.w3.org/2002/ws/sawsdl/
11. Resource Description Framework (RDF)/W3C Semantic Web Activity. , http://www.w3.org/RDF/
12. Web Ontology Language OWL/W3C Semantic Web Activity. , http://www.w3.org/2004/OWL/
13. SWS Challenge Website. , http://sws-challenge.org
14. International Contest S3 on Semantic Service Selection. , http://www-ags.dfki.uni-sb.de/~klusch/s3/index.html
15. OPOSSum Online Portal for Semantic Services. , http://fusion.cs.uni-jena.de/opossum/
16. Küuster U, König-Ries B, Krug A. OPOSSum - An Online Portal to Collect and Share SWS Descriptions. Proceedings of the 2008 IEEE International Conference on Semantic Computing 2008, 480-481. IEEE Computer Society.
17. Wilkinson MD, Links M. BioMOBY: an open source biological web services proposal. Briefings in Bioinformatics 2002, 3(4):331-41.
18. Wilkinson MD, Senger M, Kawas E. Interoperability with Moby 1.0-it's better than sharing your toothbrush!. Briefings in Bioinformatics 2008, 9(3):220-31.
19. Wilkinson MD, Gessler D, Farmer A, Stein L. The BioMOBY Project Explores Open-Source, Simple, Extensible Protocols for Enabling Biological Database Interoperability. Proceedings of the Virtual Conference on Genomics and Bioinformatics 2003, 3:17-27.
20. Gessler D. SSWAP - Simple Semantic Web Architecture and Protocol. 2009, , http://sswap.info/docs/SSWAP.pdf
21. Simple Semantic Web Architecture and Protocol. 2009, , http://sswap.info
22. Ashburner M, Ball CA, Blake JA. Gene ontology: tool for the unification of biology. Nature Genetics 2000, 25:25-9.
23. Smith B, Ashburner M. The OBO Foundry: coordinated evolution of ontologies to support biomedical data integration. Nat Biotech 2007, 25(11):1251-1255.
24. Garvey TD, Lincoln P, Pedersen CJ, Martin D, Johnson M. BioSPICE: access to the most current computational tools for biologists. Omics: A Journal of Integrative Biology 2003, 7(4):411-420.
25. Brambilla M, Celino I, Ceri S, Cerizza D, Valle ED, Facca F. A Software Engineering Approach to Design and Development of Semantic Web Service Applications. The Semantic Web - ISWC 2006, 172-186. Springer Berlin/Heidelberg.
26. Haselwanter T, Kotinurmi P, Moran M, Vitvar T, Zaremba M. WSMX: A Semantic Service Oriented Middleware for B2B Integration. Service-Oriented Computing - ICSOC 2006, 477-483. Springer Berlin/Heidelberg.
27. 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 2008,
28. Bio-jETI Website. , http://biojeti.cs.tu-dortmund.de/
29. Margaria T, Kubczak C, Njoku M, Steffen B. Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC. Proceedings of ICECCS, IEEE Computer Society 2006, 169-176.
30. Kubczak C, Margaria T, Fritsch A, Steffen B. Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms. Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006 2006, 303-308.
31. Lamprecht A, Margaria T, Steffen B. GeneFisher-P: variations of GeneFisher as processes in Bio-jETI. BMC Bioinformatics 2008, 9(Suppl 4):S13. 2367627, 18460174.
32. Lamprecht A, Margaria T, Steffen B. Seven Variations of an Alignment Workflow - An Illustration of Agile Process Design and Management in Bio-jETI. Bioinformatics Research and Applications 2008, 4983:445-456. LNBI, Atlanta, Georgia: Springer.
33. Steffen B, Margaria T, Nagel R, Jörges S, Kubczak C. Model-Driven Development with the jABC. Hardware and Software, Verification and Testing 2006, 92-108.
34. jABC Website. , http://www.jabc.de
35. Margaria T, Nagel R, Steffen B. jETI: A Tool for Remote Tool Integration. Tools and Algorithms for the Construction and Analysis of Systems 2005, 3440/2005:557-562. LNCS, Springer Berlin/Heidelberg.
36. Margaria T, Kubczak C, Steffen B, Naujokat S. The FMICS-jETI Platform: Status and Perspectives. ISoLA 2nd IEEE-EASST International Symposium On Leveraging Applications of formal methods, verification, and validation, Paphos (CY), Proceedings 2006, 414-418. IEEE Computer Science Press.
37. Jörges S, Margaria T, Steffen B. Genesys: Service-Oriented Construction of Property Conform Code Generators. Innovations in System and Software Engineering 2009, 4(4):361-384.
38. Clarke EM, Grumberg O, Peled DA. Model Checking 1999, The MIT Press.
39. Bakera M, Margaria T, Renner CD, Steffen B. Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process. ISoLA 2007, 85-97. [(Journal version to appear in ISSE)].
40. Steffen B, Margaria T, Freitag B. Module Configuration by Minimal Model Construction. 1993, Tech rep University of Passau.
41. Steffen B, Margaria T, Beeck M. Automatic synthesis of linear process models from temporal constraints: An incremental approach. ACM/SIGPLAN Int. Workshop on Automated Analysis of Software (AAS'97) 1997,
42. Margaria T, Steffen B. Backtracking-Free Design Planning by Automatic Synthesis in METAFrame. Fundamental Approaches to Software Engineering 1998, 188.
43. Margaria T, Steffen B. LTL Guided Planning: Revisiting Automatic Tool Composition in ETI. Proceedings of the 31st IEEE Software Engineering Workshop 2007, 214-226. IEEE Computer Society.
44. Pillai S, Silventoinen V, Kallio K. SOAP-based services provided by the European Bioinformatics Institute. Nucleic Acids Research 2005, (33 Web Server):W25-8. 1160251, 15980463.
45. Labarga A, Valentin F, Anderson M, Lopez R. Web Services at the European Bioinformatics Institute. Nucleic Acids Research 2007, (35 Web Server):W6-11. 1933145, 17576686.
46. Hartmeier S, Krüger J, Giegerich R. Webservices and Workflows on the Bielefeld Bioinformatics Server: Practices and Problems. Proceedings of the Workshop on Network Tools and Applications in Biology (NETTAB), Pisa, Italy 2007,
47. Miyazaki S, Sugawara H, Ikeo K, Gojobori T, Tateno Y. DDBJ in the stream of various biological data. Nucleic Acids Research 2004, (32 Database):D31-4. 308861, 14681352.
48. Rice P, Longden I, Bleasby A. EMBOSS: the European Molecular Biology Open Software Suite. Trends in Genetics: TIG 2000, 16(6):276-7.
49. Zmasek CM, Eddy SR. ATV: display and manipulation of annotated phylogenetic trees. Bioinformatics (Oxford, England) 2001, 17(4):383-4.
50. Shigemoto Y, Kuwana Y, Sugawara H. Blast-ClustalW workflow. 2009, , http://xml.nig.ac.jp/workflow/blast_clustal.html
51. Web API for Biology (WABI). , http://xml.nig.ac.jp/
52. Sahoo SS, Sheth A, Henson C. Semantic Provenance for eScience: Managing the Deluge of Scientific Data. IEEE Internet Computing 2008, 12(4):46-54.
53. Aho AV, Lam MS, Sethi R, Ullman JD. Compilers: Principles, Techniques, and Tools 2007, Addison Wesley.
54. Steffen B. Data Flow Analysis as Model Checking. TACS '91: Proceedings of the International Conference on Theoretical Aspects of Computer Software 1991, 346-365. Springer-Verlag.
55. Schmidt DA, Steffen B. Program Analysis as Model Checking of Abstract Interpretations. Proceedings of the 5th International Symposium on Static Analysis 1998, 351-380. Springer-Verlag.
56. Margaria T. Service is in the Eyes of the Beholder. IEEE Computer 2007,
57. Clarke EM, Grumberg O, Peled DA. Model Checking 1999, 27-32. The MIT Press chap. Temporal Logics.
58. Manna Z, Wolper P. Synthesis of Communicating Processes from Temporal Logic Specifications. ACM Trans Program Lang Syst 1984, 6:68-93.
59. Freitag B, Steffen B, Margaria T, Zukowski U. An Approach to Intelligent Software Library Management. Proceedings of the 4th International Conference on Database Systems for Advanced Applications (DASFAA) 1995, 71-78. World Scientific Press.
60. Margaria T, Bakera M, Raffelt H, Steffen B. Synthesizing the Mediator with jABC/ABC. EON 2008, 359. CEUR Workshop Proceedings, Tenerife, Spain: CEUR-WS.org.
61. Kubczak C, Margaria T, Kaiser M, Lemcke J, Knuth B. Abductive Synthesis of the Mediator Scenario with jABC and GEM. EON 2008, 359. CEUR Workshop Proceedings, Tenerife, Spain: CEUR-WS.org.
62. Kelb P, Margaria T, Mendler M, Gsottberger C. MOSEL: A flexible toolset for monadic second-order logic. PROCEEDINGS OF CAV'97, LNCS 1254 1997, 183-202.
63. Altschul SF, Gish W, Miller W, Myers EW, Lipman DJ. Basic local alignment search tool. Journal of Molecular Biology 1990, 215(3):403-10.
64. Thompson JD, Higgins DG, Gibson TJ. CLUSTAL W: improving the sensitivity of progressive multiple sequence alignment through sequence weighting, position-specific gap penalties and weight matrix choice. Nucleic Acids Research 1994, 22(22):4673-80. 308517, 7984417.