Public Types | Static Public Member Functions | Static Private Attributes

de.fraunhofer.isst.axbench.maturitychecker.MaturityDefinition Class Reference

definitions concerning maturity levels More...

List of all members.

Public Types

enum  Level { INTERFACE_MODEL = ("Level 1: Application Interface Model"), SIMULATION_MODEL = ("Level 2: Application Simulation Model"), DEPLOYED_MODEL = ("Level 3: Deployment Model"), AUTOSAR_MODEL = ("Level 4: AUTOSAR Model") }
 

enumeration of the maturity levels defined for aXLang-models

More...
enum  Property {
  APPLICATION_MODEL_EMTPY = ("empty application models"), COMPONENT_NOT_USED = ("components that are never instantiated"), COMPONENT_WITHOUT_FUNCTION = ("components that have no function"), DATAELEMENT_NOT_USED = ("data elements that are never used at a port"), F2AMAPPING_FEATURE_NOT_VARIANT = ("features that are not variant but mapped to application model elements"),
  F2AMAPPING_APPLICATIONMODELELEMENT_NOT_VARIANT = ("application model elements that are not variant but linked to features"), OPERATION_INPUT_NOT_REQUIRED = ("components whith internal input port instances with at least one operation that is not required"), OPERATION_OUTPUT_NOT_PROVIDED = ("components whith internal output port instances with at least one operation that is not provided"), PORT_WITHOUT_DATALEMENTS = ("ports with empty interface"), PORT_INPUT_DATAELEMENT_NOT_READ = ("input ports with at least one data element that is never read"),
  PORT_OUTPUT_DATAELEMENT_NOT_WRITTEN = ("output ports with at least one data element that is never written"), SERVICE_DECOMPOSITION_ADDITIONAL_OUTPUT = ("services whose decomposition provides more output than declared by the service"), SERVICE_DECOMPOSITION_MISSING_OUTPUT = ("services whose decomposition provides less output than declared by the service"), SERVICE_INPUT_NOT_DECOMPOSED = ("services of a composed component whose input is not decomposed"), SERVICE_NOT_DECOMPOSED = ("services of a composed component that are not decomposed"),
  SERVICE_OUTPUT_NOT_DECOMPOSED = ("services of a composed component whose output is not decomposed"), SERVICE_WITHOUT_BEHAVIOR = ("services without behavior description"), SERVICE_WITHOUT_EXECUTE = ("services without executable behavior description"), SERVICE_WITHOUT_WRITEACCESS = ("services without write access to a port or a variable"), SERVICE_WITHOUT_TRIGGER = ("services without trigger"),
  SIGNAL_INPUT_NOT_PROVIDED = ("components whith internal input port instances with at least one signal that is not provided"), SIGNAL_OUTPUT_NOT_REQUIRED = ("components whith internal output port instances with at least one signal that is not required"), STORAGE_NEVER_READ = ("storages that are never read"), STORAGE_NEVER_WRITTEN = ("storages that are never written"), VARIANT_APPLICATIONMODELELEMENT_NOT_BOUND = ("variant application model elements that are not bound by a feature"),
  VARIANT_FEATURE_NOT_MAPPED = ("variant features that are not mapped to application model elements")
}
 

enumeration of the list of bad properties

More...

Static Public Member Functions

static Property[] getLevelProperties (Level level)
 returns the list (as array) of properties associated with a maturity level

Static Private Attributes

static final Property[] interfaceModelProperties
static final Property[] simulationModelProperties

Detailed Description

definitions concerning maturity levels

Author:
mgrosse
Version:
0.9.0
Since:
0.9.0

Member Enumeration Documentation

enumeration of the maturity levels defined for aXLang-models

Enumerator:
INTERFACE_MODEL 
SIMULATION_MODEL 
DEPLOYED_MODEL 
AUTOSAR_MODEL 

enumeration of the list of bad properties

