The Course's SIB Libraries

This chapter gives a detailed description of the service framework underlying all the example projects that form the foundation of this book. It describes the different SIB libraries that we made available for the course “Process modeling in the natural sciences” to provide the functionality that was required for the envisaged applications. The students used these SIB libraries to realize their projects.

[1]  Christian Kuntzsch.  Visualization of Data Transfer Paths , 2014, Process Design for Natural Scientists.

[2]  Sameer Velankar,et al.  SOAP-based services provided by the European Bioinformatics Institute , 2005, Nucleic Acids Res..

[3]  Henriette Sens.  Web-Based Map Generalization Tools Put to the Test: A jABC Workflow , 2014, Process Design for Natural Scientists.

[4]  Gunnar Schulze.  Workflow for Rapid Metagenome Analysis , 2014, Process Design for Natural Scientists.

[5]  Monika Lis.  Constructing a Phylogenetic Tree , 2014, Process Design for Natural Scientists.

[6]  Daniel Teske.  Geocoder Accuracy Ranking , 2014, Process Design for Natural Scientists.

[7]  Tiziana Margaria,et al.  Model-Driven Development with the jABC , 2006, Haifa Verification Conference.

[8]  Leif Blaese,et al.  Data Mining for Unidentified Protein Sequences , 2014, Process Design for Natural Scientists.

[9]  Tiziana Margaria,et al.  jETI: A Tool for Remote Tool Integration , 2005, TACAS.

[10]  Tiziana Margaria,et al.  Customer-Oriented Business Process Management: Vision and Obstacles , 2012, Conquering Complexity.

[11]  Tiziana Margaria,et al.  Process Design for Natural Scientists , 2014, Communications in Computer and Information Science.

[12]  Judith Reso.  Protein Classification Workflow , 2014, Process Design for Natural Scientists.

[13]  Rodrigo Lopez,et al.  A new bioinformatics analysis tools framework at EMBL–EBI , 2010, Nucleic Acids Res..

[14]  Lasse Scheele.  Location Analysis for Placing Artificial Reefs , 2014, Process Design for Natural Scientists.

[15]  Tiziana Margaria,et al.  Incremental Formalization: A Key to Industrial Success , 1996, Softw. Concepts Tools.

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

[17]  L. Holm,et al.  The Pfam protein families database , 2005, Nucleic Acids Res..

[18]  Rajeev Alur,et al.  A Temporal Logic of Nested Calls and Returns , 2004, TACAS.

[19]  Walter H. F. Smith,et al.  Free software helps map and display data , 1991 .

[20]  Robin Holler.  GraffDok - A Graffiti Documentation Application , 2014, Process Design for Natural Scientists.

[21]  Gerard J. Holzmann,et al.  Conquering Complexity , 2012, Springer London.

[22]  Tobias Respondek.  A Workflow for Computing Potential Areas for Wind Turbines , 2014, Process Design for Natural Scientists.

[23]  Tiziana Margaria,et al.  Modeling and Execution of Scientific Workflows with the jABC Framework , 2014, Process Design for Natural Scientists.

[24]  Josephine Kind.  Creation of Topographic Maps , 2014, Process Design for Natural Scientists.

[25]  Rodrigo Lopez,et al.  Web Services at the European Bioinformatics Institute , 2007, Nucleic Acids Res..

[26]  Sean R. Eddy,et al.  ATV: display and manipulation of annotated phylogenetic , 2001, Bioinform..