Hide metadata

dc.date.accessioned2013-03-12T08:11:25Z
dc.date.available2013-03-12T08:11:25Z
dc.date.issued2007en_US
dc.date.submitted2008-01-31en_US
dc.identifier.urihttp://hdl.handle.net/10852/9824
dc.description.abstractUML sequence diagrams is a specification language that has proved itself to be of great value in system development. When put to applications such as simulation, testing and other kinds of automated analysis there is a need for formal semantics. Such methods of automated analysis are by nature operational, and this motivates formalizing an operational semantics. In this report we present an operational semantics for UML 2.0 sequence diagrams that we believe gives a solid starting point for developing methods for automated analysis. The operational semantics has been proved to be sound and complete with respect to a denotational semantics for the same language. It handles negative behavior as well as potential and mandatory choice. We are not aware of any other operational semantics for sequence diagrams of this strength.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.titleA fully general operational semantics for UML sequence diagrams with potential and mandatory choiceen_US
dc.typeResearch reporten_US
dc.date.updated2008-02-13en_US
dc.creator.authorLund, Mass Soldahlen_US
dc.creator.authorStølen, Ketilen_US
dc.subject.nsiVDP::420en_US
dc.identifier.urnURN:NBN:no-18411en_US
dc.type.documentForskningsrapporten_US
dc.identifier.duo69996en_US
dc.identifier.bibsys971294682en_US
dc.identifier.fulltextFulltext https://www.duo.uio.no/bitstream/handle/10852/9824/1/Report-330.pdf


Files in this item

Appears in the following Collection

Hide metadata