Verification of Scheme Plans Using CSP||B View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2014-03-08

AUTHORS

Philip James , Faron Moller , Hoang Nga Nguyen , Markus Roggenbach , Steve Schneider , Helen Treharne , Matthew Trumble , David Williams

ABSTRACT

The paper presents a tool-supported approach to graphically editing scheme plans and their safety verification. The graphical tool is based on a Domain Specific Language which is used as the basis for transformation to a CSP‖\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\parallel $$\end{document}B formal model of a scheme plan. The models produced utilise a variety of abstraction techniques that make the analysis of large scale plans feasible. The techniques are applicable to other modelling languages besides CSP‖\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\parallel $$\end{document}B. We use the ProB tool to ensure the safety properties of collision, derailment and run-through freedom. More... »

PAGES

189-204

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-319-05032-4_15

DOI

http://dx.doi.org/10.1007/978-3-319-05032-4_15

DIMENSIONS

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


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/0801", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Artificial Intelligence and Image Processing", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Swansea University, Swansea, UK", 
          "id": "http://www.grid.ac/institutes/grid.4827.9", 
          "name": [
            "Swansea University, Swansea, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "James", 
        "givenName": "Philip", 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Swansea University, Swansea, UK", 
          "id": "http://www.grid.ac/institutes/grid.4827.9", 
          "name": [
            "Swansea University, Swansea, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Moller", 
        "givenName": "Faron", 
        "id": "sg:person.010425236217.29", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010425236217.29"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Nottingham, Nottingham, UK", 
          "id": "http://www.grid.ac/institutes/grid.4563.4", 
          "name": [
            "University of Nottingham, Nottingham, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Nguyen", 
        "givenName": "Hoang Nga", 
        "id": "sg:person.014355405221.01", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014355405221.01"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Swansea University, Swansea, UK", 
          "id": "http://www.grid.ac/institutes/grid.4827.9", 
          "name": [
            "Swansea University, Swansea, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Roggenbach", 
        "givenName": "Markus", 
        "id": "sg:person.014634147051.77", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014634147051.77"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Surrey, Surrey, UK", 
          "id": "http://www.grid.ac/institutes/grid.5475.3", 
          "name": [
            "University of Surrey, Surrey, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Schneider", 
        "givenName": "Steve", 
        "id": "sg:person.011014111222.37", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011014111222.37"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Surrey, Surrey, UK", 
          "id": "http://www.grid.ac/institutes/grid.5475.3", 
          "name": [
            "University of Surrey, Surrey, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Treharne", 
        "givenName": "Helen", 
        "id": "sg:person.012731025010.44", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012731025010.44"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Surrey, Surrey, UK", 
          "id": "http://www.grid.ac/institutes/grid.5475.3", 
          "name": [
            "University of Surrey, Surrey, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Trumble", 
        "givenName": "Matthew", 
        "id": "sg:person.07747262417.77", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07747262417.77"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "VU University Amsterdam, Amsterdam, The Netherlands", 
          "id": "http://www.grid.ac/institutes/grid.12380.38", 
          "name": [
            "VU University Amsterdam, Amsterdam, The Netherlands"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Williams", 
        "givenName": "David", 
        "type": "Person"
      }
    ], 
    "datePublished": "2014-03-08", 
    "datePublishedReg": "2014-03-08", 
    "description": "The paper presents a tool-supported approach to graphically editing scheme plans and their safety verification. The graphical tool is based on a Domain Specific Language which is used as the basis for transformation to a CSP\u2016\\documentclass[12pt]{minimal}\n\t\t\t\t\\usepackage{amsmath}\n\t\t\t\t\\usepackage{wasysym}\n\t\t\t\t\\usepackage{amsfonts}\n\t\t\t\t\\usepackage{amssymb}\n\t\t\t\t\\usepackage{amsbsy}\n\t\t\t\t\\usepackage{mathrsfs}\n\t\t\t\t\\usepackage{upgreek}\n\t\t\t\t\\setlength{\\oddsidemargin}{-69pt}\n\t\t\t\t\\begin{document}$$\\parallel $$\\end{document}B formal model of a scheme plan. The models produced utilise a variety of abstraction techniques that make the analysis of large scale plans feasible. The techniques are applicable to other modelling languages besides CSP\u2016\\documentclass[12pt]{minimal}\n\t\t\t\t\\usepackage{amsmath}\n\t\t\t\t\\usepackage{wasysym}\n\t\t\t\t\\usepackage{amsfonts}\n\t\t\t\t\\usepackage{amssymb}\n\t\t\t\t\\usepackage{amsbsy}\n\t\t\t\t\\usepackage{mathrsfs}\n\t\t\t\t\\usepackage{upgreek}\n\t\t\t\t\\setlength{\\oddsidemargin}{-69pt}\n\t\t\t\t\\begin{document}$$\\parallel $$\\end{document}B. We use the ProB tool to ensure the safety properties of collision, derailment and run-through freedom.", 
    "editor": [
      {
        "familyName": "Counsell", 
        "givenName": "Steve", 
        "type": "Person"
      }, 
      {
        "familyName": "N\u00fa\u00f1ez", 
        "givenName": "Manuel", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-319-05032-4_15", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-319-05031-7", 
        "978-3-319-05032-4"
      ], 
      "name": "Software Engineering and Formal Methods", 
      "type": "Book"
    }, 
    "keywords": [
      "scheme plan", 
      "domain-specific language", 
      "tool-supported approach", 
      "ProB tool", 
      "modelling language", 
      "abstraction techniques", 
      "specific language", 
      "formal model", 
      "safety properties", 
      "safety verification", 
      "graphical tool", 
      "scale plan", 
      "verification", 
      "language", 
      "tool", 
      "technique", 
      "plan", 
      "model", 
      "variety", 
      "collisions", 
      "transformation", 
      "large-scale plans", 
      "basis", 
      "freedom", 
      "analysis", 
      "derailment", 
      "properties", 
      "paper", 
      "approach"
    ], 
    "name": "Verification of Scheme Plans Using CSP||B", 
    "pagination": "189-204", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1012489431"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-319-05032-4_15"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-319-05032-4_15", 
      "https://app.dimensions.ai/details/publication/pub.1012489431"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:47", 
    "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_398.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-319-05032-4_15"
  }
]
 

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-319-05032-4_15'

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-319-05032-4_15'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-05032-4_15'

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-319-05032-4_15'


 

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

150 TRIPLES      23 PREDICATES      54 URIs      47 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-319-05032-4_15 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 schema:author Nb6eef6be877c4122afa338e317e60d6a
4 schema:datePublished 2014-03-08
5 schema:datePublishedReg 2014-03-08
6 schema:description The paper presents a tool-supported approach to graphically editing scheme plans and their safety verification. The graphical tool is based on a Domain Specific Language which is used as the basis for transformation to a CSP‖\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\parallel $$\end{document}B formal model of a scheme plan. The models produced utilise a variety of abstraction techniques that make the analysis of large scale plans feasible. The techniques are applicable to other modelling languages besides CSP‖\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\parallel $$\end{document}B. We use the ProB tool to ensure the safety properties of collision, derailment and run-through freedom.
7 schema:editor N4a6e450c57c74b3cbacdf70c75afed3c
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Nc1985975b7944bf59d1bf497cbe22f38
12 schema:keywords ProB tool
13 abstraction techniques
14 analysis
15 approach
16 basis
17 collisions
18 derailment
19 domain-specific language
20 formal model
21 freedom
22 graphical tool
23 language
24 large-scale plans
25 model
26 modelling language
27 paper
28 plan
29 properties
30 safety properties
31 safety verification
32 scale plan
33 scheme plan
34 specific language
35 technique
36 tool
37 tool-supported approach
38 transformation
39 variety
40 verification
41 schema:name Verification of Scheme Plans Using CSP||B
42 schema:pagination 189-204
43 schema:productId Nb4f7ae8e232349acb8df2c7535012daa
44 Ne9eae1abe3e0417a8cf135c585f64899
45 schema:publisher Ne211bc3bda074c9c89d04392c0e7794b
46 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012489431
47 https://doi.org/10.1007/978-3-319-05032-4_15
48 schema:sdDatePublished 2022-05-20T07:47
49 schema:sdLicense https://scigraph.springernature.com/explorer/license/
50 schema:sdPublisher N24d90e8765dd492b965b6a2a9854487e
51 schema:url https://doi.org/10.1007/978-3-319-05032-4_15
52 sgo:license sg:explorer/license/
53 sgo:sdDataset chapters
54 rdf:type schema:Chapter
55 N0f4111936ed84f44aa2a01da64aa0a25 schema:affiliation grid-institutes:grid.4827.9
56 schema:familyName James
57 schema:givenName Philip
58 rdf:type schema:Person
59 N24d90e8765dd492b965b6a2a9854487e schema:name Springer Nature - SN SciGraph project
60 rdf:type schema:Organization
61 N27e74c8a140345258a9ef5f1e69e442b schema:familyName Núñez
62 schema:givenName Manuel
63 rdf:type schema:Person
64 N2fa9c22babd04d11a538987b378f19bd rdf:first sg:person.014634147051.77
65 rdf:rest N814bfb6a7e7049e2be2b50ae00532250
66 N4a6e450c57c74b3cbacdf70c75afed3c rdf:first N89ade4b5e2a14fd5bd9ac5f191514af7
67 rdf:rest N77f48c10ce474bbd81c15f6e016d2846
68 N503c12dbdb7344209b6edd5c3ae71e03 rdf:first sg:person.010425236217.29
69 rdf:rest N50674bc1494a45c18306ba50babab256
70 N50674bc1494a45c18306ba50babab256 rdf:first sg:person.014355405221.01
71 rdf:rest N2fa9c22babd04d11a538987b378f19bd
72 N77f48c10ce474bbd81c15f6e016d2846 rdf:first N27e74c8a140345258a9ef5f1e69e442b
73 rdf:rest rdf:nil
74 N814bfb6a7e7049e2be2b50ae00532250 rdf:first sg:person.011014111222.37
75 rdf:rest Ne7409383558447bc9303e8c63fa78b73
76 N89ade4b5e2a14fd5bd9ac5f191514af7 schema:familyName Counsell
77 schema:givenName Steve
78 rdf:type schema:Person
79 N90b408c7dbb243d1add3596be01a5292 rdf:first sg:person.07747262417.77
80 rdf:rest Nb4de3637fe9c40d6a98f46c80ee39572
81 Nb4de3637fe9c40d6a98f46c80ee39572 rdf:first Nf32e061f41484046b4aff99b4c355b58
82 rdf:rest rdf:nil
83 Nb4f7ae8e232349acb8df2c7535012daa schema:name dimensions_id
84 schema:value pub.1012489431
85 rdf:type schema:PropertyValue
86 Nb6eef6be877c4122afa338e317e60d6a rdf:first N0f4111936ed84f44aa2a01da64aa0a25
87 rdf:rest N503c12dbdb7344209b6edd5c3ae71e03
88 Nc1985975b7944bf59d1bf497cbe22f38 schema:isbn 978-3-319-05031-7
89 978-3-319-05032-4
90 schema:name Software Engineering and Formal Methods
91 rdf:type schema:Book
92 Ne211bc3bda074c9c89d04392c0e7794b schema:name Springer Nature
93 rdf:type schema:Organisation
94 Ne7409383558447bc9303e8c63fa78b73 rdf:first sg:person.012731025010.44
95 rdf:rest N90b408c7dbb243d1add3596be01a5292
96 Ne9eae1abe3e0417a8cf135c585f64899 schema:name doi
97 schema:value 10.1007/978-3-319-05032-4_15
98 rdf:type schema:PropertyValue
99 Nf32e061f41484046b4aff99b4c355b58 schema:affiliation grid-institutes:grid.12380.38
100 schema:familyName Williams
101 schema:givenName David
102 rdf:type schema:Person
103 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
104 schema:name Information and Computing Sciences
105 rdf:type schema:DefinedTerm
106 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
107 schema:name Artificial Intelligence and Image Processing
108 rdf:type schema:DefinedTerm
109 sg:person.010425236217.29 schema:affiliation grid-institutes:grid.4827.9
110 schema:familyName Moller
111 schema:givenName Faron
112 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010425236217.29
113 rdf:type schema:Person
114 sg:person.011014111222.37 schema:affiliation grid-institutes:grid.5475.3
115 schema:familyName Schneider
116 schema:givenName Steve
117 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011014111222.37
118 rdf:type schema:Person
119 sg:person.012731025010.44 schema:affiliation grid-institutes:grid.5475.3
120 schema:familyName Treharne
121 schema:givenName Helen
122 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012731025010.44
123 rdf:type schema:Person
124 sg:person.014355405221.01 schema:affiliation grid-institutes:grid.4563.4
125 schema:familyName Nguyen
126 schema:givenName Hoang Nga
127 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014355405221.01
128 rdf:type schema:Person
129 sg:person.014634147051.77 schema:affiliation grid-institutes:grid.4827.9
130 schema:familyName Roggenbach
131 schema:givenName Markus
132 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014634147051.77
133 rdf:type schema:Person
134 sg:person.07747262417.77 schema:affiliation grid-institutes:grid.5475.3
135 schema:familyName Trumble
136 schema:givenName Matthew
137 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07747262417.77
138 rdf:type schema:Person
139 grid-institutes:grid.12380.38 schema:alternateName VU University Amsterdam, Amsterdam, The Netherlands
140 schema:name VU University Amsterdam, Amsterdam, The Netherlands
141 rdf:type schema:Organization
142 grid-institutes:grid.4563.4 schema:alternateName University of Nottingham, Nottingham, UK
143 schema:name University of Nottingham, Nottingham, UK
144 rdf:type schema:Organization
145 grid-institutes:grid.4827.9 schema:alternateName Swansea University, Swansea, UK
146 schema:name Swansea University, Swansea, UK
147 rdf:type schema:Organization
148 grid-institutes:grid.5475.3 schema:alternateName University of Surrey, Surrey, UK
149 schema:name University of Surrey, Surrey, UK
150 rdf:type schema:Organization
 




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


...