Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2013

AUTHORS

Amel Bennaceur , Chris Chilton , Malte Isberner , Bengt Jonsson

ABSTRACT

Software systems are increasingly composed of independently developed heterogeneous components. To ensure interoperability, mediators are needed that coordinate actions and translate exchanged messages between the components. We present a technique for automated synthesis of mediators, by means of a quotient operator, that is based on behavioural models of the components and an ontological model of the data domain. By not requiring a specification of the composed system, the method supports both off-line and run-time synthesis. The obtained mediator is the most general component that ensures freedom of both communication mismatches and deadlock in the composition. Validation of the approach is given by implementation of a prototype tool, while applicability is illustrated on heterogeneous holiday booking components. More... »

PAGES

274-288

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-642-40561-7_19

DOI

http://dx.doi.org/10.1007/978-3-642-40561-7_19

DIMENSIONS

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


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": "ARLES, Inria Paris - Rocquencourt, France", 
          "id": "http://www.grid.ac/institutes/grid.5328.c", 
          "name": [
            "ARLES, Inria Paris - Rocquencourt, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Bennaceur", 
        "givenName": "Amel", 
        "id": "sg:person.016623257750.16", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016623257750.16"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, University of Oxford, UK", 
          "id": "http://www.grid.ac/institutes/grid.4991.5", 
          "name": [
            "Department of Computer Science, University of 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": "Technical University of Dortmund, Germany", 
          "id": "http://www.grid.ac/institutes/grid.5675.1", 
          "name": [
            "Technical University of Dortmund, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Isberner", 
        "givenName": "Malte", 
        "id": "sg:person.012621255525.11", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012621255525.11"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Information Technology, Uppsala University, Sweden", 
          "id": "http://www.grid.ac/institutes/grid.8993.b", 
          "name": [
            "Department of Information Technology, Uppsala University, Sweden"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Jonsson", 
        "givenName": "Bengt", 
        "id": "sg:person.012715245007.90", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012715245007.90"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2013", 
    "datePublishedReg": "2013-01-01", 
    "description": "Software systems are increasingly composed of independently developed heterogeneous components. To ensure interoperability, mediators are needed that coordinate actions and translate exchanged messages between the components. We present a technique for automated synthesis of mediators, by means of a quotient operator, that is based on behavioural models of the components and an ontological model of the data domain. By not requiring a specification of the composed system, the method supports both off-line and run-time synthesis. The obtained mediator is the most general component that ensures freedom of both communication mismatches and deadlock in the composition. Validation of the approach is given by implementation of a prototype tool, while applicability is illustrated on heterogeneous holiday booking components.", 
    "editor": [
      {
        "familyName": "Hierons", 
        "givenName": "Robert M.", 
        "type": "Person"
      }, 
      {
        "familyName": "Merayo", 
        "givenName": "Mercedes G.", 
        "type": "Person"
      }, 
      {
        "familyName": "Bravetti", 
        "givenName": "Mario", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-642-40561-7_19", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-642-40560-0", 
        "978-3-642-40561-7"
      ], 
      "name": "Software Engineering and Formal Methods", 
      "type": "Book"
    }, 
    "keywords": [
      "software systems", 
      "ontological reasoning", 
      "prototype tool", 
      "data domain", 
      "ontological model", 
      "communication mismatch", 
      "composed system", 
      "heterogeneous components", 
      "synthesis of mediators", 
      "behavioral model", 
      "interoperability", 
      "deadlock", 
      "messages", 
      "reasoning", 
      "specification", 
      "system", 
      "implementation", 
      "general components", 
      "operators", 
      "model", 
      "tool", 
      "domain", 
      "applicability", 
      "technique", 
      "components", 
      "quotient operator", 
      "validation", 
      "method", 
      "mismatch", 
      "mediator synthesis", 
      "means", 
      "translates", 
      "freedom", 
      "action", 
      "holidays", 
      "coordinate action", 
      "lines", 
      "behavioral", 
      "synthesis", 
      "composition", 
      "mediators", 
      "approach"
    ], 
    "name": "Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning", 
    "pagination": "274-288", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1042923837"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-642-40561-7_19"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-642-40561-7_19", 
      "https://app.dimensions.ai/details/publication/pub.1042923837"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:42", 
    "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_175.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-642-40561-7_19"
  }
]
 

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-40561-7_19'

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-40561-7_19'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-40561-7_19'

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-40561-7_19'


 

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

142 TRIPLES      23 PREDICATES      68 URIs      61 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-642-40561-7_19 schema:about anzsrc-for:08
2 anzsrc-for:0803
3 schema:author N85b8aa7f6f3a469d91821ce0ea55473b
4 schema:datePublished 2013
5 schema:datePublishedReg 2013-01-01
6 schema:description Software systems are increasingly composed of independently developed heterogeneous components. To ensure interoperability, mediators are needed that coordinate actions and translate exchanged messages between the components. We present a technique for automated synthesis of mediators, by means of a quotient operator, that is based on behavioural models of the components and an ontological model of the data domain. By not requiring a specification of the composed system, the method supports both off-line and run-time synthesis. The obtained mediator is the most general component that ensures freedom of both communication mismatches and deadlock in the composition. Validation of the approach is given by implementation of a prototype tool, while applicability is illustrated on heterogeneous holiday booking components.
7 schema:editor N67961b9340b54397a32f352d65da62b3
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree true
11 schema:isPartOf Na36919055ef948bb84d136bd20723e8a
12 schema:keywords action
13 applicability
14 approach
15 behavioral
16 behavioral model
17 communication mismatch
18 components
19 composed system
20 composition
21 coordinate action
22 data domain
23 deadlock
24 domain
25 freedom
26 general components
27 heterogeneous components
28 holidays
29 implementation
30 interoperability
31 lines
32 means
33 mediator synthesis
34 mediators
35 messages
36 method
37 mismatch
38 model
39 ontological model
40 ontological reasoning
41 operators
42 prototype tool
43 quotient operator
44 reasoning
45 software systems
46 specification
47 synthesis
48 synthesis of mediators
49 system
50 technique
51 tool
52 translates
53 validation
54 schema:name Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning
55 schema:pagination 274-288
56 schema:productId N479804edf7634cd6a1b75f69d95749b2
57 Ne505dbbd525c48289e8bb89b9347869e
58 schema:publisher Nee91ba95abd44db0ab6c535a0483021f
59 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042923837
60 https://doi.org/10.1007/978-3-642-40561-7_19
61 schema:sdDatePublished 2022-05-20T07:42
62 schema:sdLicense https://scigraph.springernature.com/explorer/license/
63 schema:sdPublisher N1f92f31ad6424c389dfcd19909be2f2c
64 schema:url https://doi.org/10.1007/978-3-642-40561-7_19
65 sgo:license sg:explorer/license/
66 sgo:sdDataset chapters
67 rdf:type schema:Chapter
68 N1f92f31ad6424c389dfcd19909be2f2c schema:name Springer Nature - SN SciGraph project
69 rdf:type schema:Organization
70 N20e483e484584b82a30570766d240cbd rdf:first Nbff243bc83d14d14aaad099a05426aa1
71 rdf:rest rdf:nil
72 N3376ba512dc54708959d2a5eb69a8f5c schema:familyName Merayo
73 schema:givenName Mercedes G.
74 rdf:type schema:Person
75 N3fbed4cb11214819ae8a405809926d05 rdf:first sg:person.012621255525.11
76 rdf:rest Ndba19a3446024c74b7a4acf467a2d581
77 N479804edf7634cd6a1b75f69d95749b2 schema:name doi
78 schema:value 10.1007/978-3-642-40561-7_19
79 rdf:type schema:PropertyValue
80 N67961b9340b54397a32f352d65da62b3 rdf:first N83a98b83ffb94614b3e4bc220f4c7f08
81 rdf:rest N968d413f30974550891eec8babf7163e
82 N83a98b83ffb94614b3e4bc220f4c7f08 schema:familyName Hierons
83 schema:givenName Robert M.
84 rdf:type schema:Person
85 N85b8aa7f6f3a469d91821ce0ea55473b rdf:first sg:person.016623257750.16
86 rdf:rest Nb84179c69bbb4d0e97622f1203e11154
87 N968d413f30974550891eec8babf7163e rdf:first N3376ba512dc54708959d2a5eb69a8f5c
88 rdf:rest N20e483e484584b82a30570766d240cbd
89 Na36919055ef948bb84d136bd20723e8a schema:isbn 978-3-642-40560-0
90 978-3-642-40561-7
91 schema:name Software Engineering and Formal Methods
92 rdf:type schema:Book
93 Nb84179c69bbb4d0e97622f1203e11154 rdf:first sg:person.011346164153.27
94 rdf:rest N3fbed4cb11214819ae8a405809926d05
95 Nbff243bc83d14d14aaad099a05426aa1 schema:familyName Bravetti
96 schema:givenName Mario
97 rdf:type schema:Person
98 Ndba19a3446024c74b7a4acf467a2d581 rdf:first sg:person.012715245007.90
99 rdf:rest rdf:nil
100 Ne505dbbd525c48289e8bb89b9347869e schema:name dimensions_id
101 schema:value pub.1042923837
102 rdf:type schema:PropertyValue
103 Nee91ba95abd44db0ab6c535a0483021f schema:name Springer Nature
104 rdf:type schema:Organisation
105 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
106 schema:name Information and Computing Sciences
107 rdf:type schema:DefinedTerm
108 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
109 schema:name Computer Software
110 rdf:type schema:DefinedTerm
111 sg:person.011346164153.27 schema:affiliation grid-institutes:grid.4991.5
112 schema:familyName Chilton
113 schema:givenName Chris
114 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011346164153.27
115 rdf:type schema:Person
116 sg:person.012621255525.11 schema:affiliation grid-institutes:grid.5675.1
117 schema:familyName Isberner
118 schema:givenName Malte
119 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012621255525.11
120 rdf:type schema:Person
121 sg:person.012715245007.90 schema:affiliation grid-institutes:grid.8993.b
122 schema:familyName Jonsson
123 schema:givenName Bengt
124 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012715245007.90
125 rdf:type schema:Person
126 sg:person.016623257750.16 schema:affiliation grid-institutes:grid.5328.c
127 schema:familyName Bennaceur
128 schema:givenName Amel
129 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016623257750.16
130 rdf:type schema:Person
131 grid-institutes:grid.4991.5 schema:alternateName Department of Computer Science, University of Oxford, UK
132 schema:name Department of Computer Science, University of Oxford, UK
133 rdf:type schema:Organization
134 grid-institutes:grid.5328.c schema:alternateName ARLES, Inria Paris - Rocquencourt, France
135 schema:name ARLES, Inria Paris - Rocquencourt, France
136 rdf:type schema:Organization
137 grid-institutes:grid.5675.1 schema:alternateName Technical University of Dortmund, Germany
138 schema:name Technical University of Dortmund, Germany
139 rdf:type schema:Organization
140 grid-institutes:grid.8993.b schema:alternateName Department of Information Technology, Uppsala University, Sweden
141 schema:name Department of Information Technology, Uppsala University, Sweden
142 rdf:type schema:Organization
 




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


...