mdh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Algorithmic Computation of Strongest Postconditions of Services as Priced Timed Automata
Mälardalens högskola, Akademin för innovation, design och teknik. (IS)ORCID-id: 0000-0001-5293-3804
Mälardalens högskola, Akademin för innovation, design och teknik. (IS)ORCID-id: 0000-0003-2870-2680
Mälardalens högskola, Akademin för innovation, design och teknik. (IS)ORCID-id: 0000-0003-4040-3480
2012 (Engelska)Rapport (Övrigt vetenskapligt)
Abstract [en]

Service-Oriented Systems (SOS) have gained importance in different application domains thanks to their ability to enable reusable functionality provided via well-defined interfaces, and the increased opportunities to compose existing units, called services, into various configurations. Developing applications in such a setup, by reusing existing services, brings some concerns regarding the assurance of the expected Quality-of-Service (QoS), and correctness of the employed services. In this paper, we provide a formal mechanism of computing service guarantees, automatically. We assume service models annotated with pre- and postconditions, their semantics given as Priced Timed Automata (PTA), and the forward analysis method for checking the service correctness w.r.t. given requirements. Under these assumptions, we show how to compute the strongest postcondition of the corresponding automata algorithmically, with respect to the specified precondition. The approach is illustrated on a small example of a service modeled as Priced Timed Automaton (PTAn).

Ort, förlag, år, upplaga, sidor
Västerås: Mälardalen Real-Time Research Centre, Mälardalen University , 2012.
Serie
MRTC Report, ISSN 1404-3041
Nationell ämneskategori
Teknik och teknologier
Identifikatorer
URN: urn:nbn:se:mdh:diva-17259ISRN: MDH-MRTC-263/2012-1-SEOAI: oai:DiVA.org:mdh-17259DiVA, id: diva2:579590
Tillgänglig från: 2012-12-20 Skapad: 2012-12-20 Senast uppdaterad: 2013-12-03Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Personposter BETA

Causevic, AidaSeceleanu, CristinaPettersson, Paul

Sök vidare i DiVA

Av författaren/redaktören
Causevic, AidaSeceleanu, CristinaPettersson, Paul
Av organisationen
Akademin för innovation, design och teknik
Teknik och teknologier

Sök vidare utanför DiVA

GoogleGoogle Scholar

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 210 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf