Seite 1Validas AG Model Projector Dr. Oscar Slotosch, Validas AG

Page 2Validas AG Content  Motivation  Tool: Model Projector  Examples  Summary

Page 3Validas AG Motivation  Content of a given model is often unclear (and needs time to explore): –Which elements are used? –Which relations are used? –Which attributes are used? –Which values of attributes are used?  Model-based tools are often only “partially tested” from the tool provider, i.e. for a subset of the possible models –Are the user models within this subset? –Which are the tested features in a test suite? –How can the tool provider inform the users on the tested subsets? –Which are the untested features?  Navigation in models (with textual search) is difficult, e.g. find an element “E” with attribute “A” and value “V1”  All kind of model-based tools have this problems: –Big models like AUTOSAR –Also smaller models, like TCA

Page 4Validas AG Content  Motivation  Tool: Model Projector  Examples  Summary

Page 5Validas AG Model Projector: Idea & Requirements  Provide a model statistic with used –Model elements –attributes & values –Relations  Defined exchange format  Allow to “project” one/many model(s)  Compare model projections and find uncovered –Model elements –Attribute & values –Relations  Allow to ignore some values (customizable)  Allow to define complex combinations  Implementation –Generic for all EMF models –Integration as plugin into any model-based tool

Page 6Validas AG Model Projector: Features  Model Projection View: Shows the projection results –Class Statistics: Statistics for every element with Class-Properties consisting of all –Attributes in the class –Relations from the class Every Property has a list of Values assigned with –occurring values –References to their occurrences –Property Statistics: Properties of all Classes (including values) –Value Statistics: Values of all Properties in the model  Further Features: –Compare with reference set Green: All projections contained in the reference set Red: All Projections NOT contained in the reference set Yellow (Pink): Some projections contained and some not –User Configurations (currently: read configuration files): Filtering: Define projections that shall not be listed/compared User Defined Properties: Define complex properties (like xpath) –Persistency: Save / Load / Add Reference Sets  Input changes on selection of elements (in any tool/browser)

Page 7Validas AG Example Projection Artifact 1: ExecutableArtifact 2: Test Report Artifact 3: Test Stimuli Projection:

Page 8Validas AG Installation  Model Projector consists of five plugins (contained in distributed plugins.zip) required: –Projector, –Projector.edit, –Projector.editor, –Projector.parser –de.validas.tca.util  Unzip plugins.zip  Copy jar files into tool directory –dropins or –Plugins or –Pluglets (in ARbuilder)  If not working: Extend config.ini (contained in configurations) by the five plugins  Installation verification: –Start your tool –Check if View can be opened or Projection menu is available

Page 9Validas AG 2.Choose Projection View Starting Model Projector 1.Open Projection View 3.Select EMF elements in your tool, e.g. in the browser 4.Use popup menus on selected elements

Page 10Validas AG Model Projection View  Shows the “Model Projection” of all selected (and contained) elements Class of (First) Projected element Fix current projection Label of projected element Projection Statistics: -Classes -Properties -Values User Configurations (Imported from Files) -User Defined Properties -Filters

Page 11Validas AG Class Statistics Class Statistics (Group) Grouped by Classes Sorted according to number of occurrences Class Property Group Property for Relations Model Projection for Related elements (only if in the selection) Projection for Attribute Values with references to elements Note: Projection stops at nesting level 2 (due to performance): no Projections for Relations of Relations Note: double click on references shows elements in the used tool Note: double click on references shows elements projector

Page 12Validas AG Property Statistics Values with references to elements Property Statistics (Group) Sorted according to number of occurrences Value Groups User Defined Properties (special icon)

Page 13Validas AG Value Statistics Value Statistics (Group) Sorted according to number of occurrences Values of User Defined Properties (special icon) Values with references to elements

Page 14Validas AG Differences  Process 1.Define reference by Set the current selection Add the current selection Load a (stored) reference 2.Select model elements for projection 3.Analyze the differences using colors Red: selected element (class, property and value) covered by reference Green: selected element (class, property and value) NOT covered by reference Yellow (pink): selected element (class, property and value) partly covered by reference  Reference can be saved  Properties (for comparison) can be filtered Uncovered Value

Page 15Validas AG Filtering  A filter consists of –Name –Class-Pattern –Property Pattern –Value Pattern  All values that match the pattern are removed from the statistics  Filters can be loaded as part of User Definitions  Several Files can be loaded / combined  Filters are displayed in the browser

Page 16Validas AG User Properties  A User Property consists of –A name –A path sequence describing the property. –The following path sequence operators are allowed: Class-Name: Determine the home of the property (if omitted the property is evaluated in all classes) /: directly contained elements /Type: contained elements of the type //: all contained elements (recursive) //Type: all contained elements of the type.: the (direct) container.Type the direct container of the type..: all containing containers..Type: all containers of the type =>Rel: All elements in the relation Rel ->Attr: the value of the attribute Attr –The result of a user defined property is a (empty) set of defined elements  User Defined Properties are listed in the browser  User Defined Properties and Values have a special (yellow) icon  Examples (text to be imported): Path Sequence Property Values There are some special attributes available: eInstanceClassSimpleName eInstanceClassName eInstancePackageName eReferencesName eReferencesSimpleName

Page 17Validas AG Complex User Terms  A User Term is a complex property. It consists of –Name: the name of the property –Class-Pattern: the class in which the property is defined (or.* for all classes) –A list of property terms separated by, –The following term operators are allowed in terms: Property-name: the name of the property in the class binary operators:, =,=,!= Logical operators: !,||,&&, Arithmetic operators +,-,*,/,%,&,| Strings operators: length(), startsWith(), endsWith(),substring(N), substring(N,M) Constant Values: true, false, int-numbers, float numbers –Use (brackets) to express priorities!  User Defined Terms are listed in the browser  User Defined Terms/Values have a special (yellow) icon  Examples (text to be imported): Description Check;.*;[Name.length()<(Description.length())*2] Function Application Property (Constant) Value

Page 18Validas AG Content  Motivation  Tool: Model Projector  Examples  Summary

Page 19Validas AG Example: ATF in ARBuilder 1.Installation: Copy plugins into pluglets 2.Start tool 3.Load ATF-Model 4.Open Projection-View 5.Open AUTOSAR-View (AB View is not based on EMF) 6.Select an AR-Package 7.Load “ProjectionDefs.txt”: 8.Select the relevant packages that contain (Ports, Interfaces and Types) 9.Pin projection 10.Browse the projection some filters: Ignore ShortNames 2;.*;gShortName;.*; also some properties: Rport data type;RPortPrototype=>requiredInterface=>dataElements=>type->shortName Pport data type;PPortPrototype=>providedInterface=>dataElements=>type->shortName

Page 20Validas AG Example View

Page 21Validas AG Content  Motivation  Tool: Model Projector  Examples  Summary

Page 22Validas AG Summary: Model Projection  Can be applied to every EMF  Model Projection provides a view with –Information on used models –Comparison with reference –Way to define/verify model sets/subsets –Way to exchange properties –adaptable  Does not provide –Relevant properties  Next steps –Collect feedback –Decide on publication & contribution

Seite 23Validas AG Arnulfstraße München Thank You!