Cristin-resultat-ID: 1275039
Sist endret: 24. september 2015, 22:35
Resultat
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2008

Milestones: Mythical Signals in UML to Analyze and Monitor Progress

Bidragsytere:
  • Richard Torbjørn Sanders og
  • Øystein Haugen

Bok

Towards a Service-Based Internet
ISBN:
  • 9783540898962

Utgiver

Springer
NVI-nivå 1

Om resultatet

Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Publiseringsår: 2008
Hefte: 5377
Sider: 110 - 121
ISBN:
  • 9783540898962

Importkilder

SINTEF AS-ID: S9960

Beskrivelse Beskrivelse

Tittel

Milestones: Mythical Signals in UML to Analyze and Monitor Progress

Sammendrag

Many applications are evolving towards Service Oriented Architecture (SOA) with technologies such as Web services. Services can be modeled platform independently through UML2 collaborations in the upcoming UML profile for services, SoaML. We observe an increasing need for validation of services. However, such validation is often based on syntactic descriptions of the services and of their interfaces, which are insufficient to ensure that desired liveness properties are satisfied. In this paper, we present a language construct called “milestone” embedded in UML and define its semantics using mythical signals. We show how this interpretation of milestones can be used for liveness analysis and for runtime monitoring of services. The approach is illustrated with a simple bidding service.

Bidragsytere

Aktiv cristin-person

Richard Sanders

Bidragsyterens navn vises på dette resultatet som Richard Torbjørn Sanders
  • Tilknyttet:
    Forfatter
    ved Software Engineering, Safety and Security ved SINTEF AS

Øystein Haugen

  • Tilknyttet:
    Forfatter
    ved Software and Service Innovation ved SINTEF AS
1 - 2 av 2

Resultatet er en del av Resultatet er en del av

Towards a Service-Based Internet.

2008, Springer. Vitenskapelig antologi/Konferanseserie
1 - 1 av 1