Verifiable Aspect Composition in UML Models
Eun-Jee Song, Nathan V. Roberts · 2008
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.