RT Generic
T1 Generación de código de control de acceso orientado a aspectos: un enfoque por metamodelos
A1 Díaz Yeregui, Pedro
A1 Ogalla Ramirez, Jorge
AB Presentamos una transformación basada en metamodelos desdeSecureUML, un lenguaje de control de acceso a usuarios según rol, a unlenguaje de aspectos abstracto donde la política de seguridad se entiendecomo una instancia del metamodelo de SecureUML, y el aspecto generadose entiende como una instancia del metamodelo de aspectos. El metamodelocombinado de SecureUML y de aspectos se usa para garantizar que elaspecto generado es consistente con la política de seguridad dada. Lavalidación de la transformación se efectúa evaluando los invariantes de losmetamodelos implicados.Hemos prototipado el enfoque como aplicación Java sobre ITP/OCL, unevaluador basado en reescritura. Retorna código validado de AspectJ desdeuna política de seguridad en SecureUML.[ABSTRACT]We present a metamodel-based transformation from SecureUML, a rolebasedaccess control language, to an abstract aspect language where asecurity policy is understood as an instance of SecureUML’s metamodeland the generated aspect is understood as an instance of the aspects’metamodel. The merged metamodel of SecureUML and aspects is used toguarantee that the generated aspect is consistent with the given securitypolicy. The validation of the transformation is done by evaluating theinvariants on all involved metamodels.We have prototyped our approach as a Java application on top of ITP/OCL, a rewriting-based OCL evaluator. It outputs validated AspectJcode from a SecureUML policy.
YR 2008
FD 2008
LK https://hdl.handle.net/20.500.14352/54352
UL https://hdl.handle.net/20.500.14352/54352
LA spa
NO Trabajo de clase de la asignatura Sistemas Informáticos (Facultad de Informática, Curso 2007-2008)
DS Docta Complutense
RD 14 dic 2025