Ontology type: schema:Chapter Open Access: True
2009-08-13
AUTHORSMarta Kwiatkowska , Gethin Norman , David Parker
ABSTRACTProbabilistic model checking is a formal verification framework for systems which exhibit stochastic behavior. It has been successfully applied to a wide range of domains, including security and communication protocols, distributed algorithms and power management. In this chapter, we demonstrate its applicability to the analysis of biological pathways and show how it can yield a better understanding of the dynamics of these systems. Through a case study of the Mitogen-Activated Protein (MAP), Kinase cascade, we explain how biological pathways can be modeled in the probabilistic model checker PRISM and how this enables the analysis of a rich selection of quantitative properties. More... »
PAGES391-409
Algorithmic Bioprocesses
ISBN
978-3-540-88868-0
978-3-540-88869-7
http://scigraph.springernature.com/pub.10.1007/978-3-540-88869-7_20
DOIhttp://dx.doi.org/10.1007/978-3-540-88869-7_20
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1020553924
JSON-LD is the canonical representation for SciGraph data.
TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT
[
{
"@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json",
"about": [
{
"id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Information and Computing Sciences",
"type": "DefinedTerm"
},
{
"id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0801",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Artificial Intelligence and Image Processing",
"type": "DefinedTerm"
},
{
"id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0802",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Computation Theory and Mathematics",
"type": "DefinedTerm"
},
{
"id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0803",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Computer Software",
"type": "DefinedTerm"
}
],
"author": [
{
"affiliation": {
"alternateName": "Oxford University Computing Laboratory, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK",
"id": "http://www.grid.ac/institutes/grid.4991.5",
"name": [
"Oxford University Computing Laboratory, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK"
],
"type": "Organization"
},
"familyName": "Kwiatkowska",
"givenName": "Marta",
"id": "sg:person.011375012273.39",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011375012273.39"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Oxford University Computing Laboratory, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK",
"id": "http://www.grid.ac/institutes/grid.4991.5",
"name": [
"Oxford University Computing Laboratory, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK"
],
"type": "Organization"
},
"familyName": "Norman",
"givenName": "Gethin",
"id": "sg:person.016323171577.36",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016323171577.36"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Oxford University Computing Laboratory, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK",
"id": "http://www.grid.ac/institutes/grid.4991.5",
"name": [
"Oxford University Computing Laboratory, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK"
],
"type": "Organization"
},
"familyName": "Parker",
"givenName": "David",
"id": "sg:person.014007552600.37",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014007552600.37"
],
"type": "Person"
}
],
"datePublished": "2009-08-13",
"datePublishedReg": "2009-08-13",
"description": "Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behavior. It has been successfully applied to a wide range of domains, including security and communication protocols, distributed algorithms and power management. In this chapter, we demonstrate its applicability to the analysis of biological pathways and show how it can yield a better understanding of the dynamics of these systems. Through a case study of the Mitogen-Activated Protein (MAP), Kinase cascade, we explain how biological pathways can be modeled in the probabilistic model checker PRISM and how this enables the analysis of a rich selection of quantitative properties.",
"editor": [
{
"familyName": "Condon",
"givenName": "Anne",
"type": "Person"
},
{
"familyName": "Harel",
"givenName": "David",
"type": "Person"
},
{
"familyName": "Kok",
"givenName": "Joost N.",
"type": "Person"
},
{
"familyName": "Salomaa",
"givenName": "Arto",
"type": "Person"
},
{
"familyName": "Winfree",
"givenName": "Erik",
"type": "Person"
}
],
"genre": "chapter",
"id": "sg:pub.10.1007/978-3-540-88869-7_20",
"inLanguage": "en",
"isAccessibleForFree": true,
"isPartOf": {
"isbn": [
"978-3-540-88868-0",
"978-3-540-88869-7"
],
"name": "Algorithmic Bioprocesses",
"type": "Book"
},
"keywords": [
"formal verification framework",
"probabilistic model checker PRISM",
"quantitative verification techniques",
"probabilistic model checking",
"model checker PRISM",
"verification framework",
"verification techniques",
"model checking",
"communication protocols",
"Mitogen-Activated Protein",
"power management",
"rich selection",
"quantitative properties",
"checking",
"case study",
"security",
"algorithm",
"stochastic behavior",
"system",
"framework",
"protocol",
"wide range",
"domain",
"applicability",
"technique",
"selection",
"management",
"process",
"biological pathways",
"analysis",
"better understanding",
"chapter",
"behavior",
"dynamics",
"understanding",
"biological processes",
"range",
"prism",
"properties",
"study",
"pathway",
"protein",
"kinase"
],
"name": "Quantitative Verification Techniques for Biological Processes",
"pagination": "391-409",
"productId": [
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1020553924"
]
},
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/978-3-540-88869-7_20"
]
}
],
"publisher": {
"name": "Springer Nature",
"type": "Organisation"
},
"sameAs": [
"https://doi.org/10.1007/978-3-540-88869-7_20",
"https://app.dimensions.ai/details/publication/pub.1020553924"
],
"sdDataset": "chapters",
"sdDatePublished": "2022-05-20T07:43",
"sdLicense": "https://scigraph.springernature.com/explorer/license/",
"sdPublisher": {
"name": "Springer Nature - SN SciGraph project",
"type": "Organization"
},
"sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/chapter/chapter_209.jsonl",
"type": "Chapter",
"url": "https://doi.org/10.1007/978-3-540-88869-7_20"
}
]Download the RDF metadata as: json-ld nt turtle xml License info
JSON-LD is a popular format for linked data which is fully compatible with JSON.
curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-88869-7_20'
N-Triples is a line-based linked data format ideal for batch operations.
curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-88869-7_20'
Turtle is a human-readable linked data format.
curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-88869-7_20'
RDF/XML is a standard XML format for linked data.
curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-88869-7_20'
This table displays all metadata directly associated to this object as RDF triples.
145 TRIPLES
23 PREDICATES
69 URIs
60 LITERALS
7 BLANK NODES