FW Profile Software and Tools

This page gives some basic information on the data items, software, and tools distributed with the FW Profile.

Eclipse and Topcased

The FW Profile tool set is distributed as a set of Eclipse plug-ins. As such it can be used in variety of modeling environments including Eclipse UML2 Editor and Topcased. The FW Profile user manual is elsewhere.

The tool set contains the following Eclipse plug-ins

  • FW Profile UML2 Model -- plug-in that contains the FW Profile definition file and its pathmap
  • FW Profile Validator -- UML2 model checker that validates FW Profile constraints
  • OO Constraints Validator -- UML2 model checker that validates some object-oriented constructs
  • FW Profile Design Documentation Generator
  • Cordet Data Handling and Control Framework Demonstrator

Note that use of the FW Profile requires familiarity with the content of the ASSERT technical note D4.2.2-1 document. Note also that installation information is provided separately in the download section.

Using FW Profile

Section User Manual contains complete instructions on how to use the FW Profile UML2 model and FW Profile Validator plug-ins.

Using OO Constraints Validator

OO Constraints Validator is an Eclipse plug-in that performs some checks on the model that are not implemented in the standard UML2Validator implementation distributed with org.eclipse.uml2 plug-in. The Validator is used along with the FW Profile Validator as described in user manual. The only difference is that the error messages a reported via the Problems view with [OO] prefix instead of [FW Profile] prefix.

Using FW Profile Design Documentation Generator

Models that conform with the FW Profile may contain model documentation. There is a documentation generator that read the documentation from the UML2 model and generates set of HTML pages. This tool is described in a dedicated section.

Using Cordet Data Handling and Control Framework Demonstrator

The capabilities of the FW Profile is demonstrated on the model of Cordet Data Handling and Control Frameworks. This model contains design of two subsystems of Cordet Generic Architecture: Data Handling and Control Product Families.

The documents needed to fully understand the Demonstrator model can be obtained from the download section of the Cordet website. The essential documents are:

  1. CORDET Frameworks Domain Analysis
  2. CORDET Frameworks Domain Design

There is also design documentation which has been extracted from the Demostrator model using the FW Profile Documentation Generator tool.