mdh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • 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
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 (engelsk)Rapport (Annet vitenskapelig)
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).

sted, utgiver, år, opplag, sider
Västerås: Mälardalen Real-Time Research Centre, Mälardalen University , 2012.
Serie
MRTC Report, ISSN 1404-3041
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-17259ISRN: MDH-MRTC-263/2012-1-SEOAI: oai:DiVA.org:mdh-17259DiVA, id: diva2:579590
Tilgjengelig fra: 2012-12-20 Laget: 2012-12-20 Sist oppdatert: 2013-12-03bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Personposter BETA

Causevic, AidaSeceleanu, CristinaPettersson, Paul

Søk i DiVA

Av forfatter/redaktør
Causevic, AidaSeceleanu, CristinaPettersson, Paul
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric

urn-nbn
Totalt: 212 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • 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