A 'bad property' is a property that an element or a group of elements may have that hinder the model from reaching a specific maturity level. Vice versa, a model reaches a maturity level as soon as there are no elements that have the bad properties associated with this level.

Enumerator:
APPLICATION_MODEL_EMTPY 
COMPONENT_NOT_USED 
COMPONENT_WITHOUT_FUNCTION 
DATAELEMENT_NOT_USED 
F2AMAPPING_FEATURE_NOT_VARIANT 
F2AMAPPING_APPLICATIONMODELELEMENT_NOT_VARIANT 
OPERATION_INPUT_NOT_REQUIRED 
OPERATION_OUTPUT_NOT_PROVIDED 
PORT_WITHOUT_DATALEMENTS 
PORT_INPUT_DATAELEMENT_NOT_READ 
PORT_OUTPUT_DATAELEMENT_NOT_WRITTEN 
SERVICE_DECOMPOSITION_ADDITIONAL_OUTPUT 
SERVICE_DECOMPOSITION_MISSING_OUTPUT 
SERVICE_INPUT_NOT_DECOMPOSED 
SERVICE_NOT_DECOMPOSED 
SERVICE_OUTPUT_NOT_DECOMPOSED 
SERVICE_WITHOUT_BEHAVIOR 
SERVICE_WITHOUT_EXECUTE 
SERVICE_WITHOUT_WRITEACCESS 
SERVICE_WITHOUT_TRIGGER 
SIGNAL_INPUT_NOT_PROVIDED 
SIGNAL_OUTPUT_NOT_REQUIRED 
STORAGE_NEVER_READ 
STORAGE_NEVER_WRITTEN 
VARIANT_APPLICATIONMODELELEMENT_NOT_BOUND 
VARIANT_FEATURE_NOT_MAPPED 

Member Function Documentation

static Property [] de.fraunhofer.isst.axbench.maturitychecker.MaturityDefinition.getLevelProperties ( Level  level  )  [static]

returns the list (as array) of properties associated with a maturity level

Parameters:
level the maturity level
Returns:
the list of properties associated with the level

Member Data Documentation

Initial value:
 {
                
                Property.APPLICATION_MODEL_EMTPY,
                
                Property.COMPONENT_NOT_USED,
                Property.COMPONENT_WITHOUT_FUNCTION,
                
                Property.DATAELEMENT_NOT_USED,
                
                Property.SERVICE_WITHOUT_TRIGGER,
                Property.SERVICE_WITHOUT_WRITEACCESS,
                Property.SERVICE_WITHOUT_BEHAVIOR,
                
                Property.STORAGE_NEVER_READ,
                Property.STORAGE_NEVER_WRITTEN,
                
                Property.PORT_WITHOUT_DATALEMENTS,
                Property.PORT_INPUT_DATAELEMENT_NOT_READ,
                Property.PORT_OUTPUT_DATAELEMENT_NOT_WRITTEN,
                
                Property.F2AMAPPING_FEATURE_NOT_VARIANT,
                Property.F2AMAPPING_APPLICATIONMODELELEMENT_NOT_VARIANT,
                Property.VARIANT_FEATURE_NOT_MAPPED,
                Property.VARIANT_APPLICATIONMODELELEMENT_NOT_BOUND
                
        }
Initial value:
 {
                                
                Property.SERVICE_NOT_DECOMPOSED,
                Property.SERVICE_INPUT_NOT_DECOMPOSED,
                Property.SERVICE_OUTPUT_NOT_DECOMPOSED,
                Property.SERVICE_DECOMPOSITION_MISSING_OUTPUT,
                Property.SERVICE_DECOMPOSITION_ADDITIONAL_OUTPUT,
                
                Property.SIGNAL_INPUT_NOT_PROVIDED,
                Property.OPERATION_OUTPUT_NOT_PROVIDED,
                Property.SIGNAL_OUTPUT_NOT_REQUIRED,
                Property.OPERATION_INPUT_NOT_REQUIRED,
                
        }