Modelling future evolution in a security oriented context

  • Loïc Marchal

    Student thesis: Master types › Master in Computer science

    Abstract

    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.
    Date of Award2010
    Original languageEnglish
    Awarding Institution
    • University of Namur
    SupervisorPierre Yves Schobbens (Supervisor)

    Cite this

    Documents

    '