Issue-Ref: 3891
Issue-Url: https://af3-developer.fortiss.org/issues/3891

Signed-off-by: Johannes Eder <eder@fortiss.org>

* org.fortiss.af3.component.generator.nusmv
* org.fortiss.af3.expression.generator.nusmv
* org.fortiss.af3.state.generator.nusmv

Issue-Ref: 3861
Issue-Url: https://af3-developer.fortiss.org/issues/3861

Signed-off-by: Simon Barner <barner@fortiss.org>

Tested: Simulation, single component copy, copying 2 components

Issue-Ref: 3820
Issue-Url: https://af3-developer.fortiss.org/issues/3820

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

Issue-Ref: 3820
Issue-Url: https://af3-developer.fortiss.org/issues/3820

Signed-off-by: Simon Barner <barner@fortiss.org>

Issue-Ref: 3816
Signed-off-by: Alexander Diewald <diewald@fortiss.org>

* ComponentArchitecture.setName() sets the name of the architecture
  and the top-level component to the same name
* When adding more than one component architecture to a file project,
  the ComponentArchitectureFileProjectCompositor now names the
  2nd, 3rd, ... architecture as "Component Architecture1", "Component
  Architecture2". This change ensures consisteny also with the 1st
  architecture.

Issue-Ref: 3816
Issue-Url: https://af3-developer.fortiss.org/issues/3816

Signed-off-by: Simon Barner <barner@fortiss.org>

Issue-Ref: 3713
Issue-Url: https://af3-developer.fortiss.org/issues/3713

Signed-off-by: Marco Volpe <volpe@fortiss.org>

* Add the specification to the MM.
* Add the corresp. factory method.
* Adjust the CA compositor to add the DD reference if such an element
  is present.
* Add a listener to react to added DataDictionaries.
* Add a migrator.

Issue-Ref: 3713
Issue-Url: https://af3-developer.fortiss.org/issues/3713

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

Issue-Ref: 3605
Issue-Url: https://af3-developer.fortiss.org/issues/3605

Signed-off-by: eder <eder@192.168.17.83>

* Needed to use them e.g. from migration providers
* Affected methods
** AllocationUtils::getOrCreateAllocationTable()
** ComponentArchitectureTransformationBase::transform()

Issue-Ref: 3337
Issue-Url: https://af3-developer.fortiss.org/issues/3337

Signed-off-by: Simon Barner <barner@fortiss.org>

* Default implementation uses atomic components (as before)

Issue-Ref: 3337
Issue-Url: https://af3-developer.fortiss.org/issues/3337

Signed-off-by: Simon Barner <barner@fortiss.org>

* Partially with smaller adapations

Issue-Ref: 3558
Issue-Url: https://af3-developer.fortiss.org/issues/3558

Signed-off-by: Simon Barner <barner@fortiss.org>

Issue-Ref: 3558
Signed-off-by: ponce <ponce@fortiss.org>

Issue-Ref: 3538
Signed-off-by: Alexander Diewald <diewald@fortiss.org>

Issue-Ref: 3523
Signed-off-by: Hernan Ponce de Leon <ponce@fortiss.org>

Filip Reaboi authored Sep 28, 2018 and Alexander Diewald committed Sep 28, 2018

YELLOW
Signed-off-by: Filip Reaboi <reaboi@fortiss.org>
Issue-Ref: 3523

GRENN
Signed-off-by: reaboi <reaboi@fortiss.org>

GREEN
Signed-off-by: reaboi <reaboi@fortiss.org>

Signed-off-by: Hernan Ponce de Leon <ponce@fortiss.org>

YELLOW
Signed-off-by: reaboi <reaboi@fortiss.org>

Issue-Ref: 3508
Signed-off-by: Sudeep Kanav <kanav@fortiss.org>

Issue-Ref:3501
Signed-off-by: Hernan Ponce de Leon <ponce@fortiss.org>

Signed-off-by: aziz <aziz@fortiss.org>

Issue-Ref:2808
Signed-off-by: ponce <ponce@pf0qxf5z.fortiss.fortiss.org>

*Simulating the FMUs together
 
Issue-Ref: 2802
Signed-off-by: aziz <aziz@fortiss.org>

Except exploration.ui that is totally RED.

Issue-Ref:3369
Signed-off-by: Alexander Diewald <diewald@fortiss.org>

f236526d



- UniqueIdUtils.fixMissingIds() no longer wraps model modification into
  a command.
- I.e., it can be safely called from
  ComponentArchitectureTransformationBase.transform() and be called
  from tests

Issue-Ref: 3369
Signed-off-by: Simon Barner <barner@fortiss.org>

* Since the tooling helpers used in the svn installation and the git
  version, a re-rating of all files was required (less work than fixing
  the tooling code that would be only used once).
* Updates the hashes of the classes in the .rating files.
* Removes empty .rating files from directories without ratable files.
Signed-off-by: Alexander Diewald <diewald@fortiss.org>

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

I revert the change that uses a local variable

ComponentArchitectureTransformationBase.transform() Ensure that in architectures derived from ComponentArchitectures, annotation are instantiated.

AnnotationUtils: Resurrect instantiateAnnotationsRecursive()
refs 3328

refs 3241

refs 3055

 - Base: af3.component[.ui]
   - IComponentArchitectureTransformation
   - ComponentArchitectureTransformationBase
   - ComponentArchitectureTransformationMenuBase
 - Specializations: af3.task[.ui]
   - ComponentToTaskArchitectureTransformation
   - TransformComponentToTaskArchitectureMenu
refs 3067

refs 3194

refs 3194