Component-Interaction Automata Approach (CoIn) View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2008-01-01

AUTHORS

Barbora Zimmerova , Pavlína Vařeková , Nikola Beneš , Ivana Černá , Luboš Brim , Jiří Sochor

ABSTRACT

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. More... »

PAGES

146-176

Book

TITLE

The Common Component Modeling Example

ISBN

978-3-540-85288-9
978-3-540-85289-6

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-540-85289-6_7

DOI

http://dx.doi.org/10.1007/978-3-540-85289-6_7

DIMENSIONS

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


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/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

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-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

Subject Predicate Object
1 sg:pub.10.1007/978-3-540-85289-6_7 schema:about anzsrc-for:08
2 anzsrc-for:0803
3 schema:author Ne43d28e32db141fea583d83f924f9f65
4 schema:datePublished 2008-01-01
5 schema:datePublishedReg 2008-01-01
6 schema: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.
7 schema:editor N36e7866128574a9ca88b913e344ae022
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N725e7ed00a0d42a7a97f8df84891feb0
12 schema:keywords aim
13 analysis
14 approach
15 aspects
16 automata approach
17 automata languages
18 behavioral aspects
19 calls
20 communication
21 component-based systems
22 consequences
23 divine
24 extended version
25 fairness
26 formal analysis
27 framework
28 language
29 large-scale component-based systems
30 model
31 modelling purposes
32 properties
33 purpose
34 service calls
35 system
36 verification
37 verified properties
38 version
39 schema:name Component-Interaction Automata Approach (CoIn)
40 schema:pagination 146-176
41 schema:productId N172dd4cb9f85475082f23b79dc11ff9e
42 N49c5953c388d49949653dfdc5f68d9c1
43 schema:publisher Nb53ca4da6b9a4ab3989db4dd106b968f
44 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000181949
45 https://doi.org/10.1007/978-3-540-85289-6_7
46 schema:sdDatePublished 2022-05-20T07:47
47 schema:sdLicense https://scigraph.springernature.com/explorer/license/
48 schema:sdPublisher Nf8cdc7a9523742c3a3d66c24b37323c2
49 schema:url https://doi.org/10.1007/978-3-540-85289-6_7
50 sgo:license sg:explorer/license/
51 sgo:sdDataset chapters
52 rdf:type schema:Chapter
53 N172dd4cb9f85475082f23b79dc11ff9e schema:name doi
54 schema:value 10.1007/978-3-540-85289-6_7
55 rdf:type schema:PropertyValue
56 N245fc0fdb97441cf8d669c611ca96a6a rdf:first sg:person.0645117057.83
57 rdf:rest Nc94923964a304362bc028c8e71c5d7c8
58 N36e7866128574a9ca88b913e344ae022 rdf:first N8e14fe3108d04bc886da30dbde0ec0b1
59 rdf:rest N8f163562c3274d469173c22e4d609aa5
60 N486ed7333f1644df963c2fc209783962 schema:familyName Mirandola
61 schema:givenName Raffaela
62 rdf:type schema:Person
63 N49c5953c388d49949653dfdc5f68d9c1 schema:name dimensions_id
64 schema:value pub.1000181949
65 rdf:type schema:PropertyValue
66 N576a717dc9b1423e9695b4661bfa84a1 rdf:first sg:person.07724757205.02
67 rdf:rest N865959f71ff54faca55f313b3314d1c3
68 N63da5e19adbb4497b09b6fde93dfc3d0 rdf:first Nf7adb21a45304bc1845cfb127235af35
69 rdf:rest rdf:nil
70 N6b9332505bad433c870faa37a92fff5c rdf:first sg:person.016355636647.31
71 rdf:rest N245fc0fdb97441cf8d669c611ca96a6a
72 N725e7ed00a0d42a7a97f8df84891feb0 schema:isbn 978-3-540-85288-9
73 978-3-540-85289-6
74 schema:name The Common Component Modeling Example
75 rdf:type schema:Book
76 N865959f71ff54faca55f313b3314d1c3 rdf:first sg:person.014465763501.21
77 rdf:rest N6b9332505bad433c870faa37a92fff5c
78 N8e14fe3108d04bc886da30dbde0ec0b1 schema:familyName Rausch
79 schema:givenName Andreas
80 rdf:type schema:Person
81 N8f163562c3274d469173c22e4d609aa5 rdf:first Nccfcc81d95574b1aa6c452733b3d1ff0
82 rdf:rest Nedac4f71136749728bc50e03d89fe465
83 Nb53ca4da6b9a4ab3989db4dd106b968f schema:name Springer Nature
84 rdf:type schema:Organisation
85 Nc94923964a304362bc028c8e71c5d7c8 rdf:first sg:person.0753572720.98
86 rdf:rest rdf:nil
87 Nccfcc81d95574b1aa6c452733b3d1ff0 schema:familyName Reussner
88 schema:givenName Ralf
89 rdf:type schema:Person
90 Ne43d28e32db141fea583d83f924f9f65 rdf:first sg:person.010107275221.58
91 rdf:rest N576a717dc9b1423e9695b4661bfa84a1
92 Nedac4f71136749728bc50e03d89fe465 rdf:first N486ed7333f1644df963c2fc209783962
93 rdf:rest N63da5e19adbb4497b09b6fde93dfc3d0
94 Nf7adb21a45304bc1845cfb127235af35 schema:familyName Plášil
95 schema:givenName František
96 rdf:type schema:Person
97 Nf8cdc7a9523742c3a3d66c24b37323c2 schema:name Springer Nature - SN SciGraph project
98 rdf:type schema:Organization
99 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
100 schema:name Information and Computing Sciences
101 rdf:type schema:DefinedTerm
102 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
103 schema:name Computer Software
104 rdf:type schema:DefinedTerm
105 sg:person.010107275221.58 schema:affiliation grid-institutes:grid.10267.32
106 schema:familyName Zimmerova
107 schema:givenName Barbora
108 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010107275221.58
109 rdf:type schema:Person
110 sg:person.014465763501.21 schema:affiliation grid-institutes:grid.10267.32
111 schema:familyName Beneš
112 schema:givenName Nikola
113 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014465763501.21
114 rdf:type schema:Person
115 sg:person.016355636647.31 schema:affiliation grid-institutes:grid.10267.32
116 schema:familyName Černá
117 schema:givenName Ivana
118 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016355636647.31
119 rdf:type schema:Person
120 sg:person.0645117057.83 schema:affiliation grid-institutes:grid.10267.32
121 schema:familyName Brim
122 schema:givenName Luboš
123 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0645117057.83
124 rdf:type schema:Person
125 sg:person.0753572720.98 schema:affiliation grid-institutes:grid.10267.32
126 schema:familyName Sochor
127 schema:givenName Jiří
128 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0753572720.98
129 rdf:type schema:Person
130 sg:person.07724757205.02 schema:affiliation grid-institutes:grid.10267.32
131 schema:familyName Vařeková
132 schema:givenName Pavlína
133 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07724757205.02
134 rdf:type schema:Person
135 grid-institutes:grid.10267.32 schema:alternateName Masaryk University, Brno, Czech Republic
136 schema:name Masaryk University, Brno, Czech Republic
137 rdf:type schema:Organization
 




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


...