TK2 and AF3 Plugins Description
===============================

TK2
---

The [fortiss tooling kernel version 2](Tooling\_Kernel\_Plugins\_Description) (TK2) comprises the following plugins:

<table>
<thead>
<tr class="header">
<th>Plugin</th>
<th>Description</th>
<th><strong>Responsibility</strong></th>
<th></th>
</tr>
</thead>
<tbody>
<tr class="odd">
<td></td>
<td></td>
<td><span style="color:red;">Primary</span></td>
<td><span style="color:green;">Secondary</span></td>
</tr>
<tr class="even">
<td>tooling.common</td>
<td>Base imports and common utilities.</td>
<td><span style="color:red;">AD</span></td>
<td><span style="color:green;">SB</span></td>
</tr>
<tr class="odd">
<td>tooling.graphicsGL</td>
<td>GL-based common infrastructure.</td>
<td><span style="color:red;">FH</span></td>
<td><span style="color:green;">JE</span></td>
</tr>
<tr class="even">
<td>tooling.kernel</td>
<td>The kernel infrastructure implementation.</td>
<td><span style="color:red;">SB</span></td>
<td><span style="color:green;">JE</span></td>
</tr>
<tr class="odd">
<td>tooling.base</td>
<td>Base implementations shared by modeling tools.</td>
<td><span style="color:red;">SB</span></td>
<td><span style="color:green;">JE</span></td>
</tr>
<tr class="even">
<td>spiderchart.ui</td>
<td>Base implementation for spider charts.</td>
<td><span style="color:red;">JE</span></td>
<td><span style="color:green;">SB</span></td>
</tr>
</tbody>
</table>

AF3
---

The following plugins are currently integrated into the *AF3 Phoenix*
product:

<table>
<thead>
<tr class="header">
<th>Plugin</th>
<th>Description</th>
<th><strong>Responsibility</strong></th>
<th></th>
</tr>
</thead>
<tbody>
<tr class="odd">
<td></td>
<td></td>
<td><span style="color:red;">Primary</span></td>
<td><span style="color:green;">Secondary</span></td>
</tr>
<tr class="even">
<td>com.microsoft.z3</td>
<td>Microsoft Z3 libraries, Java bindings and utilities</td>
<td>{color:red} JE</td>
<td>{color:green} MV</td>
</tr>
<tr class="odd">
<td>eu.fbk.af3.tools.diagram</td>
<td>Possibly removed</td>
<td>{color:red} ?</td>
<td>{color:green} ?</td>
</tr>
<tr class="even">
<td>af3.allocation</td>
<td>Deployments between architectures</td>
<td><span style="color:red;">SB</span></td>
<td><span style="color:green;">AD</span></td>
</tr>
<tr class="odd">
<td>af3.component</td>
<td>Component language with code behavior specifications.</td>
<td><span style="color:red;">AB</span></td>
<td><span style="color:green;">FH</span></td>
</tr>
<tr class="even">
<td>af3.cosimulation</td>
<td></td>
<td>{color:red} TM</td>
<td><span style="color:green;">JE</span></td>
</tr>
<tr class="odd">
<td>af3.exploration</td>
<td></td>
<td><span style="color:red;">AD</span></td>
<td><span style="color:green;">JE</span></td>
</tr>
<tr class="even">
<td>af3.exploration.smt</td>
<td></td>
<td><span style="color:red;">MV</span></td>
<td><span style="color:green;">JE</span></td>
</tr>
<tr class="odd">
<td>af3.expression</td>
<td>Expression and action language (functional and imperative).</td>
<td><span style="color:red;">FH</span></td>
<td><span style="color:green;">AB</span></td>
</tr>
<tr class="even">
<td>af3.generator.common</td>
<td>Common code for Java and C code generation.</td>
<td><span style="color:red;">FH</span></td>
<td><span style="color:green;">AB</span></td>
</tr>
<tr class="odd">
<td>af3.mira</td>
<td>Requirements modeling and analysis.</td>
<td>-</td>
<td>-</td>
</tr>
<tr class="even">
<td>af3.mode</td>
<td>Mode automata for component behavior specification.</td>
<td><span style="color:red;">FH</span></td>
<td><span style="color:green;">TC</span></td>
</tr>
<tr class="odd">
</tr>
<tr class="even">
</tr>
<tr class="odd">
<td>af3.operatorpanel</td>
<td>Operator panel specifications.</td>
<td><span style="color:red;">FH</span></td>
<td><span style="color:green;">TC</span></td>
</tr>
<tr class="even">
<td>af3.partition</td>
<td>Vendor-independent partition architecture model</td>
<td><span style="color:red;">SB</span></td>
<td><span style="color:green;">AD</span></td>
</tr>
<tr class="odd">
<td>af3.platform</td>
<td>Platform modeling framework and <em>Generic Platform</em> model</td>
<td><span style="color:red;">SB</span></td>
<td><span style="color:green;">FH</span></td>
</tr>
<tr class="even">
<td>af3.platform.hierarchic</td>
<td>Generic hierarchical platform.</td>
<td><span style="color:red;">SB</span></td>
<td>AD</td>
</tr>
<tr class="odd">
<td>af3.project</td>
<td>Project collecting all design specifications.</td>
<td><span style="color:red;">FH</span></td>
<td><span style="color:green;">AB</span></td>
</tr>
<tr class="even">
<td>af3.rcapplication</td>
<td>AutoFOCUS 3 application.</td>
<td><span style="color:red;">AD</span></td>
<td><span style="color:green;">FH</span></td>
</tr>
<tr class="odd">
<td>af3.rchelp</td>
<td>AutoFOCUS 3 online hel</td>
<td><span style="color:red;">SB</span></td>
<td><span style="color:green;">JE</span></td>
</tr>
<tr class="even">
</tr>
<tr class="odd">
<td>af3.safety</td>
<td>Modeling of safety properties</td>
<td><span style="color:red;">AD</span></td>
<td><span style="color:green;">JE</span></td>
</tr>
<tr class="even">
<td>af3.safetycases</td>
<td>Specification of safety cases.</td>
<td><span style="color:red;">CC</span></td>
<td><span style="color:green;">SB?</span></td>
</tr>
<tr class="odd">
<td>af3.schedule</td>
<td>Modeling resource and system schedules</td>
<td><span style="color:red;">SB</span></td>
<td><span style="color:green;">JE</span></td>
</tr>
<tr class="even">
</tr>
<tr class="odd">
<td>af3.state</td>
<td>State automata for component behavior specification.</td>
<td><span style="color:red;">FH</span></td>
<td><span style="color:green;">TM</span></td>
</tr>
<tr class="even">
<td>af3.task</td>
<td>Vendor-independent task architecture model</td>
<td><span style="color:red;">JE</span></td>
<td><span style="color:green;">SB</span></td>
</tr>
<tr class="odd">
</tr>
<tr class="even">
<td>af3.timing</td>
<td>Modeling of temporal requirements and properties</td>
<td><span style="color:red;">AD</span></td>
<td><span style="color:green;">TM</span></td>
</tr>
<tr class="odd">
</tr>
<tr class="even">
</tr>
</tbody>
</table>

