Title :
Verifiable Aspect Composition in UML Models
Author :
Song, Eunjee ; Roberts, Nathan V.
Author_Institution :
Dept. of Comput. Sci., Baylor Univ. Waco, Waco, TX
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;
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
DOI :
10.1109/SSIRI.2008.61
