Validation of UML Classes through Animation

There is a need for rigorous analysis techniques that developers can use to uncover security policy violations in their UML designs. There are a few UML analysis tools that can be used for this purpose, but they either rely on theorem-proving mechanisms that require sophisticated mathematical skill to use effectively, or they are based on model-checking techniques that require a "closed-world" view of the system (i.e., a system in which there are no inputs from external sources). In this paper we show how a lightweight, scenario-based UML design analysis approach we developed can be used to rigorously analyze a UML design to uncover security policy violations.In the method, a UML design class model, in which security policies and operation specifications are expressed in the Object Constraint Language (OCL), is analyzed against a set of scenarios describing behaviors that adhere to and that violate security policies. The method includes a technique for generating scenarios. We illustrate how the method can be applied through an example involving role-based access control policies.

show abstract

Validation of UML Classes through Animation

Cited by 2 publications

References 8 publications

Semantic Validation of UML Class Diagrams with the Use of Domain Ontologies Expressed in OWL 2

Semantic Validation of UML Class Diagrams with the Use of Domain Ontologies Expressed in OWL 2

A Rigorous Approach to Uncovering Security Policy Violations in UML Designs

Contact Info

Product

Resources

About