uu.seUppsala universitets publikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning
INRIA Rocquencourt.
University of Oxford.
Technical University of Dortmund.
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
2013 (engelsk)Inngår i: SEFM 2013, 11th Int. Conf. on Software Engineering and Formal Methods / [ed] Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti, Springer, 2013, s. 274-288Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

Software systems are increasingly composed of independentlydeveloped heterogeneous components. To ensure interoperability, medi-ators are needed that coordinate actions and translate exchanged mes-sages between the components. We present a technique for automatedsynthesis of mediators, by means of a quotient operator, that is based onbehavioural models of the components and an ontological model of thedata domain. By not requiring a specification of the composed system,the method supports both off-line and run-time synthesis. The obtainedmediator is the most general component that ensures freedom of bothcommunication mismatches and deadlock in the composition. Validationof the approach is given by implementation of a prototype tool, while ap-plicability is illustrated on heterogeneous holiday booking components.

sted, utgiver, år, opplag, sider
Springer, 2013. s. 274-288
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 8137
Emneord [en]
mediator synthesis, quotient, ontology, deadlock-freeness
HSV kategori
Forskningsprogram
Datavetenskap
Identifikatorer
URN: urn:nbn:se:uu:diva-213423DOI: 10.1007/978-3-642-40561-7_19ISBN: 978-3-642-40560-0 (tryckt)OAI: oai:DiVA.org:uu-213423DiVA, id: diva2:682048
Konferanse
11th Int. Conf. on Software Engineering and Formal Methods, Madrid, Spain, September 25-27, 2013
Prosjekter
ConnectUPMARCTilgjengelig fra: 2013-12-21 Laget: 2013-12-21 Sist oppdatert: 2013-12-21

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fullteksthttp://link.springer.com/chapter/10.1007/978-3-642-40561-7_19

Personposter BETA

Jonsson, Bengt

Søk i DiVA

Av forfatter/redaktør
Jonsson, Bengt
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 467 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf