Project

General

Profile

TK2 and AF3 Plugins Description

TK2

Plugin Description Responsibility
Primary Secondary
tooling.common Base imports and common utilities. FH JE
tooling.graphicsGL GL-based common infrastructure. FH JE
tooling.kernel The kernel infrastructure implementation. FH JE
tooling.base Base implementations shared by modeling tools. FH JE

AF3

Plugin Description Responsibility
Primary Secondary
af3.project Project collecting all design specifications. FH AB
af3.generator.common Common code for Java and C code generation. SZ AB
af3.tools Common code for external tool integrations. HP VA
af3.expression Expression and action language (functional and imperative). SK FH
af3.component Component language with code behavior specifications. AB FR
af3.state State automata for component behavior specification. TC FH
af3.mode Mode automata for component behavior specification. TC FH
af3.operatorpanel Operator panel specifications. TC FH
af3.msc Message sequence charts.
af3.mira Requirements modeling and analysis. VA
af3.platform Platform modeling framework and Generic Platform model SB FH
af3.deployment Deployments of component architecture to platform. SB FR
af3.platform.pikeos PikeOS platform extension. SZ
af3.platform.beagle Java-based BeagleBone platform extension. FH FR
af3.multicore Multi-core platform example from back in 2012 SV
af3.schedule Modeling resource and system schedules SB JE
af3.exploration JE AD
af3.exploration.smt JE SV
af3.refinement Modeling of abstract to concrete model refinements. VA FH
af3.safety Modeling of safety properties AD JE
af3.safetycases Specification of safety cases. CC FH
af3.specification Modeling of verification specifications. SK VA
af3.ocra OCRA-based verification. SK VA
af3.testing Base implementation of testing models and various generation methods. HP VN
af3.timing Modeling of temporal requirements and properties AD JE
af3.rcp.application AutoFOCUS 3 application. TC FH

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.