definitions concerning maturity levels More...
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 |
definitions concerning maturity levels
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.
static Property [] de.fraunhofer.isst.axbench.maturitychecker.MaturityDefinition.getLevelProperties | ( | Level | level | ) | [static] |
returns the list (as array) of properties associated with a maturity level
level | the maturity level |
final Property [] de.fraunhofer.isst.axbench.maturitychecker.MaturityDefinition.interfaceModelProperties [static, private] |
{ 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 }
final Property [] de.fraunhofer.isst.axbench.maturitychecker.MaturityDefinition.simulationModelProperties [static, private] |
{ 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, }