Plugins which are planned to be added 
---------------------------------------------

<table>
<thead>
<tr class="header">
<th>Plugin</th>
<th>Description</th>
<th><strong>Responsibility</strong></th>
<th></th>
</tr>
</thead>
<tbody>
<tr class="odd">
<td></td>
<td></td>
<td><span style="color:red;">Primary</span></td>
<td><span style="color:green;">Secondary</span></td>
</tr>
<tr class="even">
<td>org.fortiss.variability</td>
<td></td>
<td>AB</td>
<td>?</td>
</tr>
<tr class="odd">
<td>org.fortiss.af3.variability</td>
<td></td>
<td>AB</td>
<td>?</td>
</tr>
<tr class="even">
<td>org.fortiss.af3.variability.ui</td>
<td></td>
<td>AB</td>
<td>?</td>
</tr>
<tr class="odd">
<td>org.fortiss.af3.variability.featuremodel</td>
<td></td>
<td>AB</td>
<td>?</td>
</tr>
<tr class="even">
<td>org.fortiss.af3.variability.featuremodel.ui</td>
<td></td>
<td>AB</td>
<td>?</td>
</tr>
<tr class="odd">
</tr>
</tbody>
</table>

Attic
------------------

The following plugins are currently not integrated into the AF3 Phoenix
product.

<table>
<thead>
<tr class="header">
<th>Plugin</th>
<th>Description</th>
<th><strong>Responsibility</strong></th>
<th></th>
</tr>
</thead>
<tbody>
<tr class="odd">
<td></td>
<td></td>
<td><span style="color:red;">Primary</span></td>
<td><span style="color:green;">Secondary</span></td>
</tr>
<tr class="even">
<td>af3.exploration.alg</td>
<td></td>
<td><span style="color:red;">AD</span></td>
<td><span style="color:green;">?</span></td>
</tr>
<tr class="odd">
<td>af3.obcsa</td>
<td></td>
<td><span style="color:red;">SZ?</span></td>
<td><span style="color:green;">?</span></td>
</tr>
<tr class="even">
<td>af3.reuse</td>
<td></td>
<td><span style="color:red;">AB</span></td>
<td></td>
</tr>
<tr class="odd">
<td>af3.security</td>
<td></td>
<td><span style="color:red;">VN</span></td>
<td></td>
</tr>
<tr class="even">
<td>af3.sim.behavior</td>
<td>(To be merged with cosimulation)</td>
<td></td>
<td></td>
</tr>
<tr class="odd">
<td>af3.variability</td>
<td></td>
<td><span style="color:red;">AB</span></td>
<td><span style="color:green;">SA</span></td>
</tr>
<tr class="even">
<td>conti</td>
<td></td>
<td><span style="color:red;">JE</span></td>
<td></td>
</tr>
<tr class="odd">
<td>variability</td>
<td></td>
<td><span style="color:red;">AB</span></td>
<td><span style="color:green;">SA</span></td>
</tr>
</tbody>
</table>