Bio-jETI: A service integration, design, and provisioning platform for orchestrated bioinformatics processes

BMC Bioinformatics

Volumn 9, Issue SUPPL. 4, 2008, Pages

  Margaria, Tiziana ^a   Kubczak, Christian ^b   Steffen, Bernhard ^b  

^a UNIVERSITY OF POTSDAM   (Germany)

^b TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BIOINFORMATICS TOOLS; BIOLOGICAL APPLICATIONS; CONCRETE APPLICATIONS; GRAPHICAL PROCESS MODELS; INTERDISCIPLINARY WORK; SERVICE ORCHESTRATION; SERVICE ORIENTED MODELING; STATISTICAL DATA PROCESSING;

DATA PROCESSING; TECHNOLOGY TRANSFER; TOOLS;

BIOINFORMATICS;

APPLICATION SERVICE PROVIDER; ARTICLE; BIOINFORMATICS; COMPUTER AIDED DESIGN; COMPUTER GRAPHICS; COMPUTER PROGRAM; DATA ANALYSIS SOFTWARE; INFORMATION PROCESSING; INTERNET; KNOCKOUT GENE; LIQUID CHROMATOGRAPHY; MASS SPECTROMETRY; PROCESS MODEL; STATISTICS; WEB BROWSER; BIOLOGY; COMPUTER INTERFACE; COMPUTER LANGUAGE; INFORMATION RETRIEVAL; METHODOLOGY; SYSTEM ANALYSIS;

COMPUTATIONAL BIOLOGY; COMPUTER GRAPHICS; INFORMATION STORAGE AND RETRIEVAL; PROGRAMMING LANGUAGES; SOFTWARE; SYSTEMS INTEGRATION; USER-COMPUTER INTERFACE;

EID: 44649163308     PISSN: None     EISSN: 14712105     Source Type: Journal    
DOI: 10.1186/1471-2105-9-S4-S12     Document Type: Article

References (50)

