Vis enkel innførsel

dc.contributor.authorRunde, Ragnhild Kobro
dc.contributor.authorRefsdal, Atle
dc.contributor.authorStølen, Ketil
dc.date.accessioned2017-11-29T07:35:15Z
dc.date.available2017-11-29T07:35:15Z
dc.date.created2013-05-31T12:20:42Z
dc.date.issued2013
dc.identifier.citationFormal Aspects of Computing. 2013, 25 (2), 159-187.nb_NO
dc.identifier.issn0934-5043
dc.identifier.urihttp://hdl.handle.net/11250/2468314
dc.description.abstractHaving a sequence diagram specification and a computer system, we need to answer the question: Is the system compliant with the sequence diagram specification in the desired way? We present a procedure for answering this question for sequence diagrams with underspecification and inherent nondeterminism. The procedure is independent of any concrete technology, and relies only on the execution traces that may be produced by the system. If all traces are known, the procedure results in either “compliant” or “not compliant”. If only a subset of the traces is known, the conclusion may also be “likely compliant” or “likely not compliant”.nb_NO
dc.language.isoengnb_NO
dc.titleRelating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminismnb_NO
dc.typeJournal articlenb_NO
dc.typePeer reviewednb_NO
dc.description.versionacceptedVersionnb_NO
dc.source.pagenumber159-187nb_NO
dc.source.volume25nb_NO
dc.source.journalFormal Aspects of Computingnb_NO
dc.source.issue2nb_NO
dc.identifier.doi10.1007/s00165-011-0192-5
dc.identifier.cristin1031805
dc.relation.projectNorges forskningsråd: 164382nb_NO
dc.relation.projectNorges forskningsråd: 15295nb_NO
cristin.unitcode7401,90,12,0
cristin.unitnameNettbaserte systemer og tjenester
cristin.ispublishedtrue
cristin.fulltextoriginal
cristin.fulltextpostprint
cristin.qualitycode1


Tilhørende fil(er)

Thumbnail

Denne innførselen finnes i følgende samling(er)

Vis enkel innførsel