Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
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
Atle Refsdal
Ragnhild Kobro Runde
og
Ketil Stølen
Tidsskrift
Tidsskrift
Journal of computer and system sciences
ISSN 0022-0000
e-ISSN 1090-2724
NVI-nivå 1
Finn i kanalregisteret
Om resultatet
Om resultatet
Vitenskapelig artikkel
Publiseringsår: 2015
Publisert online: 2015
Trykket: 2015
Volum: 81
Hefte: 7
Sider: 1221 - 1251
Open Access
Lenker
Lenker
original online (doi)
https://doi.org/10.1016/j.jcss.2015.03.003
Institusjonsarkiv
hdl.handle.net/11250/2467672
Importkilder
Importkilder
Scopus-ID: 2-s2.0-84930752373
Beskrivelse
Beskrivelse
Engelsk
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.
Vis
fullstendig beskrivelse
Bidragsytere
Bidragsytere
Atle Refsdal
Forfatter
ved Sustainable Communication Technologies ved SINTEF AS
Ragnhild Kobro Runde
Forfatter
ved Forskningsgruppen for programmering og software engineering ved Universitetet i Oslo
Ketil Stølen
Forfatter
ved Sustainable Communication Technologies ved SINTEF AS
Forfatter
ved Forskningsgruppen for programmering og software engineering ved Universitetet i Oslo
1
-
3
av
3