Towards a Connector Algebra View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2010

AUTHORS

Marco Autili , Chris Chilton , Paola Inverardi , Marta Kwiatkowska , Massimo Tivoli

ABSTRACT

Interoperability of heterogeneous networked systems has yet to reach the maturity required by ubiquitous computing due to the technology-dependent nature of solutions. The Connect Integrated Project attempts to develop a novel network infrastructure to allow heterogeneous networked systems to freely communicate with one another by synthesising the required connectors on-the-fly. A key objective of Connect is to build a comprehensive theory of composable connectors, by devising an algebra for rigorously characterising complex interaction protocols in order to support automated reasoning. With this aim in mind, we formalise a high-level algebra for reasoning about protocol mismatches. Basic mismatches can be solved by suitably defined primitives, while complex mismatches can be settled by composition operators that build connectors out of simpler ones. The semantics of the algebra is given in terms of Interface Automata, and an example in the domain of instant messaging is used to illustrate how the algebra can characterise the interaction behaviour of a connector for mediating protocols. More... »

PAGES

278-292

Book

TITLE

Leveraging Applications of Formal Methods, Verification, and Validation

ISBN

978-3-642-16560-3
978-3-642-16561-0

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-642-16561-0_28

DOI

http://dx.doi.org/10.1007/978-3-642-16561-0_28

