Model Checking of Biological Systems View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2013

AUTHORS

Luboš Brim , Milan Češka , David Šafránek

ABSTRACT

Model checking together with other formal methods and techniques is being adapted for applications to biological systems. We present a selection of approaches used for modeling biological systems and formalizing their interesting properties in temporal logics. We also give a brief account of high performance model checking techniques and add a few case studies that demonstrate the use of model checking in computational systems biology. The primary aim is to give a reference for further reading. More... »

PAGES

63-112

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-642-38874-3_3

DOI

http://dx.doi.org/10.1007/978-3-642-38874-3_3

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1011711156


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

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/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Systems Biology Laboratory at Faculty of Informatics, Masaryk University, Botanick\u00e1 68a, 602 00, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Systems Biology Laboratory at Faculty of Informatics, Masaryk University, Botanick\u00e1 68a, 602 00, Brno, Czech Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Brim", 
        "givenName": "Lubo\u0161", 
        "id": "sg:person.0645117057.83", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0645117057.83"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Systems Biology Laboratory at Faculty of Informatics, Masaryk University, Botanick\u00e1 68a, 602 00, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Systems Biology Laboratory at Faculty of Informatics, Masaryk University, Botanick\u00e1 68a, 602 00, Brno, Czech Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "\u010ce\u0161ka", 
        "givenName": "Milan", 
        "id": "sg:person.016652663056.36", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016652663056.36"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Systems Biology Laboratory at Faculty of Informatics, Masaryk University, Botanick\u00e1 68a, 602 00, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Systems Biology Laboratory at Faculty of Informatics, Masaryk University, Botanick\u00e1 68a, 602 00, Brno, Czech Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "\u0160afr\u00e1nek", 
        "givenName": "David", 
        "id": "sg:person.011410250615.43", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011410250615.43"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2013", 
    "datePublishedReg": "2013-01-01", 
    "description": "Model checking together with other formal methods and techniques is being adapted for applications to biological systems. We present a selection of approaches used for modeling biological systems and formalizing their interesting properties in temporal logics. We also give a brief account of high performance model checking techniques and add a few case studies that demonstrate the use of model checking in computational systems biology. The primary aim is to give a reference for further reading.", 
    "editor": [
      {
        "familyName": "Bernardo", 
        "givenName": "Marco", 
        "type": "Person"
      }, 
      {
        "familyName": "de Vink", 
        "givenName": "Erik", 
        "type": "Person"
      }, 
      {
        "familyName": "Di Pierro", 
        "givenName": "Alessandra", 
        "type": "Person"
      }, 
      {
        "familyName": "Wiklicky", 
        "givenName": "Herbert", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-642-38874-3_3", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-642-38873-6", 
        "978-3-642-38874-3"
      ], 
      "name": "Formal Methods for Dynamical Systems", 
      "type": "Book"
    }, 
    "keywords": [
      "model checking", 
      "model checking techniques", 
      "computational systems biology", 
      "checking techniques", 
      "formal methods", 
      "temporal logic", 
      "checking", 
      "selection of approaches", 
      "systems biology", 
      "case study", 
      "system", 
      "logic", 
      "further reading", 
      "biological systems", 
      "technique", 
      "interesting properties", 
      "applications", 
      "selection", 
      "model", 
      "method", 
      "use", 
      "account", 
      "reference", 
      "reading", 
      "brief account", 
      "primary aim", 
      "biology", 
      "aim", 
      "properties", 
      "study", 
      "approach"
    ], 
    "name": "Model Checking of Biological Systems", 
    "pagination": "63-112", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1011711156"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-642-38874-3_3"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-642-38874-3_3", 
      "https://app.dimensions.ai/details/publication/pub.1011711156"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:46", 
    "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_333.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-642-38874-3_3"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

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-642-38874-3_3'

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-642-38874-3_3'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-38874-3_3'

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-642-38874-3_3'


 

This table displays all metadata directly associated to this object as RDF triples.

