DocumentCode
2311953
Title
Verifiable Aspect Composition in UML Models
Author
Song, Eunjee ; Roberts, Nathan V.
Author_Institution
Dept. of Comput. Sci., Baylor Univ. Waco, Waco, TX
fYear
2008
fDate
14-17 July 2008
Firstpage
201
Lastpage
202
Abstract
Aspect-oriented modeling (AOM) can achieve better separation of concerns than standard object-oriented modeling, at the cost of some additional complexity in the aspect composition specification. This complexity may obscure or, if the composition specification is incorrect, produce design errors. To facilitate correction of these errors, we describe a process by which desired features may be verified in such a way that, if the verification fails, it is relatively straightforward to identify suspect elements of the composition specification.
Keywords
Unified Modeling Language; formal specification; object-oriented programming; program verification; Unified Modeling Language model; aspect-oriented modeling; object-oriented modeling; verifiable aspect composition specification; Access control; Computer science; Merging; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Secure System Integration and Reliability Improvement, 2008. SSIRI '08. Second International Conference on
Conference_Location
Yokohama
Print_ISBN
978-0-7695-3266-0
Electronic_ISBN
978-0-7695-3266-0
Type
conf
DOI
10.1109/SSIRI.2008.61
Filename
4579824
Link To Document