Publikation: Teil einer Monographie/eines Konferenzbandes

Hierarchical modeling for computational biology

Grunddaten
Abstract
Autoren
Einrichtung

Grunddaten

Titel	Hierarchical modeling for computational biology
Veröffentlicht in	Formal methods for computational systems biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008 ; advanced lectures. - Berlin [u.a.] : Springer
Erscheinungsjahr	2008
Seiten (von – bis)	81 – 124
Jahr	2008
Publikationsform	Druckschrift
Publikationsart	Teil einer Monographie/eines Konferenzbandes
Sprache	Englisch
Letzte Änderung	17.05.2019 14:07:45
Bearbeitungsstatus	durch UB Rostock abschließend validiert
Dauerhafte URL	http://purl.uni-rostock.de/fodb/pub/30914
Links zu Katalogen

Abstract

Diverse hierarchies play a role in modeling and simulation for computational biology, e.g. categories, abstraction hierarchies, and composition hierarchies. Composition hierarchies seem a natural and straightforward focus for our exploration. What are model components and the requirements for a composite approach? How far do they support the quest for building blocks in computational biology? Modeling formalisms provide different means for composing a model. We will illuminate this with DEVS (Discrete event systems specification) and the pi calculus. Whereas in DEVS distinctions are emphasized, e.g. between a system and its environment, between properties attributed to a system and the system itself, these distinctions become fluent in the compact description of the pi calculus. However, both share the problem that in order to support a comfortable modeling, a series of extensions have been developed which also influence their possibility to support a hierarchical modeling. Thus, not individual formalisms but two families of formalisms and how they support a composite modeling will be presented. In computational biology one type of composite model deserves a closer inspection, as it brings together the wish to compose models and the need to describe a system at different levels in a unique manner, i.e. multi-level models.

Autoren

Maus, Carsten
John, Mathias
Röhl, Mathias
Uhrmacher, Adelinde

Einrichtung

IEF/Bereich Informatik