• 09 MAY 14

    Implementation of OCL-based State-Propagation-Strategies for Hierarchical Security Requirements

    Supervisor: Michael Brunner ( michael.brunner@uibk.ac.at)

    Goal: Implementation of a solution to define propagation strategies for hierarchical security requirements based on the UML Object Constraint Language.

    The student is expected to enhance the existing adamant tool (http://adamant.q-e.at) by adding support for OCL-based state propagation strategies for hierarchical security requirements. These state propagation strategies should be defined via OCL conditions for (partial) fulfillment of individual security requirements based on the state of sub-ordinate requirements and should support the full range of attributes and associations within the meta model used by adamant. A thorough evaluation of available OCL-frameworks in Java is a mandatory part of this project.

    Requirements: Java-expertise, Knowledge of UML/OCL

Contact Us