dc.date.accessioned | 2013-03-12T08:05:21Z | |
dc.date.available | 2013-03-12T08:05:21Z | |
dc.date.issued | 2007 | en_US |
dc.date.submitted | 2008-02-21 | en_US |
dc.identifier.uri | http://hdl.handle.net/10852/9831 | |
dc.description.abstract | In this report we explore aspect-oriented modeling for UML 2.0 sequence diagrams. We ensure that the aspect weaving is semantics-based by using a formal trace model for sequence diagrams. A major challenge is to handle unbounded loops which produce infinite traces. We establish a systematic way to permutate and rewrite the original loop definition so that the weaving in many typical cases can be performed on a finite structure. We prove that it is always sufficient to consider a loop with upper bound relative to the pointcut definition to discover if the loop has infinitely repeating matches. A running example illustrates the approach and a prototype weaving tool is being implemented. | nor |
dc.language.iso | eng | en_US |
dc.relation.ispartof | Research report http://urn.nb.no/URN:NBN:no-35645 | en_US |
dc.relation.uri | http://urn.nb.no/URN:NBN:no-35645 | |
dc.title | Weaving of UML sequence diagrams using STAIRS | en_US |
dc.type | Research report | en_US |
dc.date.updated | 2008-02-22 | en_US |
dc.creator.author | Grønmo, Roy | en_US |
dc.creator.author | Sørensen, Fredrik | en_US |
dc.creator.author | Møller-Pedersen, Birger | en_US |
dc.creator.author | Krogdahl, Stein | en_US |
dc.subject.nsi | VDP::420 | en_US |
dc.identifier.urn | URN:NBN:no-18590 | en_US |
dc.type.document | Forskningsrapport | en_US |
dc.identifier.duo | 70493 | en_US |
dc.identifier.bibsys | 080296009 | en_US |
dc.identifier.fulltext | Fulltext https://www.duo.uio.no/bitstream/handle/10852/9831/1/No367.pdf | |