DIMENSIONS

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


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/0806", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information Systems", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Dipartimento di Informatica, Universit\u00e0 degli Studi di L\u2019Aquila, Italy", 
          "id": "http://www.grid.ac/institutes/grid.158820.6", 
          "name": [
            "Dipartimento di Informatica, Universit\u00e0 degli Studi di L\u2019Aquila, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Autili", 
        "givenName": "Marco", 
        "id": "sg:person.011054440723.55", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011054440723.55"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Oxford University Computing Laboratory, Parks Road, OX1 3QD, Oxford, UK", 
          "id": "http://www.grid.ac/institutes/grid.4991.5", 
          "name": [
            "Oxford University Computing Laboratory, Parks Road, OX1 3QD, Oxford, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Chilton", 
        "givenName": "Chris", 
        "id": "sg:person.011346164153.27", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011346164153.27"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Dipartimento di Informatica, Universit\u00e0 degli Studi di L\u2019Aquila, Italy", 
          "id": "http://www.grid.ac/institutes/grid.158820.6", 
          "name": [
            "Dipartimento di Informatica, Universit\u00e0 degli Studi di L\u2019Aquila, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Inverardi", 
        "givenName": "Paola", 
        "id": "sg:person.012277514445.57", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012277514445.57"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Oxford University Computing Laboratory, Parks Road, OX1 3QD, Oxford, UK", 
          "id": "http://www.grid.ac/institutes/grid.4991.5", 
          "name": [
            "Oxford University Computing Laboratory, Parks Road, OX1 3QD, Oxford, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Kwiatkowska", 
        "givenName": "Marta", 
        "id": "sg:person.011375012273.39", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011375012273.39"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Dipartimento di Informatica, Universit\u00e0 degli Studi di L\u2019Aquila, Italy", 
          "id": "http://www.grid.ac/institutes/grid.158820.6", 
          "name": [
            "Dipartimento di Informatica, Universit\u00e0 degli Studi di L\u2019Aquila, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Tivoli", 
        "givenName": "Massimo", 
        "id": "sg:person.014200422461.10", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014200422461.10"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2010", 
    "datePublishedReg": "2010-01-01", 
    "description": "Interoperability of heterogeneous networked systems has yet to reach the maturity required by ubiquitous computing due to the technology-dependent nature of solutions. The Connect Integrated Project attempts to develop a novel network infrastructure to allow heterogeneous networked systems to freely communicate with one another by synthesising the required connectors on-the-fly. A key objective of Connect is to build a comprehensive theory of composable connectors, by devising an algebra for rigorously characterising complex interaction protocols in order to support automated reasoning. With this aim in mind, we formalise a high-level algebra for reasoning about protocol mismatches. Basic mismatches can be solved by suitably defined primitives, while complex mismatches can be settled by composition operators that build connectors out of simpler ones. The semantics of the algebra is given in terms of Interface Automata, and an example in the domain of instant messaging is used to illustrate how the algebra can characterise the interaction behaviour of a connector for mediating protocols.", 
    "editor": [
      {
        "familyName": "Margaria", 
        "givenName": "Tiziana", 
        "type": "Person"
      }, 
      {
        "familyName": "Steffen", 
        "givenName": "Bernhard", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-642-16561-0_28", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-642-16560-3", 
        "978-3-642-16561-0"
      ], 
      "name": "Leveraging Applications of Formal Methods, Verification, and Validation", 
      "type": "Book"
    }, 
    "keywords": [
      "heterogeneous networked systems", 
      "complex interaction protocols", 
      "networked systems", 
      "novel network infrastructures", 
      "ubiquitous computing", 
      "interaction protocols", 
      "network infrastructure", 
      "protocol mismatches", 
      "interface automata", 
      "instant messaging", 
      "connector algebra", 
      "Integrated Project", 
      "interaction behavior", 
      "basic mismatches", 
      "algebra", 
      "simple one", 
      "interoperability", 
      "computing", 
      "primitives", 
      "semantics", 
      "key objective", 
      "composition operators", 
      "complex mismatch", 
      "protocol", 
      "infrastructure", 
      "reasoning", 
      "automata", 
      "messaging", 
      "system", 
      "comprehensive theory", 
      "connectors", 
      "operators", 
      "connects", 
      "project", 
      "domain", 
      "one", 
      "theory", 
      "solution", 
      "mismatch", 
      "example", 
      "order", 
      "flies", 
      "terms", 
      "objective", 
      "mind", 
      "nature", 
      "behavior", 
      "maturity", 
      "aim"
    ], 
    "name": "Towards a Connector Algebra", 
    "pagination": "278-292", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1012077699"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-642-16561-0_28"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-642-16561-0_28", 
      "https://app.dimensions.ai/details/publication/pub.1012077699"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-10T10:41", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220509/entities/gbq_results/chapter/chapter_203.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-642-16561-0_28"
  }
]
 

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-642-16561-0_28'

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-642-16561-0_28'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-16561-0_28'

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-642-16561-0_28'


 

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

145 TRIPLES      23 PREDICATES      75 URIs      68 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-642-16561-0_28 schema:about anzsrc-for:08
2 anzsrc-for:0806
3 schema:author N449fa64db49641549b98be6e0d0e9486
4 schema:datePublished 2010
5 schema:datePublishedReg 2010-01-01
6 schema:description Interoperability of heterogeneous networked systems has yet to reach the maturity required by ubiquitous computing due to the technology-dependent nature of solutions. The Connect Integrated Project attempts to develop a novel network infrastructure to allow heterogeneous networked systems to freely communicate with one another by synthesising the required connectors on-the-fly. A key objective of Connect is to build a comprehensive theory of composable connectors, by devising an algebra for rigorously characterising complex interaction protocols in order to support automated reasoning. With this aim in mind, we formalise a high-level algebra for reasoning about protocol mismatches. Basic mismatches can be solved by suitably defined primitives, while complex mismatches can be settled by composition operators that build connectors out of simpler ones. The semantics of the algebra is given in terms of Interface Automata, and an example in the domain of instant messaging is used to illustrate how the algebra can characterise the interaction behaviour of a connector for mediating protocols.
7 schema:editor Ncd03236d5d64450b88f02fd60e37ca1f
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree true
11 schema:isPartOf N7ed8e5763ffa4721b8007a78eb223f29
12 schema:keywords Integrated Project
13 aim
14 algebra
15 automata
16 basic mismatches
17 behavior
18 complex interaction protocols
19 complex mismatch
20 composition operators
21 comprehensive theory
22 computing
23 connector algebra
24 connectors
25 connects
26 domain
27 example
28 flies
29 heterogeneous networked systems
30 infrastructure
31 instant messaging
32 interaction behavior
33 interaction protocols
34 interface automata
35 interoperability
36 key objective
37 maturity
38 messaging
39 mind
40 mismatch
41 nature
42 network infrastructure
43 networked systems
44 novel network infrastructures
45 objective
46 one
47 operators
48 order
49 primitives
50 project
51 protocol
52 protocol mismatches
53 reasoning
54 semantics
55 simple one
56 solution
57 system
58 terms
59 theory
60 ubiquitous computing
61 schema:name Towards a Connector Algebra
62 schema:pagination 278-292
63 schema:productId N1eec8f7226294bcb97f8e8fb2e237d87
64 Nc522c02b068046b58ee76e6173db5e5c
65 schema:publisher N2a0abeea383d4a1b8b6398e37bfc61af
66 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012077699
67 https://doi.org/10.1007/978-3-642-16561-0_28
68 schema:sdDatePublished 2022-05-10T10:41
69 schema:sdLicense https://scigraph.springernature.com/explorer/license/
70 schema:sdPublisher Nab16213edc0446c69f4fb53c70cb7eb4
71 schema:url https://doi.org/10.1007/978-3-642-16561-0_28
72 sgo:license sg:explorer/license/
73 sgo:sdDataset chapters
74 rdf:type schema:Chapter
75 N1eec8f7226294bcb97f8e8fb2e237d87 schema:name doi
76 schema:value 10.1007/978-3-642-16561-0_28
77 rdf:type schema:PropertyValue
78 N2a0abeea383d4a1b8b6398e37bfc61af schema:name Springer Nature
79 rdf:type schema:Organisation
80 N449fa64db49641549b98be6e0d0e9486 rdf:first sg:person.011054440723.55
81 rdf:rest N98b35ada367c412c957af845a8ac9700
82 N6a787adb0bb5450aafc23584c78b451c rdf:first sg:person.011375012273.39
83 rdf:rest Ne3297921396e4ebcb6d1f41a299cd55c
84 N7ed8e5763ffa4721b8007a78eb223f29 schema:isbn 978-3-642-16560-3
85 978-3-642-16561-0
86 schema:name Leveraging Applications of Formal Methods, Verification, and Validation
87 rdf:type schema:Book
88 N98116081a2fb4f77ad88375d18e83edd schema:familyName Margaria
89 schema:givenName Tiziana
90 rdf:type schema:Person
91 N98b35ada367c412c957af845a8ac9700 rdf:first sg:person.011346164153.27
92 rdf:rest Nbfcae0cbf8c64178bd1ff267aff94158
93 Nab16213edc0446c69f4fb53c70cb7eb4 schema:name Springer Nature - SN SciGraph project
94 rdf:type schema:Organization
95 Nbfcae0cbf8c64178bd1ff267aff94158 rdf:first sg:person.012277514445.57
96 rdf:rest N6a787adb0bb5450aafc23584c78b451c
97 Nc522c02b068046b58ee76e6173db5e5c schema:name dimensions_id
98 schema:value pub.1012077699
99 rdf:type schema:PropertyValue
100 Nca26ae263d0a40fc832b7568c9e45b34 rdf:first Nf13c87a219f64fa9a347b08f774c09f0
101 rdf:rest rdf:nil
102 Ncd03236d5d64450b88f02fd60e37ca1f rdf:first N98116081a2fb4f77ad88375d18e83edd
103 rdf:rest Nca26ae263d0a40fc832b7568c9e45b34
104 Ne3297921396e4ebcb6d1f41a299cd55c rdf:first sg:person.014200422461.10
105 rdf:rest rdf:nil
106 Nf13c87a219f64fa9a347b08f774c09f0 schema:familyName Steffen
107 schema:givenName Bernhard
108 rdf:type schema:Person
109 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
110 schema:name Information and Computing Sciences
111 rdf:type schema:DefinedTerm
112 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
113 schema:name Information Systems
114 rdf:type schema:DefinedTerm
115 sg:person.011054440723.55 schema:affiliation grid-institutes:grid.158820.6
116 schema:familyName Autili
117 schema:givenName Marco
118 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011054440723.55
119 rdf:type schema:Person
120 sg:person.011346164153.27 schema:affiliation grid-institutes:grid.4991.5
121 schema:familyName Chilton
122 schema:givenName Chris
123 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011346164153.27
124 rdf:type schema:Person
125 sg:person.011375012273.39 schema:affiliation grid-institutes:grid.4991.5
126 schema:familyName Kwiatkowska
127 schema:givenName Marta
128 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011375012273.39
129 rdf:type schema:Person
130 sg:person.012277514445.57 schema:affiliation grid-institutes:grid.158820.6
131 schema:familyName Inverardi
132 schema:givenName Paola
133 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012277514445.57
134 rdf:type schema:Person
135 sg:person.014200422461.10 schema:affiliation grid-institutes:grid.158820.6
136 schema:familyName Tivoli
137 schema:givenName Massimo
138 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014200422461.10
139 rdf:type schema:Person
140 grid-institutes:grid.158820.6 schema:alternateName Dipartimento di Informatica, Università degli Studi di L’Aquila, Italy
141 schema:name Dipartimento di Informatica, Università degli Studi di L’Aquila, Italy
142 rdf:type schema:Organization
143 grid-institutes:grid.4991.5 schema:alternateName Oxford University Computing Laboratory, Parks Road, OX1 3QD, Oxford, UK
144 schema:name Oxford University Computing Laboratory, Parks Road, OX1 3QD, Oxford, UK
145 rdf:type schema:Organization
 




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


...