1. Margaria T Service is in the Eyes of the Beholder IEEE Computer, Special Issue on service Orientation 2007, 11:29-33
2. Steffen B Margaria T Braun V Kalt N Hierarchical Service Definition Annual Review of Communication International Engineering Consortium Chicago (USA), IEC 1997:847-856
3. Steffen B Margaria T Nagel R Jörges S Kubczak C Model-Driven Development with the jABC Hardware and Software, Verification and Testing LNCS N. 4383, Springer Verlag 2007 92-108
4. Margaria T Steffen B Reitenspieß M Service-Oriented Design: The Roots Proceedings of the International Conference on Service-Oriented Computing (ICSOC): 12-15 December 2005; Amsterdam 2005:450-464
5. Margaria T Steffen B Service Engineering: Linking Business and IT IEEE Computer, Issue for the 60th anniversary of the Computer Society 2006, 11:53-63
6. Steffen B Narayan P Full Life-Cycle Support for End-to-End Processes IEEE Computer, Special Issue on service Orientation 2007, 11:64-73
7. Bioguide Project [http://bioguide-project.net/project/index.htm].
8. Lacroix Z Eckman B Gaasterland T Raschid L Snyder B Vidal M Implementing a Bioinformatics Pipeline (BIP) on a Mediator Platform: Comparing Cost and Quality of Alternate Choices Proceedings of the 22nd international conference on Data Engineering Workshops: 2-4 April 2006; Los Alamitos, CA, USA IEEE Computer Society and Press 2006:67
9. Taverna [http://taverna.sourceforge.net].
10. Ludäscher B Altintas I Berkley C Higgings D Jaeger E Jones M Lee EA Tao J Zhao Y Scientific Workflow Management and the Kepler System Research Articles, Concurrency and Computation: Practice & Experience 2006, 18(10):1039-1065
11. Lamprecht A-L Margaria T Steffen B Sczyrba A Hartmeier S Giegerich R GeneFisher-P: Variations of GeneFisher as Processes in Bio-jETI BMC Bioinformatics 2008, 9(Suppl 4):S13
12. Haubrock M Sauer T Schwarzer K Waack S Wingender E Crass T Pathway Logic: Symbolic analysis of biological signaling Proceedings of NETTAB - A Semantic Web for Bioinformatics: Goals, Tools, Systems, Applications 12-15 June 2007 Pisa 2007:400-412
13. jABC [http://www.jabc.de].
14. Müller-Olm M Schmidt D Steffen B Model-Checking: A Tutorial Introduction Proceedings of SAS, 6th Static Analysis Symposium: 22-24 September 1999; Venice, Itlay LNCS N. 1694, Springer Verlag 1999:330-354
15. Kubczak C Steffen B Margaria T The jABC Approach to Mediation and Choreography 2nd Semantic Web Service Challenge Workshop 2006
16. Steffen B Margaria T Nagel R Remote Integration and Coordination of Verification Tools in jETI Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS): 4-7 April 2005; Greenbelt, MD, USA IEEE Computer Society and Press 2005:431-436
17. Arenas A Bicarregui J Margaria T The FMICS View on the Verified Software Repository Journal of Integrated Design and Process Science 2006, 10(4):47-54
18. Margaria T Kubczak C Njoku M Steffen B Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS): 15-17 August 2006; Stanford, CA, USA IEEE Computer Society and Press 2006:169-176
19. Apache AXIS2 [http://ws.apache.org/axis/].
20. SWS Challenge [http://sws-challenge.org].
21. Kubczak C Margaria T Steffen B Naujokat S Service-Oriented Mediation with jETI/jABC: Verification and Export Proceedings of IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops (WI-IAT Workshops): 2-5 November 2007; Silicon Valley, CA, USA IEEE Computer Society and Press 2007:144-147
22. Margaria T Winkler C Kubczak C Steffen B Brambilla M Ceri S Cerizza D Valle ED Facca FM Tziviskou C The SWS Mediator with WebML/WebRatio and jABC/jETI: A Comparison Proceedings of the 9th International Conference on Enterprise Information Systems (ICEIS): 12-16 June 2007; Funchal, Madeira, Portugal
23. Kubczak C Margaria T Winkler C Steffen B An approach to Discovery with miAamics and jABC Proceedings of IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops (WI-IAT Workshops): 2-5 November 2007; Silicon Valley, CA, USA IEEE Computer Society and Press 2007:157-160
24. Margaria T Kubczak C Njoku M Steffen B Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS): 15-17 August 2006; Stanford University, CA, USA IEEE Computer Society and Press 2006 169 176
25. Kubczak C Nagel R Margaria T Steffen B The jABC Approach to Mediation and Choreography Semantic Web Services Challenge, Phase I-III Workshops: 2006; Stanford University, USA DERI, on-line publication [http://www.sws-challenge.org]
26. Semantic Web Services Challenge Semantic Web Services Challenge: Challenge on Automating Web Services Mediation, Choreography and Discovery: 2006; Stanford University, USA DERI, on-line publication [http://www.sws-challenge.org].
27. Fielding R Architectural Styles and the Design of Network-based Software Architectures PhD thesis University of California at Irvine 2000
28. Steffen B Margaria T Braun V The Electronic Tool Integration platform: concepts and design International Journal on Software Tools for Technology Transfer (STTT) 1997, 1:9-30
29. W3C: SOAP [http://www.w3.org/TR/SOAP/].
30. WebServices and SOA communities [http://www.webservices.org/].
31. Java WebService Developer Pack [http://java.sun.com/webservices/].
32. FMICS-jETI [http://jeti.cs.uni-dortmund.de/fmics].
33. Margaria T Raelt H Steffen B Leucker M The LearnLib in FMICS-jETI Special Session: Advances in the FMICS-jETI Platform for Program Verification 12th Int. Conf. on Engineering of Complex Computer Systems (ICECCS): 10-14 July 2007; Auckland, NZ IEEE Computer Society and Press 2007 340 352
34. Center of Applied Proteomics [http://www.zap-do.de].
35. Kubczak C Margaria T Fritsch A Steffen B Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA): 15-19 November 2006; Paphos, Cyprus IEEE Computer Society and Press 2006:308-313
36. Smith C Want E O'Maille G Abagyan R Siuzdak G XCMS: Processing Mass Spectrometry Data for Metabolite Profiling Using Nonlinear Peak Alignment, Matching, and Identification Analytical Chemistry 2006, 78:779-778 16448051
37. GNU R [http://www.r-project.org].
38. Medical Proteomics Center Bochum [http://www.medizinisches-proteom-center.de].
39. Dortmund BioMedicineCenter [http://www.bmz-do.de].
40. Smith C LC/MS Preprocessing and Analysis with xcms Documentation of Bioconductor xcms package on-line publication 2005 [http://bioconductor.org/packages/2.1/bioc/vignettes/xcms/inst/doc/ xcmsPreprocess.pdf].
41. Saghatelian A Tauger S Want E Hawkins E Siuzdak G Cravatt B Assignment of Endogenous Substrates to Enzymes by Global Metabolite Profiling Biochemistry 2004, 43:14332-14339 15533037
42. Bioconductor [http://www.bioconductor.org].
43. Margaria T Nagel R Steffen B jETI: A Tool for Remote Tool Integration Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS): 4-8 April 2005; Edinburgh, U.K. LNCS, Springer-Verlag 2005:557-562
44. Margaria T Kubczak C Njoku M Steffen B Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS): 15-17 August 2006; Stanford University, CA, USA IEEE Computer Society and Press 2006:169-176
45. WU-Blast [http://blast.wustl.edu/].
46. Ensembl Database [http://www.ensembl.org].
47. Margaria T Hinchey MG Raelt H Rash J Rou CA Steffen B Completing and Adapting Models of Biological Processes Proceedings of the Conference on Biologically Inspired Cooperative Computing (BiCC IFIP) 20-25 August 2006; Santiago (Chile) Springer Verlag 2006:43-54
48. Decyder MS [http://www4.gelifesciences.com/aptrix/upp01077.nsf/Content/ Products?OpenDocument&parentid=684718&moduleid=166070&zone= Proteomics]
49. Eker S Knapp M Laderoute K Lincoln P Meseguer J Sonmez K A workflow for Retrieving Orthologous Promoters and Implications for Workflow Management Systems Proceedings of the 7th Pacific Symposium on Biocomputing: 2-7 January 2002 Lihue, Hawaii, USA 2002:400-412
50. Waldinger R Shrager J Deductive Discovery and Composition of Resources Reasoning on the Web (RoW), Workshop at the 15th International World Wide Web Conference (WWW): 22 May 2006; Edinburgh, U.K. Scotland: World-Wide Web Consortium Wache H, Hitzler P, Edinburgh 2006 available from the authors, [http://www.aifb.uni-karlsruhe.de/WBS/phi/RoW06/procs/ waldinger.pdf].