Transactions on Computational Systems Biology XII: Special Issue on Modeling Methodologies

by Springer Berlin Heidelberg

Overview

The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising from the systems oriented point of view of biological phenomena.

This special issue of the journal focuses on the topic of modeling methodologies. It starts with a position paper by the guest editors, entitled Biomodel Engineering - from Structure to Behavior, which is followed by the technical contributions covering a broad range of modeling methodologies. Two papers focus on new modeling languages, and these are followed by an article presenting a case study demonstrating the value of the qualitative network approach. With the remaining three contributions, the special issue leaves the area of qualitative modeling, to move toward quantitative programming with the BlenX language and the application of more theoretical process calculi.

Product Details

ISBN-13:	9783642117114
Publisher:	Springer Berlin Heidelberg
Publication date:	03/26/2010
Series:	Lecture Notes in Computer Science , #5945
Edition description:	2010
Pages:	263
Product dimensions:	6.10(w) x 9.30(h) x 0.60(d)

Table of Contents

Biomodel Engineering-From Structure to Behavior Rainer Breitling Robin A. Donaldson David R. Gilbert Monika Heiner 1

The Attributed Pi-Calculus with Priorities Mathias John Cédric Lhoussaine Joachim Niehren Adelinde M. Uhrmacher 13

A Language for Biochemical systems: Design and Formal Specification Michael Pedersen Gordon D. Plotkin 77

Mechanistic Insights into Metabolic Disturbance during Type-2 Diabetes and Obesity Using Qualitative Networks Antje Beyer Peter Thomason Xinzhong Li James Scott Jasmin Fisher 146

Modelling Self-assembly in BlenX Roberto Larcher Corrado Priami Alessandro Romanel 163

Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon céline Kuttler Cé'dric Lhoussaine Mirabelle Nebut 199

Modelling and Analysis of the NF-kB Pathway in Bio-PEPA Federica Ciocchetta Andrea Degasperi John K. Heath Jane Hillston 229

Author Index 263