Tutorial

UML4PF-CC Extension

This tutorial shows how to model with the UML4PF-CC Extension and also how to run the OCL checks and generate documentation. 

 

UML4PF-CC Extension Modeling

Assign the UML profiles for problem frames and for dependability to the model, as explained in the UML4PF manual.

Read the papers “Common Criteria CompliAnt Software Development (CC-CASD)” and “A problem-based threat analysis in compliance with common criteria” to understand how the CC modeling is done.
OCL-based Consistency Checks and OCL-based Security Reasoning 

The OCL checks for consistency and security reasoning have to be activated via a right click on the file that contains the model. In the menu, we have to choose the “validate now” option (see figure below).

 

  

In the appearing menu, we have to select the “commoncriteria” entry for the model validation checks or the “commoncriteriareason” entry for the security reasoning expressions.

 

 

Afterwards, the checks are executed (see bottom of the figure below). Green bars indicate a successful check and red bars indicate that an expression is not satisfied. 

 

 

Document Generation

The document generation is activated by a right click on the “main.mtl” of either the html or latex document generation (see figure below).  In both cases we have to choose the “Run As” entry and select the “Launch Acceleo Application” entry.

 

 

The application shows a progress indicator in the lower right corner of the screen (see figure below).

 

 

 

After the document generation finished, the progress indicator vanishes (see figure below).

 

 

Afterwards, the folder “output” contains the generated documents (see figure below).