uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Mediator synthesis in a component algebra with data
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
2015 (English)In: Correct System Design, Springer, 2015, 238-259 p.Conference paper, Published paper (Refereed)
Resource type
Text
Abstract [en]

We formulate a compositional specification theory for components that interact by directed synchronous communication actions. The theory is an extension of interface automata which is also able to capture both absence of deadlock as well as constraints on data parameters in interactions. We define refinement, parallel composition, and quotient. The quotient is an adjoint of parallel composition, and produces the most general component that makes the components cooperate to satisfy a given system specification. We show how these operations can be used to synthesize mediators that allow components in networked systems to interoperate. This is illustrated by application to the synthesis of mediators in e-commerce applications.

Place, publisher, year, edition, pages
Springer, 2015. 238-259 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 9360
National Category
Computer Engineering
Identifiers
URN: urn:nbn:se:uu:diva-276112DOI: 10.1007/978-3-319-23506-6_16ISI: 000365884000013ISBN: 978-3-319-23505-9 (print)OAI: oai:DiVA.org:uu-276112DiVA: diva2:901891
Conference
Festschrift Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, September 8–9, 2015, Oldenburg, Germany
Available from: 2015-11-10 Created: 2016-02-09 Last updated: 2016-02-23Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Authority records BETA

Jonsson, Bengt

Search in DiVA

By author/editor
Jonsson, Bengt
By organisation
Computer Systems
Computer Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 189 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf