Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Specifying model changes with UMLchange to support security verification of potential evolution

 
: Wenzel, Sven; Warzecha, Daniel; Jürjens, Jan; Ochoa, Martin; Poggenpohl, Daniel

:

Computer Standards and Interfaces 36 (2014), No.4, pp.776-791
ISSN: 0920-5489
English
Journal Article
Fraunhofer ISST ()
model evolution; security verification; UML profile; tool support

Abstract
In model-based development, quality properties such as consistency of security requirements are often verified prior to code generation. Changed models have to be re-verified before re-generation. If several alternative evolutions of a model are possible, each alternative has to be modeled and verified to find the best model for further development.
We present a verification strategy to analyze whether evolution preserves given security properties. The UMLchange profile is used for specifying potential evolutions of a given model simultaneously. We present a tool that reads these annotations and computes a delta containing all possible evolution paths. The paths can be verified wrt. security properties, and for each successfully verified path a new model version is generated automatically.

: http://publica.fraunhofer.de/documents/N-275764.html