Upload
others
View
0
Download
0
Embed Size (px)
Citation preview
SYSTEMS BIOLOGY
BIOINFORMATICS
ROSTOCKS E Ssimulation experiment management system
Improving the Management ofComputational Modelsstorage – retrieval & ranking – version control
MARTIN SCHARM1,2 , RON HENKEL1 , DAGMAR WALTEMATH1 ,OLAF WOLKENHAUER1,31Department of Systems Biology & Bioinformatics, University of Rostock2Department of Computer Science, University of Oxford3Stellenbosch Institute for Advanced Study, South Africa
http://sems.uni-rostock.de
European Bioinformatics InstituteUK 2013
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 1
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/http://sems.uni-rostock.dehttp://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
Introduction
time
#mod
els
2013-06-18
462
+50
1+x·1
03
216
+19
6
2009-06-1631
2005-04-11
• Number of models is steadily increasing• Models tend to get more complex• Continuous development
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 2
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
Introduction
reac
tions
mod
el
~27.
06
curated
~288
.91
noncurated
2013• Number of models is steadily increasing• Models tend to get more complex• Continuous development
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 2
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
Introduction
time
#Ver
sions
• Number of models is steadily increasing• Models tend to get more complex• Continuous development
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 2
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
IntroductionTasks
• Storage & Availability
• Search & Retrieval
• Version Control
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 3
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
IntroductionTasks
• Storage & Availability
• Search & Retrieval
• Version Control
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 3
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
IntroductionTasks
• Storage & Availability
• Search & Retrieval
• Version Control?
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 3
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
IntroductionTasks
• Storage & Availability
• Search & Retrieval
• Version Controlversion x-1 version x version x+1
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 3
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
IntroductionSolutions
Several projects developmethods to support thecommunity
ModelRepository
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 4
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
SYSTEMS BIOLOGY
BIOINFORMATICS
ROSTOCKS E Ssimulation experiment management system
track development
store retrieve
rank
Retrieval
Ranking
ΔΔ
Version 1
Version 2
latest
Version Control
DocumentTyson1991 Cell
Cycle 6
varC2 pM Cell
Reaction3
CP
Uniprot:P04551
Uniprot:P04551
GO:0005623
Interpro
: IPR006670
isVe
rsio
nOf
isVe
rsio
n
hasP
art
is
Pubmed:1831270
Kegg Pathway
sce04111
isDescribedBy
is
EC-Code: 3.1.3.16
isVe
rsio
nOf
Document
SEDML
Modelreference
Output
Datagenerator
Simulation Task
Variable
Variable
Document
Tyson_1991
C2 CP
time
environmen
t
isDescribedByPubmed:
1831270
time timeCPC2 CP C2
DocumentTyson1991 Cell
Cycle 6
varC2 pM Cell
Reaction3
CP
Uniprot:P04551
Uniprot:P04551
GO:0005623
Interpro
: IPR006670
isVe
rsio
nOf
isVe
rsio
n
hasP
art
is
Pubmed:1831270
Kegg Pathway
sce04111
isDescribedBy
is
EC-Code: 3.1.3.16
isVe
rsio
nOf
DocumentTyson1991 Cell
Cycle 6
varC2 pM Cell
Reaction3
CP
Uniprot:P04551
Uniprot:P04551
GO:0005623
Interpro
: IPR006670
isVe
rsio
nOf
isVe
rsio
n
hasP
art
is
Pubmed:1831270
Kegg Pathway
sce04111
isDescribedBy
is
EC-Code: 3.1.3.16
isVe
rsio
nOf
DocumentTyson1991 Cell
Cycle 6
varC2 pM Cell
Reaction3
CP
Uniprot:P04551
Uniprot:P04551
GO:0005623
Interpro
: IPR006670
isVe
rsio
nOf
isVe
rsio
n
hasP
art
is
Pubmed:1831270
Kegg Pathway
sce04111
isDescribedBy
is
EC-Code: 3.1.3.16
isVe
rsio
nOf
Document
Tyson_1991
C2 CP
time
environmen
t
isDescribedByPubmed:
1831270
time timeCPC2 CP C2
DocumentTyson1991 Cell
Cycle 6
varC2 pM Cell
Reaction3
CP
Uniprot:P04551
Uniprot:P04551
GO:0005623
Interpro
: IPR006670
isVe
rsio
nOf
isVe
rsio
n
hasP
art
is
Pubmed:1831270
Kegg Pathway
sce04111
isDescribedBy
is
EC-Code: 3.1.3.16
isVe
rsio
nOf
DocumentTyson1991 Cell
Cycle 6
varC2 pM Cell
Reaction3
CP
Uniprot:P04551
Uniprot:P04551
GO:0005623
Interpro
: IPR006670
isVe
rsio
nOf
isVe
rsio
n
hasP
art
is
Pubmed:1831270
Kegg Pathway
sce04111
isDescribedBy
is
EC-Code: 3.1.3.16
isVe
rsio
nOf
Document
Tyson_1991
C2 CP
time
environmen
t
isDescribedByPubmed:
1831270
time timeCPC2 CP C2
Graph Database
Document
SEDML
Modelreference
Output
Simulation
Task
Document
SEDML
Modelreference
Output
Datagenerator
Simulation Task
Variable
Variable
Document
SEDML
Modelreference
Output
Datagenerator
Simulation Task
http://sems.uni-rostock.de/
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 5
http://sems.uni-rostock.de/http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
StorageGraphDB
Taken from: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.174.8830&rep=rep1&type=pdf
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 6
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
StorageAvailable Data
Model & Simulation Annotation & Ontologies A model’s network
• Constituent names• XML encoded
representation
• Biochemicalbackground
• Synonyms
• Model structure• Aggregation values• Model related data
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 7
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
StorageGraphDB
Document
Tyson1991 Cell Cycle 6
var
C2 pM CellReaction3 CP
Uniprot:P04551 Uniprot:P04551 GO:0005623Interpro: IPR006670
isVe
rsio
nOf
isVe
rsio
n
hasP
art
is
asProductasReactant isContainedIn
Pubmed:1831270
Kegg Pathwaysce04111
isDescribedBy
is
EC-Code: 3.1.3.16
isVe
rsio
nOf
Tyson 1991 - SBML
Model
Entities
Annotations
fig. courtesy R. HenkelDec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 8
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
StorageGraphDB
Document
Model
sodium channel
sodium channel m
gate
time
envmt
has_annotation Pubmed:12991237
time timevm v m
is_connected is_connected
is_mapped_to
Tyson 1991 - CellML
Model
Component
Variable
fig. courtesy R. HenkelDec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 9
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
StorageGraphDB
Document
SEDML
Modelreference Output
DatageneratorSimulation Task
Variable
Variable
Tyson 1991 - SED-ML
Simulation
Entity
Variable
fig. courtesy R. HenkelDec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 10
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
StorageGraphDB
SBO:Ontology
SBO:0000
SBO:544 SBO:236SBO:231
isA
SBO:064 SBO:545SBO:004 SBO:003
Systems Biology Ontology
Root
1. Level
All Ontologies available in OWL can be added easily
fig. courtesy R. Henkel
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 11
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
StorageGraphDB
Models Model related data
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 12
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
StorageGraphDB
Models Model related data
Document
Tyson1991 Cell Cycle 6
var
C2 pM CellReaction3 CP
Uniprot:P04551 Uniprot:P04551 GO:0005623Interpro: IPR006670
isVe
rsio
nOf
isVe
rsio
n
hasP
art
is
asProductasReactant isContainedIn
Pubmed:1831270
Kegg Pathwaysce04111
isDescribedBy
is
EC-Code: 3.1.3.16
isVe
rsio
nOf
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 12
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
StorageGraphDB
Models Model related data
Document
Tyson1991 Cell Cycle 6
var
C2 pM CellReaction3 CP
Uniprot:P04551 Uniprot:P04551 GO:0005623Interpro: IPR006670
isVe
rsio
nOf
isVe
rsio
n
hasP
art
is
asProductasReactant isContainedIn
Pubmed:1831270
Kegg Pathwaysce04111
isDescribedBy
is
EC-Code: 3.1.3.16
isVe
rsio
nOf
Document
Model
sodium channel
sodium channel m
gate
time
envmt
has_annotation Pubmed:12991237
time timevm v m
is_connected is_connected
is_mapped_to
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 12
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
StorageGraphDB
Models Model related data
Document
Tyson1991 Cell Cycle 6
var
C2 pM CellReaction3 CP
Uniprot:P04551 Uniprot:P04551 GO:0005623Interpro: IPR006670
isVe
rsio
nOf
isVe
rsio
n
hasP
art
is
asProductasReactant isContainedIn
Pubmed:1831270
Kegg Pathwaysce04111
isDescribedBy
is
EC-Code: 3.1.3.16
isVe
rsio
nOf
Document
Model
sodium channel
sodium channel m
gate
time
envmt
has_annotation Pubmed:12991237
time timevm v m
is_connected is_connected
is_mapped_to
Document
SEDML
Modelreference Output
DatageneratorSimulation Task
Variable
Variable
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 12
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
StorageGraphDB
Models Model related data
Document
Tyson1991 Cell Cycle 6
var
C2 pM CellReaction3 CP
Uniprot:P04551 Uniprot:P04551 GO:0005623Interpro: IPR006670
isVe
rsio
nOf
isVe
rsio
n
hasP
art
is
asProductasReactant isContainedIn
Pubmed:1831270
Kegg Pathwaysce04111
isDescribedBy
is
EC-Code: 3.1.3.16
isVe
rsio
nOf
Document
Model
sodium channel
sodium channel m
gate
time
envmt
has_annotation Pubmed:12991237
time timevm v m
is_connected is_connected
is_mapped_to
Document
SEDML
Modelreference Output
DatageneratorSimulation Task
Variable
Variable
SBO:Ontology
SBO:0000
SBO:544 SBO:236SBO:231
isA
SBO:064 SBO:545SBO:004 SBO:003
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 12
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
StorageGraphDB
Models Model related data
Document
Tyson1991 Cell Cycle 6
var
C2 pM CellReaction3 CP
Uniprot:P04551 Uniprot:P04551 GO:0005623Interpro: IPR006670
isVe
rsio
nOf
isVe
rsio
n
hasP
art
is
asProductasReactant isContainedIn
Pubmed:1831270
Kegg Pathwaysce04111
isDescribedBy
is
EC-Code: 3.1.3.16
isVe
rsio
nOf
Document
Model
sodium channel
sodium channel m
gate
time
envmt
has_annotation Pubmed:12991237
time timevm v m
is_connected is_connected
is_mapped_to
Document
SEDML
Modelreference Output
DatageneratorSimulation Task
Variable
Variable
SBO:Ontology
SBO:0000
SBO:544 SBO:236SBO:231
isA
SBO:064 SBO:545SBO:004 SBO:003
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 12
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
StorageGraphDB
Models Model related data
Document
Tyson1991 Cell Cycle 6
var
C2 pM CellReaction3 CP
Uniprot:P04551 Uniprot:P04551 GO:0005623Interpro: IPR006670
isVe
rsio
nOf
isVe
rsio
n
hasP
art
is
asProductasReactant isContainedIn
Pubmed:1831270
Kegg Pathwaysce04111
isDescribedBy
is
EC-Code: 3.1.3.16
isVe
rsio
nOf
Document
Model
sodium channel
sodium channel m
gate
time
envmt
has_annotation Pubmed:12991237
time timevm v m
is_connected is_connected
is_mapped_to
Document
SEDML
Modelreference Output
DatageneratorSimulation Task
Variable
Variable
SBO:Ontology
SBO:0000
SBO:544 SBO:236SBO:231
isA
SBO:064 SBO:545SBO:004 SBO:003
Henkel et al. 2013, Graph-based storage of computational biology models and associated simulations, in preparation
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 12
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
StorageGraphDB
Models Model related data
Document
Tyson1991 Cell Cycle 6
var
C2 pM CellReaction3 CP
Uniprot:P04551 Uniprot:P04551 GO:0005623Interpro: IPR006670
isVe
rsio
nOf
isVe
rsio
n
hasP
art
is
asProductasReactant isContainedIn
Pubmed:1831270
Kegg Pathwaysce04111
isDescribedBy
is
EC-Code: 3.1.3.16
isVe
rsio
nOf
Document
Model
sodium channel
sodium channel m
gate
time
envmt
has_annotation Pubmed:12991237
time timevm v m
is_connected is_connected
is_mapped_to
Document
SEDML
Modelreference Output
DatageneratorSimulation Task
Variable
Variable
SBO:Ontology
SBO:0000
SBO:544 SBO:236SBO:231
isA
SBO:064 SBO:545SBO:004 SBO:003
Index
Model
IdNameComponentVariableSpeciesReactionCompartment
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 12
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
StorageGraphDB
Models Model related data
Document
Tyson1991 Cell Cycle 6
var
C2 pM CellReaction3 CP
Uniprot:P04551 Uniprot:P04551 GO:0005623Interpro: IPR006670
isVe
rsio
nOf
isVe
rsio
n
hasP
art
is
asProductasReactant isContainedIn
Pubmed:1831270
Kegg Pathwaysce04111
isDescribedBy
is
EC-Code: 3.1.3.16
isVe
rsio
nOf
Document
Model
sodium channel
sodium channel m
gate
time
envmt
has_annotation Pubmed:12991237
time timevm v m
is_connected is_connected
is_mapped_to
Document
SEDML
Modelreference Output
DatageneratorSimulation Task
Variable
Variable
SBO:Ontology
SBO:0000
SBO:544 SBO:236SBO:231
isA
SBO:064 SBO:545SBO:004 SBO:003
Index
Model
Publication
TitleJournalAbstractAuthors
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 12
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
StorageGraphDB
Models Model related data
Document
Tyson1991 Cell Cycle 6
var
C2 pM CellReaction3 CP
Uniprot:P04551 Uniprot:P04551 GO:0005623Interpro: IPR006670
isVe
rsio
nOf
isVe
rsio
n
hasP
art
is
asProductasReactant isContainedIn
Pubmed:1831270
Kegg Pathwaysce04111
isDescribedBy
is
EC-Code: 3.1.3.16
isVe
rsio
nOf
Document
Model
sodium channel
sodium channel m
gate
time
envmt
has_annotation Pubmed:12991237
time timevm v m
is_connected is_connected
is_mapped_to
Document
SEDML
Modelreference Output
DatageneratorSimulation Task
Variable
Variable
SBO:Ontology
SBO:0000
SBO:544 SBO:236SBO:231
isA
SBO:064 SBO:545SBO:004 SBO:003
Index
Model
Publication
Person
First nameLast nameOrganizationEmail
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 12
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
StorageGraphDB
Models Model related data
Document
Tyson1991 Cell Cycle 6
var
C2 pM CellReaction3 CP
Uniprot:P04551 Uniprot:P04551 GO:0005623Interpro: IPR006670
isVe
rsio
nOf
isVe
rsio
n
hasP
art
is
asProductasReactant isContainedIn
Pubmed:1831270
Kegg Pathwaysce04111
isDescribedBy
is
EC-Code: 3.1.3.16
isVe
rsio
nOf
Document
Model
sodium channel
sodium channel m
gate
time
envmt
has_annotation Pubmed:12991237
time timevm v m
is_connected is_connected
is_mapped_to
Document
SEDML
Modelreference Output
DatageneratorSimulation Task
Variable
Variable
SBO:Ontology
SBO:0000
SBO:544 SBO:236SBO:231
isA
SBO:064 SBO:545SBO:004 SBO:003
Index
Model
Publication
Person
Annotation
URIDescription
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 12
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
StorageGraphDB
Models Model related data
Document
Tyson1991 Cell Cycle 6
var
C2 pM CellReaction3 CP
Uniprot:P04551 Uniprot:P04551 GO:0005623Interpro: IPR006670
isVe
rsio
nOf
isVe
rsio
n
hasP
art
is
asProductasReactant isContainedIn
Pubmed:1831270
Kegg Pathwaysce04111
isDescribedBy
is
EC-Code: 3.1.3.16
isVe
rsio
nOf
Document
Model
sodium channel
sodium channel m
gate
time
envmt
has_annotation Pubmed:12991237
time timevm v m
is_connected is_connected
is_mapped_to
Document
SEDML
Modelreference Output
DatageneratorSimulation Task
Variable
Variable
SBO:Ontology
SBO:0000
SBO:544 SBO:236SBO:231
isA
SBO:064 SBO:545SBO:004 SBO:003
Index
Model
Publication
Person
Annotation
Simulation
IdName
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 12
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
retrieval & rankingExample
Document
Tyson1991 Cell Cycle 6
var
C2 pM CellReaction3 CP
Uniprot:P04551 Uniprot:P04551 GO:0005623Interpro: IPR006670
isVe
rsio
nOf
isVe
rsio
n
hasP
art
is
asProductasReactant isContainedIn
Pubmed:1831270
Kegg Pathwaysce04111
isDescribedBy
is
EC-Code: 3.1.3.16
isVe
rsio
nOf
Show me models byTyson describing the cellcycle and have cdc2!
Person
Annotation
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 13
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
retrieval & rankingExample
Document
Tyson1991 Cell Cycle 6
var
C2 pM CellReaction3 CP
Uniprot:P04551 Uniprot:P04551 GO:0005623Interpro: IPR006670
isVe
rsio
nOf
isVe
rsio
n
hasP
art
is
asProductasReactant isContainedIn
Pubmed:1831270
Kegg Pathwaysce04111
isDescribedBy
is
EC-Code: 3.1.3.16
isVe
rsio
nOf
Show me models byTyson describing the cellcycle and have cdc2!
Person
Annotation
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 13
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
retrieval & rankingExample
Document
Tyson1991 Cell Cycle 6
var
C2 pM CellReaction3 CP
Uniprot:P04551 Uniprot:P04551 GO:0005623Interpro: IPR006670
isVe
rsio
nOf
isVe
rsio
n
hasP
art
is
asProductasReactant isContainedIn
Pubmed:1831270
Kegg Pathwaysce04111
isDescribedBy
is
EC-Code: 3.1.3.16
isVe
rsio
nOf
Show me models byTyson describing the cellcycle and have cdc2!
Person
Annotation
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 13
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
retrieval & rankingExample
Document
Tyson1991 Cell Cycle 6
var
C2 pM CellReaction3 CP
Uniprot:P04551 Uniprot:P04551 GO:0005623Interpro: IPR006670
isVe
rsio
nOf
isVe
rsio
n
hasP
art
is
asProductasReactant isContainedIn
Pubmed:1831270
Kegg Pathwaysce04111
isDescribedBy
is
EC-Code: 3.1.3.16
isVe
rsio
nOf
Show me models byTyson describing the cellcycle and have cdc2!
Person
Annotation
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 13
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
retrieval & rankingExample
Document
Tyson1991 Cell Cycle 6
var
C2 pM CellReaction3 CP
Uniprot:P04551 Uniprot:P04551 GO:0005623Interpro: IPR006670
isVe
rsio
nOf
isVe
rsio
n
hasP
art
is
asProductasReactant isContainedIn
Pubmed:1831270
Kegg Pathwaysce04111
isDescribedBy
is
EC-Code: 3.1.3.16
isVe
rsio
nOf
Show me models byTyson describing the cellcycle and have cdc2!
Person
Annotation
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 13
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
retrieval & rankingExample
Document
Tyson1991 Cell Cycle 6
var
C2 pM CellReaction3 CP
Uniprot:P04551 Uniprot:P04551 GO:0005623Interpro: IPR006670
isVe
rsio
nOf
isVe
rsio
n
hasP
art
is
asProductasReactant isContainedIn
Pubmed:1831270
Kegg Pathwaysce04111
isDescribedBy
is
EC-Code: 3.1.3.16
isVe
rsio
nOf
Show me models byTyson describing the cellcycle and have cdc2!
Person
Annotation
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 13
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
retrieval & rankingExample
Document
Tyson1991 Cell Cycle 6
var
C2 pM CellReaction3 CP
Uniprot:P04551 Uniprot:P04551 GO:0005623Interpro: IPR006670
isVe
rsio
nOf
isVe
rsio
n
hasP
art
is
asProductasReactant isContainedIn
Pubmed:1831270
Kegg Pathwaysce04111
isDescribedBy
is
EC-Code: 3.1.3.16
isVe
rsio
nOf
Thank you!
Person
Annotation
1. (0.859) Tyson1991 - Cell Cycle 6 var2. (0.854) Tyson2001_Cell_Cycle_Regulation3. (0.477) Chen2004 - Cell Cycle Regulation
Henkel et al. 2010: Ranked retrieval of Computational Biology modelsDec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 13
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
Version Control
version x-1 version x version x+1
what happened ?
track versions Ø
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 14
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
Version Control
version x-1 version x version x+1
track versions Ø
what happened ?
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 14
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
Model EvolutionExample: Cell Cycle
CyclinCdc2 P
CyclinCdc2 P
Modeling the cell division...
John J Tyson, 1991
muell
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 15
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
Model EvolutionExample: Cell Cycle
Cyclin
Cdc2 P
Cyclin
Cdc2 P
Cdc25Cdc25∗ Wee1 Wee1∗
Numerical analysis of a comprehensive model of M-phase control in Xenopus oocyte
Bela Novak and John J Tyson, 1993
Cyclin
Cdc2 P
Cyclin
Cdc2 P
Modeling the cell division...
John J Tyson, 1991
muell
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 15
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
Model EvolutionExample: Cell Cycle
Cyclin
Cdc2 P
Cyclin
Cdc2 P
Cdc25Cdc25∗ Wee1 Wee1∗
Numerical analysis of a comprehensive model of M-phase control in Xenopus oocyte
Bela Novak and John J Tyson, 1993
Cyclin
Cdc2 P
Cyclin
Cdc2 P
Cdc25Cdc25∗
Mik1 Mik1∗
Wee1 Wee1∗
Quantitative analysis of a molecular model of mitotic control in Fission yeast
Bela Novak and John J Tyson, 1995
Cyclin
Cdc2 P
Cyclin
Cdc2 P
Modeling the cell division...
John J Tyson, 1991
muell
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 15
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
Model EvolutionExample: Cell Cycle
Cyclin
Cdc2 P
Cyclin
Cdc2 P
Cdc25Cdc25∗ Wee1 Wee1∗
Numerical analysis of a comprehensive model of M-phase control in Xenopus oocyte
Bela Novak and John J Tyson, 1993
Cyclin
Cdc2 P
Cyclin
Cdc2 P
Cdc25Cdc25∗
Mik1 Mik1∗
Wee1 Wee1∗
Quantitative analysis of a molecular model of mitotic control in Fission yeast
Bela Novak and John J Tyson, 1995
Cyclin
Cdc2 P
Cyclin
Cdc2 P
Modeling the cell division...
John J Tyson, 1991
Cyclin
Cdc2 P
Cyclin
Cdc2 P
Cdc25Cdc25∗
Mik1 Mik1∗
Wee1 Wee1∗
Cyclin
Cdc2 P
Rum1
Modeling the control of DNA replication in fission yeast
Bela Novak and John J Tyson, 1997
muell
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 15
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
Version Controlgood news
A r C
B
D
cycE/cdk2
RB/E2F
RB-Hypo
free E2F
A r
B
C
D
E s
RB/E2F
RB-Hypo
free E2F
cycE/cdk2
RB-Phos
new insights
Waltemath et al.: Improving the reuse of computational models through versioncontrol. Bioinformatics (2013) 29(6): 742-728;
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 16
http://bioinformatics.oxfordjournals.org/content/29/6/742.longhttp://bioinformatics.oxfordjournals.org/content/29/6/742.longhttp://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
BiVeSDifference Detection
A r C
B
D
cycE/cdk2
RB/E2F
RB-Hypo
free E2F
A r
B
C
D
E s
RB/E2F
RB-Hypo
free E2F
cycE/cdk2
RB-Phos
A
r
BC
D
A
r
B
C
D
E
s
Biochemical Model Version Control System
• compares models encoded in standadizedformats (currently: and )
• maps hierarchically structured contentmapping
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 17
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
BiVeSDifference Detection
A r C
B
D
cycE/cdk2
RB/E2F
RB-Hypo
free E2F
A r
B
C
D
E s
RB/E2F
RB-Hypo
free E2F
cycE/cdk2
RB-Phos
A
r
BC
D
A
r
B
C
D
E
s
Biochemical Model Version Control System
• compares models encoded in standadizedformats (currently: and )
• maps hierarchically structured content• constructs a diff (in XML format)• is able to interprete this diff
Diff
movesproduct of r: C
deletesproduct of r: B
insertsspecies: Eproduct of r: Ereaction s
mapping
diff construction
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 18
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
BudHatDiff Visualization
A r C
B
D
cycE/cdk2
RB/E2F
RB-Hypo
free E2F
A r
B
C
D
E s
RB/E2F
RB-Hypo
free E2F
cycE/cdk2
RB-Phos
A
r
BC
D
A
r
B
C
D
E
s
Diff
movesproduct of r: C
deletesproduct of r: B
insertsspecies: Eproduct of r: Ereaction s
• calls BiVeS to construct the diff• displays the result in various formats
• the XML diff• a reaction network highlighting the
changes using• a human readable report
A r B
C
D
E s
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 19
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
ApplicationsCommunicating Changes
Novak & Tyson ’93: Numerical analysis of a comprehensive model of M-phase control in Xenopusoocyte extracts and intact embryos
Biomodels Database BIOMD0000000107:
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 20
http://www.ebi.ac.uk/biomodels-main/BIOMD0000000107http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
ApplicationsCommunicating Changes
Fixed the model→ How to communicate the changes?
Unix diff?
1c1< --->
287 lines...
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 21
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
ApplicationsCommunicating Changes
Fixed the model→ How to communicate the changes?
BiVeS Diff?
much smarter, but still 24 lines..Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 21
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
ApplicationsCommunicating Changes
Fixed the model→ How to communicate the changes?
BiVeS Diff: Highlighted chemical reaction network
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 21
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
ApplicationsCommunicating Changes
Fixed the model→ How to communicate the changes?
BiVeS Diff: Report
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 21
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
ApplicationsBiomodelsDatabase / PMR2
Biomodels Database CellML Model Repository
963 # Models 158910193 # Versions 128789148 # prod. Diffs 12936
BiVeS Unix’ Diff BiVeS Unix’ Diff2233 1890 # empty Diffs 10113 10043
434.825 1977.210 ∅ #ops 349.5282 480.249
6915 non-empty diffs following 2823 non-empty diffs
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 22
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
ApplicationsBiomodelsDatabase / PMR2
Biomodels Database CellML Model Repository
963 # Models 158910193 # Versions 128789148 # prod. Diffs 12936
BiVeS Unix’ Diff BiVeS Unix’ Diff2233 1890 # empty Diffs 10113 10043
434.825 1977.210 ∅ #ops 349.5282 480.249
6915 non-empty diffs following 2823 non-empty diffs
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 22
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
ApplicationsBiomodelsDatabase / PMR2
Biomodels Database CellML Model Repository
963 # Models 158910193 # Versions 128789148 # prod. Diffs 12936
BiVeS Unix’ Diff BiVeS Unix’ Diff2233 1890 # empty Diffs 10113 10043
434.825 1977.210 ∅ #ops 349.5282 480.249
6915 non-empty diffs following 2823 non-empty diffs
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 22
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
ApplicationsBiomodelsDB / PMR2
Biomodels Database
●●●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●
●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●●●●●●●●●●●●
●
●●●●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●●●●●●●●●●●●●●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●●●
●
●● ●●
●
●●●● ●●●●●●●●●●●●●●●
●
●●●●●●
●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●
●
●●●
●
●●
●
●●●●●●●●●●●●●●●●●●●●●●●
●
●●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●
●
●
●
●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●
●
●
●
●●
●
●●●●●●●●●●●●●●
●
●●●
●
●
●
●●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●●●●●●
●
●●●
●
●
●
●●
●
●●●●●●
●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●●●●●●●●
●
●●●●●●●●●●●●●●●●●●●●
●
●●●●●●●●
●
●
●●●●
●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
● ●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●
●
●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●●●●●●●●●●●●●●
●●●●●●●●●●●●
●
●● ●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●●●●●●●●●●●
●
●●●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●
●
●
●●
●●●●●●●●●●●●●●●●●●●
●
●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●●
●
●●●●●●●●●●●●
●
●●●
●
●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●
●
●
●
●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●●●●●●●●●●●●●●
●●
●●●
●
●●● ●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●
●
●●●●●●●●●●●
●●●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●
●
●
●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●●●●●●●●●●●●●
●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●●
●
●●●●
●
●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●
●
●●●●●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●
●
●●●
●
●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●
●
●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●
●●●●●●●
●
●●
●
●●●●●●
●
●●●●●●●●●●●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●
●
●●
●
●●●●●●●●●●●●●●●●
●
●●●
●
●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●●
●
●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●
●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●
●●●●●●●
●
●●●
●
●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●
●
●●●●●●●●●
●
●●
●
●●●●●●●
●●●
●
●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●
●
●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●
●
●
●
●
●●●●●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●
●
●●●
●●●●●●●●●●●●●●●●●●●
●
●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●
●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●
●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●●●●●●●●
●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●● ●
●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●●●
●
●●●●●●●●●●●●●●●●●
●
●●●●●●●●●
●●●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●
●
●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●●●●●●●●●●●●●●●●●
●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●
●
●●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●
●
●●
●
●●●●●●●●●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●●●●●●●●●●●●●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●
●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●
●
●
●
●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●
●
●●
●
●●●●●●●●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●
●
●●
●
●●●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●
●
●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●
●
●
●
●
●
●●●●●
●●●●
●
●
●
●
●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●
●
● ●●●●●
●
●●●●●●●●●
●
●
●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●●●●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
0 20000 40000 60000 80000
050
000
1000
0015
0000
2000
0025
0000
3000
00
#operations needed by BiVeS
#ope
ratio
ns n
eede
d by
Uni
x' d
iff
#operations Unix' diff == #operations BiVeS
CellML Model Repository
●
●●●●●
●
●
●
●
●●
●
●●●
●
●
●●
●
●
●●●●●
●●●●
●
●●
●●
●
●
●●
●●●
●
●
●●●
●
●●●●●●●
●
●
●
●
●
●
●●●●
● ●●●●●●●
●
●●●●●
●
●●
●
●●●●●●●●
●
●
●
●●●●●●
●●●●
●●●●●●●●● ●●●●●●●●●
●
●●●
●
●●●●
●
●●●
●●
●●●●
●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●
●
●●●
●
●
●
●●●●●
●●●●
●
●●●●●●
●●●●●●
●●●
●
●
● ●
●
●
●●●
●●
● ●●
●
●
●
●●
●●●●●●●
●●●
●
●●
●
●●●●
●
●
●
●●●●●
●
●●●●●●●●●●●●●●
●
●●
●●●●●●●
●●●●●●●●●●●●
●●●
●
●●●●●●●●●
●●
●
●●
●
●●●
●●●●
●
●
●
●
●
●
●
●
●●●
●
●●●
●
●
●
●●
●
●●●●●●●●●●●
●
●
●
●
●
●●
●
●●●●●●●
●
●●
●
●●●●●●●●●
●
●
●
●●●
●
●
●●● ●
●●●●●
●
●
●
●
●●●●●●●
●
●●●●●●
●
●
●●●●●●●●●
●
●●●●●●●
●●●●
●
●●●●●
●
●●●●●●
●
●●
●
●
●●
●
●●●●●
●
●●●●●●●●●●●●●●
●
●
● ●
●
●●●
●
●
●●●●●●●
●●
●
●●●●
●
●
●
●●●●●●●●●●
●●●●
●
●
●
●
●
●●●
●●●
●
●
●
●●●●●●
●
●
●
●
●●●●●
●
●●●
●
●●
●●●●
●●●●●
●●
●
●●●
●
●●●●●●●●●●●●●●●●●● ●●●●●
●●●●
●
●
●
●●●●
●
●
●●●●●●●
●
●●
●
●●●●●
●●●●● ●●●●●●●●●●
●
●●●●●●●●●●
●
●●●●●●
●●●●●●
●●●●●●●
●●●●●
●
●●
●
●●●●●
●●
●
●
●●●●
●
●●●
●
●
●
●●●●
●
●●●●
●
●●●
●●●
●
●●
●● ●●
●●●
●●●●●
●●●●●●●●●●●●●●●●●●●●
●
●●●●
●●
●
●
●
●
●
●
●
●
●●
●●
●
●●●
●●
●●●
●
●●●●●●●●●●●
●●●●●●●
●
●●●●●●●●●●
●
●●●●●
●
●
●
●
●
●●
●
●●●●●●
●●
●●●●
●
●●
●●
●
●
●●●●●●
●
●
●
●●
●●●●
●
●●●
●
●●●●●
●●●●●●●●●●●●
●
●●●
●
●●●●●●●●
●
●●●●
●
●
●●●●●
●●
●●●
●
●
●
●
●
●
●●●
●●●●●● ●●
●●
●●●●●●●●●●● ●●● ●●●●●
●●
●
●
●
●
●●●●●●●
●●●●
●
●●●
●
●●● ●●● ●● ●●●
●
●●●●●
●
●
●
●
●●
●
●●
●●●
●
●●●●●●●●●●●
●
●●
●
●●●
●●●●●●●●
●
●●●●●●●●●●●
●
●●●
●
●●●●
●●
●
●●●●●●●●●
●
●
●
●
●
●●●
● ●●●
●
●●●●●●
●●●●●●●●●●●●●●
●●●●●
●●●●●●
●
●
●●●●●●
●●
●●●●
●●●●●
●
●●●
●●●●●●●
●
●●●●
●
●
●
●
●
●●
●
●●●●●●●
●
●
●●●●●●●●●●●●●●
●●
●
●
●
●●●●●●●●
●
●●
●
●
●
●
●●
●
●●●●●●
●
●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●
●
●●●●●●
●
●●●●●●●●●●●●●●●●●●
●
●●●●●●●●●
●●●
●●
●
●
●
●
●
●●●●●●●●●●●●
●●●●
●
●●●●●
●
●●●
●
●
●●●
●
●●●●●
●
●●●●●
●●●
●●●●●●●
●
●●●●●●●●●●●●●●
●●●
●●●● ●●●●●●●
●
●●●
●
●●●
●●
●●●●
●●●●●●●●●●
●
●●
●
●●
●
●●●
●
●
●●●●
●
●●●●
●
●
●●●
●
●
●
●●
●
●
●●
●
●
●
●●
●
●
●●
●●●●
●
●
●
●●●●
●
●●●●●
●
●
●
●●●●●
●
● ●●●●●●●
●●●●●●●●●●
●●
●
●●●●
●
●●●●●
●●
●●
●
●
●
●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●
●
●●
●●●●●
●
●●
●
●●●●●●●●
●
●●
●
●●●●●●●● ●●●●●●●●●
●
●
●●
●
●●●●
●
●●●
●●●
●●●
●
●
●
●
●
●●
●●●●●●●●● ●●●●●
●
●●
●●●●
●
●●●●●●●●●●●●●●●●●
●
●●●●●
●●
●●●
●
●●
●●●●●●●●●●●
●●
●●●●●●●●●●●●●●●●●●●●●●●●
●
●●
●
●
●●●●●
●●●●●●●●●
●●●●●●●●●●●●●●●●
●
●●●●
●●
●●●
●
●●●●●●●
●
● ●●●●●●●●●●●
●
●●●●
●
●
●●●●●●●●●●●
●●●●●
●
●
●●●●●●
●
●
●●●●●
●
●
●●
●●
●
●●●
●
●●●●●
●●
●●●●
●●●
●●
●●●●●●●●●●
●●●●●
●●●●●●●
●●●●●●●●●●●●●●●●●●●
●
●●●
●
●●●●●●
●
●●● ●●●●●●●
●
●●●
●
●
●
●●
●●●●●
●
●●
●●
●●● ●●
●●●●●●●●●●
●●●●●● ●
●
●●●
●
●●●
●
●●
●●●●●
●●
●
●●●●●●●
●●●
●●●●●
●●
●
●
●●●●●●●
●
●●●●
●●
●●●●●●●●●●●●●●●●●●●●●●●● ●●●
●
●
●●●●●●●●●●
●
●●●●●●●●
●
●●●●●●●●●●●
●●●
●
●●●●●●●
●●●●●●●●●
●
●
●
●
●
●●●●●●●●●●●●
●
●
●●
●
●●●●●●●●●●
●
●
●
●●
●
●●●●
●
●●●●●●●●●●
●
●●●●●
●
●●●
●
●●
●●●●
●●
●●●
●●
●●●●●●●●
●●
●
●●●
●
●●●
●●●●
●
●●
●
●●
●
●
●
●●●●●●●
●●
●
●●
●
●●
●●
●
●●
●
●●
●●●●●●
●●●●●●
●●●
●●●●●
●●
●●●●●●●●●●●●●●●●●●●
●●
●●●
●
●●
●●●●●●
●
●●●●
●● ●●●●●●●●
●
●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●●●●●●●●●●●●●●●●●●●
●
●●●●
●
●●
●
●
●●●●●
●●
●●●
●
●●
●
●
●
●
●
●●
●
●
●●
●
●
●●
●
●
●●●
●
●
●
●●
●
●
●●●
●
●●
●
●
●
●
●●
●
●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●
●●●●●●●●
●
●
●
●●●●●
●
●
●
●●●●
●
●
●
●
●●●
●
●●●●●●●●●●●●●●●●●●●
●●●●
●
●
●
●●●●●●
●●●●●●●●●●
●
●●●
●
●
●●●●
●●●
●
●
●●
●
●
●●●●
●
●
●●●
●
●●●●●●
●
●
●●●●
●
●●●●●●●●●●
●
●●●
●
●●●
●
●●●●●●●●●●●●● ●●
●●
●●●●●
●●●●●●●●●
●●
●●●●●●●●●
●●●●●●
●
●●●●
●
●
●
●●●●●●●
●●●
●●●●
●
●●●●
●●●
●●●●●●●●●●●
●
●●●●●
●●●●●
●
●
●●
●
●
●●●
●
●●●●●●●●
●●●●●●●●
●
●●●●●
●
●●●●●●●●●●●●●● ●●●●●●●●
●
●●●●●●●●
●
●
●●●●●●●
●●●
●
●●●●●
●
●●●●●
●
●●●
●
●
●
●
●●●●●
●●
●●●●
●
●●
●
●●
●●
●●
●●●
0 5000 10000 15000 20000 25000
050
0010
000
1500
020
000
2500
0
#operations needed by BiVeS
#ope
ratio
ns n
eede
d by
Uni
x' d
iff
#operations Unix' diff == #operations BiVeS
Dec 4, 2013 SEMS | Martin Scharm, Ron Henkel, Dagmar Waltemath, Olaf Wolkenhauer 23
http://www.sbi.uni-rostock.de/team/single/martin-scharm/http://www.sbi.uni-rostock.de/team/single/ron-henkel/http://www.sbi.uni-rostock.de/team/single/dagmar-waltemath/http://www.sbi.uni-rostock.de/team/single/prof-olaf-wolkenhauer/
ApplicationsBiomodelsDB / PMR2
●● ● ● ●● ●● ● ●● ●● ●●●● ●● ● ●● ●● ● ●●●● ●● ●● ●●● ●●●●● ● ●● ●● ●● ● ●● ●● ●●● ●● ● ●●● ● ●●● ●● ●●● ● ●● ●● ● ●● ●●●●● ●● ● ● ●● ● ●●● ●●● ●●●●●● ●●● ●● ●● ● ●● ●●●● ● ● ●● ●● ●● ● ● ●● ●●● ●● ●● ●● ● ● ●● ● ● ●● ●● ●● ● ● ●●●● ●●● ● ●●●● ● ●●●● ● ● ●● ●● ●● ●●● ●●●● ●● ●● ●● ●●● ●●● ●● ● ● ●● ●●●● ●●● ● ●●●● ●●●●● ●●● ●●●● ● ● ●●●●●
● ● ●●●● ● ●● ●●●●● ● ●●● ●●● ●● ● ●● ● ●●●● ●●● ●●●● ●●●● ● ● ●● ●●● ● ● ● ●●●●●● ●● ● ●●● ● ●●●●●●● ●●●● ●●● ●●● ● ● ● ●●● ●●● ●● ●●● ●● ●● ●● ●● ●● ● ●●● ●● ●●●● ● ● ●●● ●● ●● ●● ●●● ● ●●● ●● ●● ●●●● ●●● ● ●● ●●● ● ●●● ●● ●●●● ●● ●● ● ●●● ●● ●● ●●●●●● ●●●●●● ● ●●●● ● ●● ● ●●● ●●● ● ●●● ●● ●●●●●●● ●●●●●● ●● ●●● ● ●●●●● ●● ●●●● ● ●●● ●●● ● ●●●●●● ● ● ● ●● ●●● ● ●●● ●●●● ● ● ● ●●● ●●● ●●● ●●● ●●● ● ● ●●● ●●●●●● ●● ●●●● ● ●●● ● ●● ●● ●● ●●● ●●●● ●●● ●●● ●●● ● ● ●●● ●●●● ● ●● ● ●● ● ●● ●● ●●●● ●● ●● ● ●●● ●●●● ● ●●● ●●● ● ●● ● ● ●●● ●● ●●● ● ● ●● ●●● ●●● ●●● ● ●●●●● ●● ●●●●●● ● ●●●●●● ● ● ●● ● ●● ●● ●● ●● ●● ●●●●●● ●● ● ●●●● ●●● ●●● ● ●●●● ●●●●●●●● ●● ● ●●● ●●● ●● ●● ●●●●●● ● ● ●● ●●●●●● ●● ●●●●● ●● ● ●●●●● ●● ●● ●●●● ●●● ●●●●● ● ●● ●● ●● ●● ●● ●●●● ●●● ●● ●●●● ●●● ● ●●● ●● ●●●●● ●●●● ● ●● ●● ●●●●●●● ● ●●● ●●● ●● ● ●●●●●● ●●● ●●● ●● ●●●● ●● ●●● ● ●●●●● ● ●● ●●● ●●● ●●● ●●● ● ●●●●●●●● ●●● ● ● ● ●●● ● ● ● ●●● ●●●● ● ●●● ●●● ●●●● ●● ● ●●● ●● ● ●● ● ●● ●● ● ●●● ●● ● ● ●● ●● ●● ●●●● ● ●● ●● ● ●●●● ●●●●● ●● ●● ●●● ●● ●● ● ●●●● ●● ●●● ●●●●●●●● ● ●●● ● ●● ● ●●●● ●● ●● ●●● ●● ● ●● ●●● ● ●● ●● ●●● ●● ●●●●● ●●● ●● ●●● ●● ●●●●●● ●●●● ● ●● ●●●● ●● ●●● ● ●●● ● ●● ● ● ●●●● ● ●●●●● ●●● ●● ●● ●● ● ●● ●●● ●●● ●● ●● ● ●●●●● ●●●●● ●● ●●●●● ● ●●● ●●● ● ● ●●●●●● ●●● ●● ●●● ● ●● ● ●● ●● ● ●●●●● ● ●● ●
●●● ●●● ● ●● ●● ●● ● ●● ● ●● ●● ●●●●● ●● ●● ●●●● ●●●● �