Lamprecht, Anna-Lena

Margaria, Tiziana

Steffen, Bernhard

English

PubMed

Anna-Lena Lamprecht

Tiziana Margaria

Bernhard Steffen

Springer - Publisher Connector

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

A Software Engineering Approach to Design and Development of Semantic Web Service Applications. The Semantic Web –

An Approach to Intelligent Software Library Management.

API for Biology

Automatic synthesis of linear process models from temporal constraints: An incremental approach.

Backtracking-Free Design Planning by Automatic Synthesis in METAFrame. Fundamental Approaches to Software Engineering

Basic local alignment search tool.

Bio-jETI: a Service Integration, Design, and Provisioning Platform for Orchestrated Bioinformatics Processes.

Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms. Leveraging Applications of Formal Methods, Verification and Validation, ISoLA

BioMOBY: an open source biological web services proposal.

BioOpera: Cluster-aware Computing.

BioSPICE: access to the most current computational tools for biologists. Omics:

Data Flow Analysis as Model Checking.

Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process. ISoLA 2007, 85–97, [(Journal version to appear in ISSE)].

EMBOSS: the European Molecular Biology Open Software Suite. Trends in Genetics:

et al: GeneFisher-P: variations of GeneFisher as processes in Bio-jETI.

et al: Interoperability with Moby 1.0-it’s better than sharing your toothbrush!. Briefings in Bioinformatics

et al: SOAP-based services provided by the European Bioinformatics Institute. Nucleic Acids Research

et al: Taverna: a tool for the composition and enactment of bioinformatics workflows. Bioinformatics

et al: The OBO Foundry: coordinated evolution of ontologies to support biomedical data integration. Nat Biotech

et al: Wildfire: distributed, Gridenabled workflow construction and execution.

Farmer A and Stein L: The BioMOBY Project Explores Open-Source, Simple, Extensible Protocols for Enabling Biological Database Interoperability.

Gene ontology: tool for the unification of biology.

Genesys: Service-Oriented Construction of Property Conform Code Generators.

Gojobori T and Tateno Y: DDBJ in the stream of various biological data.

Grumberg O and Peled DA: Model Checking The

Grumberg O and Peled DA: Model Checking The MIT Press chap. Temporal Logics;

jETI: A Tool for Remote Tool Integration. Tools and Algorithms for the Construction and Analysis of Systems LNCS,

Kepler: An Extensible System for Design and Execution of Scientific Workflows.

LTL Guided Planning: Revisiting Automatic Tool Composition in ETI.

Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC.

ModelDriven Development with the jABC. Hardware and Software, Verification and Testing

Module Configuration by Minimal Model Construction.Tech rep

MOSEL: A flexible toolset for monadic second-order logic.

Ontology Language OWL/W3C Semantic Web Activity.

OPOSSum – An Online Portal to Collect and Share SWS Descriptions.

OPOSSum Online Portal for Semantic Services.

P r o g r a mA n a l y s i sa sM o d e l Checking of Abstract Interpretations.

Resource Description Framework (RDF)/W3C Semantic Web Activity.

Semantic Annotations for WSDL Working Group.

Semi-automatic web service composition for the life sciences using the BioMoby semantic web framework.

Service is in the Eyes of the Beholder.

Seven Variations of an Alignment Workflow – An Illustration

Sheth A and Henson C: Semantic Provenance for eScience: Managing the Deluge of Scientific Data.

Synthesis of Communicating Processes from Temporal Logic Specifications.

Synthesizing the Mediator with jABC/ABC.

The FMICS-jETI Platform: Status and Perspectives.

The Semantic Web – A new form of Web content that is meaningful to computers will unleash a revolution of new possibilities.

The Triana Workflow Environment: Architecture and Applications. Workflows for e-Science

W3C Semantic Web Activity.

Web Services at the European Bioinformatics Institute. Nucleic Acids Research

Webservices and Workflows on the Bielefeld Bioinformatics Server: Practices and Problems.

WSMX: A Semantic Service Oriented Middleware for B2B Integration. Service-Oriented Computing –

file:///data/core-remote/dit/data/Springer-OA/pdf/fd1/aHR0cDovL2xpbmsuc3ByaW5nZXIuY29tLzEwLjExODYvMTQ3MS0yMTA1LTEwLVMxMC1TOC5wZGY=.pdf

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

Abstract

Similar works

Full text

Available Versions

Springer - Publisher Connector

Springer - Publisher Connector