Skip to content
Snippets Groups Projects
Commit dae788d4 authored by Carmen Carlan's avatar Carmen Carlan
Browse files

First iteration 


Issue-ref: 3950

Signed-off-by: default avatarCarmen Carlan <carlan@fortiss.org>
parent 84c9dae8
No related branches found
No related tags found
1 merge request!243950 sc help
Hide whitespace changes
Inline Side-by-side
org.fortiss.af3.rcp.help/html/assuranceCases/reports.html deleted 100644 → 0
+ 0
− 53
View file @ 84c9dae8
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=iso-8859-1">
<title></title>
<style type="text/css">
h1 {
text-decoration: underline;
}
h1, h2, h3, h4 {
color: #336699;
}
span.bold {
font-weight: bold;
}
span.italic {
font-style: italic;
}</style>
</head>
<body>
<h1>Generating reports</h1>
The GSN-based diagrams created in our tool shall be used in different documents.
<h2>Exporting GSN diagrams</h2>
<p> GSN diagrams do not model the entire assurance case and, as such, they
do not replace all the documents within an assurance case. Instead, they
represent an abstract overview of the argumentation and are included in
other documents. Therefore, there is a need to export the GSN diagrams
created in ExplicitCase into a format so that they can be easily
integrated in text-based documents as figures. </p>
<h3>Steps to export assurance cases in ExplicitCase</h3>
<p> ExplicitCase offers the option to export a GSN-based diagram in three
different formats: SVG, PNG, PDF. To do that, the user shall follow the
following steps: </p>
<ol>
<li> Go to any assurance case module and open the editor; </li>
<li> Right-click anywhere in the editor. Click 'Export Module Diagram
...'; </li>
<p> <img src="./pictures/Export1.png"></p>
<li> In the first dialogue, choose the preferred format; </li>
<p> <img src="./pictures/Export2.png"></p>
<li> In the second dialogue, confirm the preferred format and choose the
destination of the exported file; </li>
<p> <img src="./pictures/Export3.png"></p>
</ol>
<p></p>
<h3>Explanation of the colors</h3>
<p> </p>
<p> The following legend explains the different colors used in the exported
document. </p>
<p> <img src="./pictures/Export4.PNG"></p>
</body>
</html>
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment