Category Archives: changelog

1.1 Alfa 1 Changelog

New Functionalities:

  • Supports for multiple predefined metamodels loaded at startup.
  • Supports a new algorithm for operations named MEDIC. This algorithm can be executed over graph models.
  • Supports Fragment-oriented programming.

Improvements:

  • Organization of menus and buttons removing the unneeded elements.
  • Project moved to gradle.

This version incorporates all the corrections performed over the version 1.0 Beta 20.

1.0 Beta 20 Changelog

New Functionality:

  • Operations support the computation analysis type to include results of two sub-operations in a quotient instead of the sequential execution.
  • Nine new verification operations for SAS model dynamically implemented.
  • Include natural language descriptions for semantic expressions. Option included to use the descriptions in multi verification operations.
  • Four of the existing verification operations migrated to dynamic implementation.
  • 22 new operations including some of Benavides et al. implemented. Currently not visible in the GUI.
  • Complete implementation of the translation model for verification and simulation operations.
  • The type of operation and suboperation (ie. normal, validation, defect, caucos or simulation). (error text and title for execution)
  • Support edition of variable assign to in/out subopers – save change.
  • Variables include two new types (i.e LowLevel expression and LowLevel variable). Those types support the definition of expressions using low-level predicates and float variables respectively. The predicates available at the solver level (not the clpfd library predicates). The predicates are added at the end of the CP file and show be written in the target solver syntax (i.e. SWIProlog). Variables must have a single value either as a result of an expression or directly assigned during configuration(input value).
  • Operations use LowLevel Variables, include the input value and returns output.
  • Operations use LowLevel Expression, literal expression passed to an operation.
  • New type of operation supported (i.e., computational analysis) to define operations with a quotient between two values obtained from the model.
  • Dynamically clear all the output attributes of all the operations before the execution.
  • Multi instance support for the operations of SAS models.

Improvements:

  •  Edition of attributes for concepts and relations improved. The sub-attributes load in an independent dialog.
  • Instance and Semantic expressions dialog improved to differentiate operands and operators at different leves. Different colors for the left and right sides of the expressions in the editor.
  • The semantic meta-model differentiates  the pairwise types and the over-two types to better define the meta-expressions for each type of relation.
  • The translation model supports the definition of String Variables without domain.
  • HLCL supports comparison of expressions using its components (operators, expressions, values, etc) to identify if two expressions are equivalent (i.e., no longer use the java reference comparison).
  • Additional paramenter for CauCos supports incomplete verifications. It is possible to obtain up to a number of defects to avoid the high cost of combinations of several solutions (INCOMPLETE_FAST, INCOMPLETE_MED, INCOMPLETE_SLOW).
  • Auto-organization of syntax and semantic meta-models working with the new mxgraph library.
  • New attributes for operations, sub-operations included to configure the types of operation (iie., verification, validation, export, computational analysis) and suboperation (i.e., the five algorithms supported and the selection of the methods for the DefectsVerifier).
  • Update the names of the Syntax MM (SyM), the Semantic MM (SeM) and the Operation MM (OpM) elements.
  • Update the colors of background for the perspectives.
  • Increase the space of elements in the palettes for better readability.
  • New algorithms to count solutions and export solutions.

Errors corrected:

  •  Iteration over individual relaxable expressions working correctly for the multi verification algorithm.
  • Correctly display of properties in OSX for all the perspectives.
  • Hide of views not marked as visible.
  • Concepts extending the variable concept works correctly as another type of variable.
  • Correct load of syntax meta-model.
  • Delete meta-attributes from syntax meta-model.
  • Range expression with lowRange=0 working.
  • Fix states on design perspective for executed models (gridstix v2).
  • FIX problem integer variables after execution.
  • FIX display of REL, VER exptypes for subopers on OMM – default model (view if changes appear in the execution).
  • FIX range relations: the HighValue was not correctly assigned.
  • FIX state of concepts when change from simul to design.
  • Restrict the addition of the labeling to CP according to the property includeLabel.
  • Add the user variables to the label chosen from !includeLabel Labels.
  • Obtain the values from the execution for LowLevel variables.
  • FIX the excludes relation in static operations.
  • FIX different errors on static and dynamic operations. The expressions for operations were optimized.

1.0 Beta 19 Changelog

New functionality:

  • Show variables of operationalizations on graph – new configuration to select the field of a sub-attribute to show.
  • Use new editable/visible/condition to display attributes on the property tabs. This allows to modify the visibility on the meta-models graphically.
  • Use new visible/condition for panel display of attributes.
  • Keyboard copy/paste of concepts without relations working. Creates clones with different identifier.
  • Support to correctly modify source/target of a relation updating the datamodel behind.
  • Files that support the concrete syntax (i.e. Shapes and styles XML files) are copied outside jar on VariaMos start. This allows the user to modify the shapes for execution of VariaMos without modifying the jar or source code. This will work with the shapes editor currently in development.
  • The HLCL classes now support negative integers. The domain definition now uses “..” instead of “-” for ranges.
  • VariaMos now uses only the list of relations model editable. Old relations written on code removed.
  • When the creation of a new Operations Meta-Model is started (i.e. pressing the new button on editor), VariaMos automatically creates non-modifiable meta-elements .
  • Now is blocked the deletion/edit of non-modifiable meta-model elements in the Operations MM.
  • New dynamic operation for simulation working with limitations: not all types of expression supported, java execution requires optimization.
  • The dynamic operations support includes iteration over solutions with model and dashboard updates.
  • The dynamic operations support executes all the sub operations for an operation.

Improvements:

  • Organize the types of relations for SAS models. Define MeansEnds as type and mandatory/optional as subypes.
  • Change names for OM elements consistent with new documentation.
  • Complete missing expressions for range relation type in Over Two associations.
  • Reload shapes and styles when the SAS model perspective is reloaded. This functionality allows the modification of shapes without restarting VariaMos.
  • The version id (e.j. 1.0.1.19) of VariaMos in use is written on each SAS model file (.vmum). This id allows future verification and manage of incompatibilities between new versions of VariaMos.
  • Several Inst*, Met* and Semantic* classes can be defined with a single class. All additional clases where unneeded and removed. The three support models (i.e. expression support, syntax meta-model support and operations meta-model support) were simplified to a single one (i.e. com.variamos.dynsup.model).
  • Include in/out variables for sub operations instead of operations. Each sub-operation may have different variables, the output of one can be the input of the next one.
  • Remove old operation dialog no longer needed.
  • Use labelings and pass them to the solver. Support for multiple labelings needed in the solver.
  • Include model concept expressions by default.
  • Notify when an instance expression (of claims and soft dependencies) is incomplete in the editor (on accept/cancel buttons)
  • Use the graphical relation for labelings association instead of old attribute (attributes are not visually supported).
  • Change extension for User-model (i.e. vmum),  operations meta-model (i.e. vmom) and synatx meta-model (i.e. vmsm)
  • Labeling and subOperation attributes now use the element identifier (i.e. “elementID”_”attributeID”) to better identification. Different elements may have the same attribute identifier with different semantics.
  • Clearly separate operations non-modifiable MM and modifiable MM. Visually different and two different methods defined.
  • Now a relation defines the extension of Operation Meta-Elements instead of an attribute. This supports the visual edition of extension.
  • The notification of solver error is more explicit.
  • Labeling and SubOper types have an additional list to edit special attributes (sort order for labelings and expression types for subOpers).
  • Include the required level for soft goals.
  • Include stereotypes in operations meta model and syntax meta model.
  • Prohibited attribute included to exclude concepts at design time.
  • JgraphX update to 3.5.1.2.
  • Hints included for attributes.
  • Models file size reduced with refactor of packages, classes and attributes.
  • New representation of states replaced the semaphore like representation.

Errors corrected:

  • Hide not needed aggregation values on relations (such as SG)
  • Creation of new relation types fixed.
  • Old collection attributes in Operations and SubOpers were removed. The visual relation is used instead.
  • Fixed error on verification operation for features when no features are used (root and parent).
  • Fix simulation error: remove CompExp when the expression is null, not removed for invalid expressions, only null.
  • Fix Any type of out/in concept/rel for iterative expressions. The combo was not working properly.
  • Show extended attributes on mm expression editor. Only declared attributes were shown.
  • Include de OMMRelation in the Basic MMM.
  • Update the name of the fixed Opers MM elements
  • Error to visualize elements with uneven parameters in execution states.

1.0 Beta 18 Changelog

New functionality:

  •  Include semantic expression’s names on editor.
  • Properly save semantic model – Include Semantic Expressions
  • Property edition with ranges in group relations fixed.
  • Create/edit operations, sub-opers, operation groups and types using graph GUI association.
  • Semantic elements created according to the concept in the semantic perspective. In the same way it was working for the syntax meta model.
  • Many of the expressions required for simulation and other operations created in the semantic model.
  • Simulation partially working with the new dynamic menu. The expressions are partially generated from the selected expressions for the operation.
  • Dynamic menus displayed on requirements model and simulation perspectives according to the semantic definition (auto refresh needed when the semantic model is modified).
  • In/Out variables used/returned from operation’s calls. Tested on the simulation operation.
  • String domains supported using hashcode from String class.
  • Definition of operations/suboperations concepts. All the concepts created and associated on semantic model.

Improvements:

  • Updated to swiprolog 7.2.3 with the new JPL library
  • Semantic model correctly saved/loaded including semantic expressions, operations groups, operation actions and sub operation actions.

Errors corrected:

  •  Fatal exception on  thead solver calls eliminated since the update to Swiprolog 7.2.3

1.0 Beta 17 Changelog

New functionality:

  • New Dialogs to define the association of expression to operations, to labelings and define input and output values/update.
  • Initial implementation of the translation of SemanticExpressions to HLCL expressions for operations (without labeling and I/O considerations).

Errors corrected:

  • Default subtypes for pairwise relations not correctly updated. The expressions remaind outdated if the subtype was not changed in the UI.
  • Syntax attributes serialization and load fixed for the Metamodel. Method names/types corrected/added to match the attribute names and types on MetaElement and AttributeElement.

1.0 Beta 16 Changelog

New functionality:

  • Definition of Semantic Expressions for Semantic Element with iteration representation support (no translation supported at the moment).
  • Definition of most Semantic Expression for REFAS language
    Relation types supported within the semantic concepts (only visually, not used in the model at the moment).
  • Expression for Soft Goa’s contributions included.

Improvements:

  • Variables with many enumeration items splitted in multiple lines

Errors corrected:

  • Properly load the metamodel from a file – missing attributes included.
  • Duplicated fields in soft goals removed.
  • Attributes defined in the meta-model are visible on the model.
    Concepts correctly created for additional views.

1.0 Beta 15 Changelog

Improvements:

  • Put the dummy element to add enumeration types first on the attribute list.
  • Allow increase the property tab size when the window is small.
  • Increase the default screen size.

Errors corrected:

  • Correct the display of asset and concern level names.
  • Hide extends relations for PWAsso relation types on model.
  • Increase the space for the enumeration types on MetaEnumetaions.
  • Correct the relation between soft goals with over two relations.
  • Correct SG to SG relation – double name display.
  • Correct SD: condition was not shown.
  • Correct Claim: extra space on condition removed.
  • Parent verification fixed for over two relations on feature models.
  • Define relation by default on type change to avoid null types.

1.0 Beta 13 changelog

The concepts names are no longer displayed on the graph for concepts. The User Identifier is displayed instead. For models created on version 1.0.1.12 and older, the user should click once on each concept to copy the name to the user identifier

New functionality:

  • Metamodel concepts: Associate and view semantic concepts.
  • Simulation now includes features and assets.
  • It is possible to associate type of relations to pairwise and over two associations.
  • The type of relations with attributes are displayed.
  • Support for multiple palettes on each view (ex. palette for goals and palette for features concepts).
  • The modeling perspective is automatically updated with changes on the meta model perspective.
  • The views tabs are dynamic display in the modeling perspective
  • Is possible to define: edit visible, editable, panel and panel edition for concepts in the metamodel and semantic model.
  • Use extension relation for attribute extension are fully supported.

    Improvements:

  • Only one simulation dialog created when the menu is activated.
  • Pairwise association are concepts in semantic perspective and have their appropriate relations.
  • Stereotypes properties include tags (UML like) for values in metamodel perspective.
  • The concrete syntax for over two and pairwise relations on meta model perspective is visible and editable.
  • Better semantic concept names (updated)
  • The Extension relation are applied for relation validation
  • Old parent attributes for syntax metamodel and other not required attributes and methods were removed.
  • The palettes names are shown in view.
  • Is possible to auto-set type of element and the type of instance on creation according to the basic syntax for each perspective (Concept, OverTwo, View, PairwiseRelation)
  • Define auto-identifier and user-identifier to allow better names on the metamodel. User-Identifiers from the metamodel generates the auto-identifiers on the model perspective.

    Errors corrected:

  • Problem to display more than 11-12 attributes solved.
  • Metamodel load supported, pending to solve a problem with extended fields in the modeling perspective.
  • The metamodel concepts are automatically updated on model.
  • Show semantic concepts according to the type (C,O,V,P).
  • Include extension for old relations (Support Top Goal, General Soft Goal, etc).

1.0 Beta 12 Changelog

New functionality:

  • Support metamodel edition with changes on the model.
  • Attribute to specify variables defined by the Context (Boolean).
  • Include claim confidence level (5 levels).
  • Include the attribute ignore concept.

Improvements:

  • Crash with solved drastically reduced (calls to solver synchronized). The crash is no longer reproducible in a high demanding (solver-calls) scenario.

Errors corrected:

  • Solve the problem to display concepts attributes for syntax and semantic (workaround with reduced number of attributes).

1.0 Beta 11 Changelog

New functionality:

  • The model uses the new relations using concepts for direct relations from the metamodel (simulation works).
  • Old direct relations for views, extension and association removed.
  • Addition of a button to delete expression.
  • Group relations for features completed.

Improvements:

  • About VariaMos Dialog updated. Includes links to – java libraries and icons

Errors corrected:

  • Clear dead and core features when clear configuration errors.
    The Over Two relations problem en v 1.1.0.10 was corrected.

1.0 Beta 10 Changelog

New functionality:

  • MetaModel modified to include MetaPairwiseRelations as concepts (future use in the modelling).
  • MetaModel save/load supported (for visual presentation, not complete support for modelling).
  • Support for Concern Levels in different concepts (For modelling only)
  • Support for aggregation of concerns (For modelling only).

Improvements:

  • Dashboard presentation improved
  • Configuration export with names
  • Old concepts hidden from palettes (TopGoal, GeneralGoal, GeneralSG, etc)

Some relations must be deleted and created again:

  • From concepts to over two associations (circles)
  • Some side relations (require, conflict), in the case they do not display the properties.

1.0 Beta 9 Changelog

New functionality:

  • Recover lost concepts (experimental), only working on reasoning model. Use right click and clone option.

Improvements:

  • Save time reduced 15%.
  • Save operation maintains previous tab.
  • Not required relation names removed.
  • Execution/Simulation (MAPE-K functionality) improved with more options.

Errors corrected:

  • “require” relation working well for simulations. Please replace required for require in old models.
  • Error on the conditional expression editor.  Correct use of names of variables.

1.0 Beta 8 Changelog

New functionality:

  • Initial implementation of MAPE-K with iteration and file sharing  between applications supported.

Improvements:

  • Include leaf features in Reasoning Model.
  • SQ Satisficing model renamed to Reasoning Model.
  • Goals and Variability Model renamed to Variability Model.

Errors corrected:

  • Fixed: Notification if no solution is found in the simulation. Finish the task.
  • Fixed: Instance expression functionality recovered for identifiers.
  • Fixed: Required label changed for require.
  • Fixed: instance variable editor for names not saving changes.

1.0 Beta 7 Changelog

New functionality:

  • Names of variables shown on instance expression editor

Improvements:

  • Display instance expressions on simulation perspective with edition disabled.
  • Variables on dashboard displayed on two columns.

Errors corrected:

  • Partially Fixed: Frequent application crash on Solver execution mitigated (not completely solved).
  • Fixed: Empty domains for variables generates error on simulation
    Fixed Dashboard change of variables not marked blue

1.0 Beta 6 Changelog

New functionality:

  • Restricted domain for variables in configuration initially supported (without validation from the original domain) – for empty domain applies the original domain.
  • Export configurations to XLS – All solutions for the current configuration, partial export supported by cancelling the process.
  • Allow selection of elements to export to XLS:

Improvements:

  • Menus include nemonics and accelerators for actions using keyboard.
  • Core calculation, Verification and configuration process cancellation allowed.
  • Cancellation of process allowed, for all actions.

Errors corrected:

  • Fixed: Backup files do not include the day in the name.
  • Fixed: Models save/load progress not shown.

1.0 Beta 5 Changelog

New functionality:

  • Save a backup file after each save of the model with the date and time in the same folder.
  • Check and notify of tool updates on application start.

Improvements:

  • Remove the white background from relation labels.
  • Update the width of concept text according to the element width after text edition.

Errors corrected:

  • Fixed: Error on load concepts restricted to the specific concept without blocking the model.
  • Fixed: Error after saving a model. Cloned elements without an original element created.
  • Fixed: Use names on meta enumerations instead of identifiers to look for enumerations.

1.0 Beta 4 Changelog

New functionality:

  • Enumeration value delete allowed.
  • Initial About VariaMos Dialog implementation.
  • Composed domain supported for variables (Intervals and Range combined).

Improvements:

  • Enumeration values are sorted according to the Id.
  • Enumeration value id must be a valid positive integer.
  • Enumeration display labels changed.
  • Automatically select sub-expression on combo change on instance expression editor.
  • Simulation returns first solutions with all soft goals satisfied.

Errors corrected:

  • Fixed: Error on dashboard when next button is pressed before simulation executed. Button executes first call instead.
  • Fixed: Same value assigned for left and right (when both numbers).
  • Fixed: Relations not deleted from the same concept in other views (clones).
  • Fixed: Relations not deleted from the model on cloned concepts.
  • Fixed: Relations loses its displayed properties after save model.
  • Fixed: Mutex relations with one concept related do not execute.

1.0 Beta 3 Changelog

New functionality:

  • Support to run without solver initial verification (“nosolver” argument).
  • Instructions for configuration on Win32 and Ubuntu included.
  • Split verification and core calculation (additional button on gui).

Improvements:

  • Disable button actions for double solver calls (multiple clicks).
  • Modify interfaces to support time report and advance report (interactive process bars).
  • If dashboard is closed, it remains closed until activated from the menu.
  • Reset zoom combo to 100% after loading a new model.
  • Core and Verification speed improved (Expressions simplified).

1.0 Beta 2 Changelog

Improvements:

  • Future configuration and configuration properties moved to the advanced view.
  • Allow to move the property tab freely and better layout.
  • Dashboard displays enumeration values with names.

Errors corrected:

  • Fixed: Creation of new Enumeration over a saved model with initial enumerations.
  • Fixed: Enumeration attribute of a variable is always lost when the variable is selected again.
  • Fixed: Many (not related) elements configured after use  clean configuration button .
  • Fixed: Many element marked as configured without need.
  • Fixed: Hide dashboard when change to design perspective.
  • Fixed: Problem with save as, not clearly defined with a new name.
  • Fixed: Models with Enumeration blocks simulation execution with a domain problem.
  • Fixed: Enums values not shown correctly on dashboard.
  • Fixed: Application title lost after perspective change.
  • Fixed: dashboard weird display for impair number of SD.