... | ... | @@ -4,8 +4,7 @@ TK2 and AF3 Plugins Description |
|
|
TK2
|
|
|
---
|
|
|
|
|
|
The [fortiss tooling kernel
|
|
|
version 2](Tooling\_Kernel\_Plugins\_Description) (TK2) comprises the following plugins:
|
|
|
The [fortiss tooling kernel version 2](Tooling\_Kernel\_Plugins\_Description) (TK2) comprises the following plugins:
|
|
|
|
|
|
<table>
|
|
|
<thead>
|
... | ... | @@ -92,7 +91,7 @@ product: |
|
|
</tr>
|
|
|
<tr class="even">
|
|
|
<td>af3.allocation</td>
|
|
|
<td>Deployments between hierarchical platforms layers (logical, task, partition, HW platform architecture)</td>
|
|
|
<td>Deployments between architectures</td>
|
|
|
<td><span style="color:red;">SB</span></td>
|
|
|
<td><span style="color:green;">AD</span></td>
|
|
|
</tr>
|
... | ... | @@ -135,8 +134,8 @@ product: |
|
|
<tr class="odd">
|
|
|
<td>af3.mira</td>
|
|
|
<td>Requirements modeling and analysis.</td>
|
|
|
<td>refactoring 09.12.</td>
|
|
|
<td></td>
|
|
|
<td>-</td>
|
|
|
<td>-</td>
|
|
|
</tr>
|
|
|
<tr class="even">
|
|
|
<td>af3.mode</td>
|
... | ... | @@ -145,16 +144,8 @@ product: |
|
|
<td><span style="color:green;">TC</span></td>
|
|
|
</tr>
|
|
|
<tr class="odd">
|
|
|
<td><del>af3.msc</del></td>
|
|
|
<td><del>Message sequence charts.</del></td>
|
|
|
<td>—</td>
|
|
|
<td>—</td>
|
|
|
</tr>
|
|
|
<tr class="even">
|
|
|
<td><del>af3.ocra</del></td>
|
|
|
<td><del>OCRA-based verification.</del></td>
|
|
|
<td>—</td>
|
|
|
<td>—</td>
|
|
|
</tr>
|
|
|
<tr class="odd">
|
|
|
<td>af3.operatorpanel</td>
|
... | ... | @@ -199,10 +190,6 @@ product: |
|
|
<td><span style="color:green;">JE</span></td>
|
|
|
</tr>
|
|
|
<tr class="even">
|
|
|
<td><del>af3.refinement</del></td>
|
|
|
<td><del>Modeling of abstract to concrete model refinements.</del></td>
|
|
|
<td>—</td>
|
|
|
<td>—</td>
|
|
|
</tr>
|
|
|
<tr class="odd">
|
|
|
<td>af3.safety</td>
|
... | ... | @@ -223,10 +210,6 @@ product: |
|
|
<td><span style="color:green;">JE</span></td>
|
|
|
</tr>
|
|
|
<tr class="even">
|
|
|
<td><del>af3.specification</del></td>
|
|
|
<td><del>Modeling of verification specifications.</del></td>
|
|
|
<td>—</td>
|
|
|
<td>—</td>
|
|
|
</tr>
|
|
|
<tr class="odd">
|
|
|
<td>af3.state</td>
|
... | ... | @@ -241,10 +224,6 @@ product: |
|
|
<td><span style="color:green;">SB</span></td>
|
|
|
</tr>
|
|
|
<tr class="odd">
|
|
|
<td><del>af3.testing</del></td>
|
|
|
<td><del>Base implementation of testing models and various generation methods.</del></td>
|
|
|
<td>—</td>
|
|
|
<td>—</td>
|
|
|
</tr>
|
|
|
<tr class="even">
|
|
|
<td>af3.timing</td>
|
... | ... | @@ -253,21 +232,13 @@ product: |
|
|
<td><span style="color:green;">TM</span></td>
|
|
|
</tr>
|
|
|
<tr class="odd">
|
|
|
<td><del>af3.tools</del></td>
|
|
|
<td><del>Common code for external tool integrations.</del></td>
|
|
|
<td>—</td>
|
|
|
<td>—</td>
|
|
|
</tr>
|
|
|
<tr class="even">
|
|
|
<td><del>pragmatictransformation</del></td>
|
|
|
<td>—</td>
|
|
|
<td>—</td>
|
|
|
<td>—</td>
|
|
|
</tr>
|
|
|
</tbody>
|
|
|
</table>
|
|
|
|
|
|
Plugins which are planned to be added in 2.17
|
|
|
Plugins which are planned to be added
|
|
|
---------------------------------------------
|
|
|
|
|
|
<table>
|
... | ... | @@ -317,15 +288,11 @@ Plugins which are planned to be added in 2.17 |
|
|
<td>?</td>
|
|
|
</tr>
|
|
|
<tr class="odd">
|
|
|
<td>org.fortiss.af3.exploration.alg</td>
|
|
|
<td>MOEA DSE</td>
|
|
|
<td>AD</td>
|
|
|
<td>?</td>
|
|
|
</tr>
|
|
|
</tbody>
|
|
|
</table>
|
|
|
|
|
|
Additional Plugins
|
|
|
Attic
|
|
|
------------------
|
|
|
|
|
|
The following plugins are currently not integrated into the AF3 Phoenix
|
... | ... | @@ -398,55 +365,4 @@ product. |
|
|
</tbody>
|
|
|
</table>
|
|
|
|
|
|
AF3 Plugins Conventions
|
|
|
=======================
|
|
|
|
|
|
Naming conventions
|
|
|
------------------
|
|
|
|
|
|
We distinguish consistently between plugins concerning the AF3 modeling
|
|
|
language and its user interface implementation.
|
|
|
The naming convention is
|
|
|
|
|
|
org.fortiss.af3.the_plugin
|
|
|
|
|
|
|
|
|
for the language (meta-model, semantic functionality), and
|
|
|
|
|
|
org.fortiss.af3.the_plugin.ui
|
|
|
|
|
|
|
|
|
for the presentation and user interaction implementation.
|
|
|
|
|
|
Top-level Packages
|
|
|
------------------
|
|
|
|
|
|
The modeling language plugins will adhere to the following list of
|
|
|
top-level packages.
|
|
|
|
|
|
**model**: The EMF meta-model classes. This package is usually found in
|
|
|
*generated-src* folder.
|
|
|
**annotations**: Implementation related to the annotation framework.
|
|
|
**compose**: Implementations of compositors.
|
|
|
**constraint**: Implementations of constraints.
|
|
|
**generator**: Implementations of generators (if the language supports
|
|
|
that). Target language identifier is usually the next level of package
|
|
|
names, e.g. **generator.java**.
|
|
|
**prototypes**: Implementation of prototypes.
|
|
|
**simulator**: Implementations of a simulator backend (if the language
|
|
|
supports that).
|
|
|
**utils**: Utility classes and methods. Classes in this package only
|
|
|
contain static implementations.
|
|
|
|
|
|
The user interface plugins will adhere to the following list of
|
|
|
top-level elements.
|
|
|
|
|
|
**editor**: Implementations of editors.
|
|
|
**editpart**: Implementations of graphical editors’ parts.
|
|
|
**handler**: Implementations of model element handlers.
|
|
|
**properties**: Implementations of property sections.
|
|
|
**simulator**: Implementations of a simulator front-end (if the language
|
|
|
supports that).
|
|
|
**utils**: Utility classes and methods. Classes in this package only
|
|
|
contain static implementations.
|
|
|
|