2008-01-01
AUTHORSBarbora Zimmerova , Pavlína Vařeková , Nikola Beneš , Ivana Černá , Luboš Brim , Jiří Sochor
ABSTRACTThe aim of the CoIn approach (Component-Interaction Automata approach) is to create a framework for formal analysis of behavioural aspects of large scale component-based systems. For the modelling purpose, we use the Component-interaction automata language [1]. For the verification, we employ a parallel model-checker DiVinE [2], which is able to handle very large, hence more realistic, models of component-based systems. Verified properties, like consequences of service calls or fairness of communication, are expressed in an extended version of the Linear Temporal Logic CI-LTL. More... »
PAGES146-176
The Common Component Modeling Example
ISBN
978-3-540-85288-9
978-3-540-85289-6
http://scigraph.springernature.com/pub.10.1007/978-3-540-85289-6_7
DOIhttp://dx.doi.org/10.1007/978-3-540-85289-6_7
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1000181949
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/0803",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Computer Software",
"type": "DefinedTerm"
}
],
"author": [
{
"affiliation": {
"alternateName": "Masaryk University, Brno, Czech Republic",
"id": "http://www.grid.ac/institutes/grid.10267.32",
"name": [
"Masaryk University, Brno, Czech Republic"
],
"type": "Organization"
},
"familyName": "Zimmerova",
"givenName": "Barbora",
"id": "sg:person.010107275221.58",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010107275221.58"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Masaryk University, Brno, Czech Republic",
"id": "http://www.grid.ac/institutes/grid.10267.32",
"name": [
"Masaryk University, Brno, Czech Republic"
],
"type": "Organization"
},
"familyName": "Va\u0159ekov\u00e1",
"givenName": "Pavl\u00edna",
"id": "sg:person.07724757205.02",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07724757205.02"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Masaryk University, Brno, Czech Republic",
"id": "http://www.grid.ac/institutes/grid.10267.32",
"name": [
"Masaryk University, Brno, Czech Republic"
],
"type": "Organization"
},
"familyName": "Bene\u0161",
"givenName": "Nikola",
"id": "sg:person.014465763501.21",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014465763501.21"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Masaryk University, Brno, Czech Republic",
"id": "http://www.grid.ac/institutes/grid.10267.32",
"name": [
"Masaryk University, Brno, Czech Republic"
],
"type": "Organization"
},
"familyName": "\u010cern\u00e1",
"givenName": "Ivana",
"id": "sg:person.016355636647.31",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016355636647.31"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Masaryk University, Brno, Czech Republic",
"id": "http://www.grid.ac/institutes/grid.10267.32",
"name": [
"Masaryk University, 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": "Masaryk University, Brno, Czech Republic",
"id": "http://www.grid.ac/institutes/grid.10267.32",
"name": [
"Masaryk University, Brno, Czech Republic"
],
"type": "Organization"
},
"familyName": "Sochor",
"givenName": "Ji\u0159\u00ed",
"id": "sg:person.0753572720.98",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0753572720.98"
],
"type": "Person"
}
],
"datePublished": "2008-01-01",
"datePublishedReg": "2008-01-01",
"description": "The aim of the CoIn approach (Component-Interaction Automata approach) is to create a framework for formal analysis of behavioural aspects of large scale component-based systems. For the modelling purpose, we use the Component-interaction automata language [1]. For the verification, we employ a parallel model-checker DiVinE [2], which is able to handle very large, hence more realistic, models of component-based systems. Verified properties, like consequences of service calls or fairness of communication, are expressed in an extended version of the Linear Temporal Logic CI-LTL.",
"editor": [
{
"familyName": "Rausch",
"givenName": "Andreas",
"type": "Person"
},
{
"familyName": "Reussner",
"givenName": "Ralf",
"type": "Person"
},
{
"familyName": "Mirandola",
"givenName": "Raffaela",
"type": "Person"
},
{
"familyName": "Pl\u00e1\u0161il",
"givenName": "Franti\u0161ek",
"type": "Person"
}
],
"genre": "chapter",
"id": "sg:pub.10.1007/978-3-540-85289-6_7",
"inLanguage": "en",
"isAccessibleForFree": false,
"isPartOf": {
"isbn": [
"978-3-540-85288-9",
"978-3-540-85289-6"
],
"name": "The Common Component Modeling Example",
"type": "Book"
},
"keywords": [
"component-based systems",
"large-scale component-based systems",
"verified properties",
"service calls",
"formal analysis",
"extended version",
"automata approach",
"automata languages",
"behavioral aspects",
"modelling purposes",
"verification",
"system",
"language",
"fairness",
"communication",
"framework",
"version",
"calls",
"model",
"aspects",
"purpose",
"analysis",
"aim",
"properties",
"consequences",
"divine",
"approach"
],
"name": "Component-Interaction Automata Approach (CoIn)",
"pagination": "146-176",
"productId": [
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1000181949"
]
},
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/978-3-540-85289-6_7"
]
}
],
"publisher": {
"name": "Springer Nature",
"type": "Organisation"
},
"sameAs": [
"https://doi.org/10.1007/978-3-540-85289-6_7",
"https://app.dimensions.ai/details/publication/pub.1000181949"
],
"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-540-85289-6_7"
}
]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-85289-6_7'
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-85289-6_7'
Turtle is a human-readable linked data format.
curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-85289-6_7'
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-85289-6_7'
This table displays all metadata directly associated to this object as RDF triples.
137 TRIPLES
23 PREDICATES
52 URIs
45 LITERALS
7 BLANK NODES