2014-03-08
AUTHORSPhilip James , Faron Moller , Hoang Nga Nguyen , Markus Roggenbach , Steve Schneider , Helen Treharne , Matthew Trumble , David Williams
ABSTRACTThe 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... »
PAGES189-204
Software Engineering and Formal Methods
ISBN
978-3-319-05031-7
978-3-319-05032-4
http://scigraph.springernature.com/pub.10.1007/978-3-319-05032-4_15
DOIhttp://dx.doi.org/10.1007/978-3-319-05032-4_15
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1012489431
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
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