2016-10-05
AUTHORSPhillip James , Faron Moller , Hoang Nga Nguyen , Markus Roggenbach , Helen Treharne , Xu Wang
ABSTRACTThe verification of railway interlocking systems is a challenging task for which a number of different modelling, simulation and verification approaches have been proposed. In this paper, we present the OnTrack toolset. In OnTrack, application data for the railway domain is represented using a domain specific language. This data can be entered manually or imported from standard data formats. OnTrack then comprises of a number of different model transformations that allow the user to automatically generate formal models for a specific approach, e.g., in CASL, CSP, or CSP||B. Other transformations offer abstractions on the application data to address scalability. More... »
PAGES294-296
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
ISBN
978-3-319-47168-6
978-3-319-47169-3
http://scigraph.springernature.com/pub.10.1007/978-3-319-47169-3_21
DOIhttp://dx.doi.org/10.1007/978-3-319-47169-3_21
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1029815668
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/0803",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Computer Software",
"type": "DefinedTerm"
}
],
"author": [
{
"affiliation": {
"alternateName": "Swansea University, Swansea, Wales",
"id": "http://www.grid.ac/institutes/grid.4827.9",
"name": [
"Swansea University, Swansea, Wales"
],
"type": "Organization"
},
"familyName": "James",
"givenName": "Phillip",
"id": "sg:person.012345226005.23",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012345226005.23"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Swansea University, Swansea, Wales",
"id": "http://www.grid.ac/institutes/grid.4827.9",
"name": [
"Swansea University, Swansea, Wales"
],
"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 Coventry, Coventry, England",
"id": "http://www.grid.ac/institutes/grid.8096.7",
"name": [
"University of Coventry, Coventry, England"
],
"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, Wales",
"id": "http://www.grid.ac/institutes/grid.4827.9",
"name": [
"Swansea University, Swansea, Wales"
],
"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, Guildford, England",
"id": "http://www.grid.ac/institutes/grid.5475.3",
"name": [
"University of Surrey, Guildford, England"
],
"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": "Swansea University, Swansea, Wales",
"id": "http://www.grid.ac/institutes/grid.4827.9",
"name": [
"Swansea University, Swansea, Wales"
],
"type": "Organization"
},
"familyName": "Wang",
"givenName": "Xu",
"type": "Person"
}
],
"datePublished": "2016-10-05",
"datePublishedReg": "2016-10-05",
"description": "The verification of railway interlocking systems is a challenging task for which a number of different modelling, simulation and verification approaches have been proposed. In this paper, we present the OnTrack toolset. In OnTrack, application data for the railway domain is represented using a domain specific language. This data can be entered manually or imported from standard data formats. OnTrack then comprises of a number of different model transformations that allow the user to automatically generate formal models for a specific approach, e.g., in CASL, CSP, or CSP||B. Other transformations offer abstractions on the application data to address scalability.",
"editor": [
{
"familyName": "Margaria",
"givenName": "Tiziana",
"type": "Person"
},
{
"familyName": "Steffen",
"givenName": "Bernhard",
"type": "Person"
}
],
"genre": "chapter",
"id": "sg:pub.10.1007/978-3-319-47169-3_21",
"inLanguage": "en",
"isAccessibleForFree": false,
"isPartOf": {
"isbn": [
"978-3-319-47168-6",
"978-3-319-47169-3"
],
"name": "Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications",
"type": "Book"
},
"keywords": [
"application data",
"domain-specific language",
"standard data format",
"data format",
"verification approach",
"railway domain",
"specific language",
"model transformation",
"formal model",
"challenging task",
"toolset",
"different modelling",
"scalability",
"users",
"abstraction",
"specific approach",
"task",
"verification",
"format",
"CASL",
"language",
"CSP",
"data",
"OnTrack",
"system",
"domain",
"simulations",
"number",
"modelling",
"transformation",
"model",
"railway",
"approach",
"paper"
],
"name": "OnTrack: The Railway Verification Toolset",
"pagination": "294-296",
"productId": [
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1029815668"
]
},
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/978-3-319-47169-3_21"
]
}
],
"publisher": {
"name": "Springer Nature",
"type": "Organisation"
},
"sameAs": [
"https://doi.org/10.1007/978-3-319-47169-3_21",
"https://app.dimensions.ai/details/publication/pub.1029815668"
],
"sdDataset": "chapters",
"sdDatePublished": "2022-05-20T07:49",
"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_84.jsonl",
"type": "Chapter",
"url": "https://doi.org/10.1007/978-3-319-47169-3_21"
}
]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-47169-3_21'
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-47169-3_21'
Turtle is a human-readable linked data format.
curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-47169-3_21'
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-47169-3_21'
This table displays all metadata directly associated to this object as RDF triples.
143 TRIPLES
23 PREDICATES
60 URIs
52 LITERALS
7 BLANK NODES