RésuméSoftware evolution and security remain to be challenges faced by developers of software systems. Due to the predictability of certain evolution and security issues, the inclusion of techniques to address such anticipated factors is recommended at the early stages of software development. This thesis examines the possibility to extend UMLsec in order to address the representation of future evolution and an approach to execute the modelled evolution. Since UMLseCh is an extension of the original UMLsec, the resulting model can
be verified using the method defined by the UMLsec approach.
An extension of the UMLsec profile was achieved by adding new stereotypes and tagged values in order to include the evolution concepts. Formal semantics was proposed to specify the appilcation of an evolution. An abstract syntax was then formally defined to allow represention of the UMLseCh constructs and diagrams. These concepts could form a preliminary foundation for future research in software evolution and security.
|la date de réponse||2010|
|Superviseur||PIERRE-YVES SCHOBBENS (Promoteur)|