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
Distributed energy management case study: A formal approach to analyzing utility functions
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0001-8009-9052
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0003-2870-2680
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0003-4040-3480
2014 (Engelska)Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, s. 74-87Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

The service-oriented paradigm has been established to enable quicker development of new applications from already existing services. Service negotiation is a key technique to provide a way of deciding and choosing the most suitable service, out of possibly many services delivering similar functionality but having different response times, resource usages, prices, etc. In this paper, we present a formal approach to the clients-providers negotiation of distributed energy management. The models are described in our recently introduced REMES HDCL language, with timed automata semantics that allows us to apply UPPAALbased tools for model-checking various scenarios of service negotiation. Our target is to compute ways of reaching the price- and reliability-optimal values of the utility function, at the end of the service negotiation.

Ort, förlag, år, upplaga, sidor
2014. s. 74-87
Nyckelord [en]
Automata theory; Energy management; Model checking; Semantics
Nationell ämneskategori
Elektroteknik och elektronik
Identifikatorer
URN: urn:nbn:se:mdh:diva-26837DOI: 10.1007/978-3-662-45231-8_6ISI: 000345509600006Scopus ID: 2-s2.0-84910673489OAI: oai:DiVA.org:mdh-26837DiVA, id: diva2:769135
Konferens
6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014; Imperial, Corfu; Greece; 8 October 2014 through 11 October 2014; Code 110119
Tillgänglig från: 2014-12-05 Skapad: 2014-12-05 Senast uppdaterad: 2018-01-30Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Causevic, AdnanSeceleanu, CristinaPettersson, Paul

Sök vidare i DiVA

Av författaren/redaktören
Causevic, AdnanSeceleanu, CristinaPettersson, Paul
Av organisationen
Inbyggda system
Elektroteknik och elektronik

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 65 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