Hide metadata

dc.date.accessioned2013-03-12T08:15:33Z
dc.date.available2013-03-12T08:15:33Z
dc.date.issued2008en_US
dc.date.submitted2008-04-09en_US
dc.identifier.urihttp://hdl.handle.net/10852/9865
dc.description.abstractUML sequence diagrams partially describe a system. We show how the description may be augmented with exceptions triggered by the violation of timing constraints and compare our approach to those of the UML 2.1 simple time model, the UML Testing Profile and the UML profile for Schedulability, Performance and Time. We give a formal definition of time exceptions in sequence diagrams and show that the concepts are compositional. An ATM example is used to explain and motivate the concepts.nor
dc.language.isoengen_US
dc.relation.ispartofResearch report http://urn.nb.no/URN:NBN:no-35645en_US
dc.relation.urihttp://urn.nb.no/URN:NBN:no-35645
dc.subjectspecificationen_US
dc.subjecttimeconstraintsen_US
dc.subjectexceptionhandlingen_US
dc.subjectformalsemanticsen_US
dc.subjectrefinementen_US
dc.titleTime exceptions in sequence diagramsen_US
dc.typeResearch reporten_US
dc.date.updated2008-04-11en_US
dc.creator.authorHalvorsen, Oddleifen_US
dc.creator.authorRunde, Ragnhild Kobroen_US
dc.creator.authorHaugen, Øysteinen_US
dc.subject.nsiVDP::420en_US
dc.identifier.urnURN:NBN:no-18846en_US
dc.type.documentForskningsrapporten_US
dc.identifier.duo71852en_US
dc.identifier.bibsys080577881en_US
dc.identifier.fulltextFulltext https://www.duo.uio.no/bitstream/handle/10852/9865/1/Report344.pdf


Files in this item

Appears in the following Collection

Hide metadata