120 TRIPLES      23 PREDICATES      57 URIs      50 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-642-38874-3_3 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 schema:author N15f15dae1a004c0c879561752d545d57
4 schema:datePublished 2013
5 schema:datePublishedReg 2013-01-01
6 schema:description Model checking together with other formal methods and techniques is being adapted for applications to biological systems. We present a selection of approaches used for modeling biological systems and formalizing their interesting properties in temporal logics. We also give a brief account of high performance model checking techniques and add a few case studies that demonstrate the use of model checking in computational systems biology. The primary aim is to give a reference for further reading.
7 schema:editor Ndb7b8a720afa45c8b719e606e765d264
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Nfc68c9e568af453a8533a2554cbb36b5
12 schema:keywords account
13 aim
14 applications
15 approach
16 biological systems
17 biology
18 brief account
19 case study
20 checking
21 checking techniques
22 computational systems biology
23 formal methods
24 further reading
25 interesting properties
26 logic
27 method
28 model
29 model checking
30 model checking techniques
31 primary aim
32 properties
33 reading
34 reference
35 selection
36 selection of approaches
37 study
38 system
39 systems biology
40 technique
41 temporal logic
42 use
43 schema:name Model Checking of Biological Systems
44 schema:pagination 63-112
45 schema:productId N9438658a81b7463fa100b0a78bf6244e
46 Nc89caf61a54f45bf9a6e837569cb04e5
47 schema:publisher N6ea5e8b0b4c14f44b0cbafdf2e458e08
48 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011711156
49 https://doi.org/10.1007/978-3-642-38874-3_3
50 schema:sdDatePublished 2022-05-20T07:46
51 schema:sdLicense https://scigraph.springernature.com/explorer/license/
52 schema:sdPublisher N6a282841ca2148a6b60b59b115f86dca
53 schema:url https://doi.org/10.1007/978-3-642-38874-3_3
54 sgo:license sg:explorer/license/
55 sgo:sdDataset chapters
56 rdf:type schema:Chapter
57 N0c1f5afd773a492497c65e4945fdd9fd rdf:first N515466b88a704f3cb3ec49dc491e3379
58 rdf:rest Nc78e9ddb5d9f480081f727bcd40017a1
59 N15f15dae1a004c0c879561752d545d57 rdf:first sg:person.0645117057.83
60 rdf:rest N5c47ad4231a543bda84a49b2e49f22fc
61 N3f4e840d089e4aa2a39d54e4d56aca2a rdf:first sg:person.011410250615.43
62 rdf:rest rdf:nil
63 N515466b88a704f3cb3ec49dc491e3379 schema:familyName Di Pierro
64 schema:givenName Alessandra
65 rdf:type schema:Person
66 N5c47ad4231a543bda84a49b2e49f22fc rdf:first sg:person.016652663056.36
67 rdf:rest N3f4e840d089e4aa2a39d54e4d56aca2a
68 N6a282841ca2148a6b60b59b115f86dca schema:name Springer Nature - SN SciGraph project
69 rdf:type schema:Organization
70 N6ea5e8b0b4c14f44b0cbafdf2e458e08 schema:name Springer Nature
71 rdf:type schema:Organisation
72 N9438658a81b7463fa100b0a78bf6244e schema:name doi
73 schema:value 10.1007/978-3-642-38874-3_3
74 rdf:type schema:PropertyValue
75 N9f9faa6834434b80a5efdd4b8358f76a schema:familyName Bernardo
76 schema:givenName Marco
77 rdf:type schema:Person
78 Na886732a4e784fd6acf70a7c3a6b1831 schema:familyName de Vink
79 schema:givenName Erik
80 rdf:type schema:Person
81 Nb14fc6d040424bc99f168f22c7fb67c7 rdf:first Na886732a4e784fd6acf70a7c3a6b1831
82 rdf:rest N0c1f5afd773a492497c65e4945fdd9fd
83 Nbdc4c66038f64b6c9a648ee344d7e2bf schema:familyName Wiklicky
84 schema:givenName Herbert
85 rdf:type schema:Person
86 Nc78e9ddb5d9f480081f727bcd40017a1 rdf:first Nbdc4c66038f64b6c9a648ee344d7e2bf
87 rdf:rest rdf:nil
88 Nc89caf61a54f45bf9a6e837569cb04e5 schema:name dimensions_id
89 schema:value pub.1011711156
90 rdf:type schema:PropertyValue
91 Ndb7b8a720afa45c8b719e606e765d264 rdf:first N9f9faa6834434b80a5efdd4b8358f76a
92 rdf:rest Nb14fc6d040424bc99f168f22c7fb67c7
93 Nfc68c9e568af453a8533a2554cbb36b5 schema:isbn 978-3-642-38873-6
94 978-3-642-38874-3
95 schema:name Formal Methods for Dynamical Systems
96 rdf:type schema:Book
97 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
98 schema:name Information and Computing Sciences
99 rdf:type schema:DefinedTerm
100 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
101 schema:name Computation Theory and Mathematics
102 rdf:type schema:DefinedTerm
103 sg:person.011410250615.43 schema:affiliation grid-institutes:grid.10267.32
104 schema:familyName Šafránek
105 schema:givenName David
106 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011410250615.43
107 rdf:type schema:Person
108 sg:person.016652663056.36 schema:affiliation grid-institutes:grid.10267.32
109 schema:familyName Češka
110 schema:givenName Milan
111 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016652663056.36
112 rdf:type schema:Person
113 sg:person.0645117057.83 schema:affiliation grid-institutes:grid.10267.32
114 schema:familyName Brim
115 schema:givenName Luboš
116 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0645117057.83
117 rdf:type schema:Person
118 grid-institutes:grid.10267.32 schema:alternateName Systems Biology Laboratory at Faculty of Informatics, Masaryk University, Botanická 68a, 602 00, Brno, Czech Republic
119 schema:name Systems Biology Laboratory at Faculty of Informatics, Masaryk University, Botanická 68a, 602 00, Brno, Czech Republic
120 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...