Biological LC/MS preprocessing and analysis with jABC, jETI and xcms

Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

Volumn , Issue , 2006, Pages 303-308

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

^a TU DORTMUND UNIVERSITY   (Germany)

^b UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS TECHNIQUES; COMPLEX WORKFLOWS; DOMAIN SPECIFIC; REMOTE SERVICES; SERVICE DEFINITION; SERVICE ORIENTED;

FORMAL METHODS;

EID: 77956451521     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISoLA.2006.48     Document Type: Conference Paper

References (18)

1. A. Arenas, J. Bicarregui, T. Margaria: The FMICS View on the Verified Software Repository, Proc. Integrated Design and Process Technology, IDPT-2006, San Diego (USA), June 2006, Society for Design and Process Science, 2006
2. BMZ Homepage: http://www.bmz-do.de/
3. V. Braun, T. Margaria, C. Weise: Integrating Tools in the ETI Platform. STTT 1(1-2): 31-48 (1997)
4. GNU R Homepage: http://www.r-project.org/
5. S. Jörges, C. Kubczak, R. Nagel, T. Margaria, B. Steffen: Model-Driven Development with the jABC. Proc. HVC'06, IBM Haifa Verification Conference, Haifa, Israel, October 23-26, 2006, to appear, LNCS - Springer Verlag.
6. T. Margaria, V. Braun, J. Kreileder: Interacting with ETI: A User Session. STTT 1(1-2): 49-63 (1997)
7. T. Margaria: Web Services-Based Tool-Integration in the ETI Platform. SoSyM, Int. Journal on Software and System Modelling, Vol. 4, N. 2, May 2005, pp. 141 - 156, Springer Verlag.
8. T. Margaria, B. Steffen: Service Engineering: Linking Business and IT, IEEE Computer, issue for the 60th anniversary of the Computer Society, pp.53-63, IEEE Press, Oct. 2006.
9. T. Margaria, R. Nagel, B. Steffen: Remote Integration and Coordination of Verification Tools in jETI. Proc. ECBS 2005, 12th IEEE Int. Conf. on the Engineering of Computer Based Systems, April 2005, Greenbelt (USA), IEEE Computer Soc. Press, pp. 431-436.
10. T. Margaria, R. Nagel, B. Steffen: jETI: A Tool for Remote Tool Integration. TACAS 2005: 557-562
11. T. Margaria, C. Kubczak, M. Njoku, B. Steffen: Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC, Proc. ICECCS 2006, 11th IEEE International Conference on Engineering of Complex Computer Systems. Stanford University, CA (USA), August 2006, IEEE Computer Society Press, pp. 169-176.
12. MPC Homepage: http://www.medizinisches-proteom-center.de/
13. A. Saghatelian, S.A. Tauger, E.J. Want, E.G. Hawkins, G. Siuzdak, BF. Cravatt: Assignment of Endogenous Substrates to Enzymes by Global Metabolite Profiling, Biochemistry, Vol. 43, October 2004, pp. 14332-14339.
14. Semantic Web Services Challenge 2006: Challenge on Automating Web Services Mediation, Choreography and Discovery - organized by DERI, Stanford (USA). http://www.sws-challenge.org/
15. C.A. Smith: LC/MS Preprocessing and Analysis with xcms, December 7, 2005
16. C.A. Smith, E.J. Want, G. O'Maille, R. Abagyan, G. Siuzdak: XCMS: Processing Mass Spectrometry Data for Metabolite Profiling Using Nonlinear Peak Alignment, Matching, and Identification, Analytical Chemistry, Vol. 78, 2006, pp. 779-778.
17. B. Steffen, T. Margaria, V. Braun: The Electronic Tool Integration Platform: Concepts and Design. STTT 1(1-2): 9-30 (1997)
18. ZAP Homepage: http://www.zap-do.de/