Cristin-resultat-ID: 1255694
Sist endret: 22. november 2017, 12:51
NVI-rapporteringsår: 2015
Resultat
Vitenskapelig artikkel
2015

Stepwise refinement of sequence diagrams with soft real-time constraints

Bidragsytere:
  • Atle Refsdal
  • Ragnhild Kobro Runde og
  • Ketil Stølen

Tidsskrift

Journal of computer and system sciences
ISSN 0022-0000
e-ISSN 1090-2724
NVI-nivå 2

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2015
Publisert online: 2015
Trykket: 2015
Volum: 81
Hefte: 7
Sider: 1221 - 1251
Open Access

Importkilder

Scopus-ID: 2-s2.0-84930752373

Beskrivelse Beskrivelse

Tittel

Stepwise refinement of sequence diagrams with soft real-time constraints

Sammendrag

UML sequence diagrams and similar notations are much used to specify and analyze computer systems and their requirements. Probabilities are often essential, in particular for capturing soft real-time constraints. It is also important to be able to specify systems at different levels of abstraction. Refinement is a means to relate abstract specifications to more concrete specifications in such a way that constraints and analysis results are preserved through the transition. In order to allow soft real-time constraints to be included as an integral part of sequence diagram specifications, this paper presents an approach to extend UML 2.x sequence diagrams to capture probabilistic choice in general and soft real-time constraints in particular. The approach is supported by formal semantics and pragmatic refinement relations with mathematical properties that allow stepwise and modular development of specifications. An example focusing on communication is provided to demonstrate the language and refinement relations.

Bidragsytere

Atle Refsdal

  • Tilknyttet:
    Forfatter
    ved Software and Service Innovation ved SINTEF AS

Ragnhild Kobro Runde

  • Tilknyttet:
    Forfatter
    ved Forskningsgruppen for programmering og software engineering ved Universitetet i Oslo

Ketil Stølen

  • Tilknyttet:
    Forfatter
    ved Software and Service Innovation ved SINTEF AS
  • Tilknyttet:
    Forfatter
    ved Forskningsgruppen for programmering og software engineering ved Universitetet i Oslo
1 - 3 av 3