{"push_id":1476125044,"size":1,"distinct_size":1,"ref":"refs/heads/development","head":"acf562d7e1069ff1595284816325711ec2dbe911","before":"cd6edc764eb20eb9a99d3392994aebab59b06c46","commits":[{"sha":"acf562d7e1069ff1595284816325711ec2dbe911","author":{"name":"jcmunozf","email":"b23dd82631f6551d7aecfa5023675e69723343ef@users.noreply.github.com"},"message":"Development (#199)\n\n* FIX: not needed notification on model load/perspective change\r\nFIX: Expressions for OTRel of soft goals\r\n\r\n* FIX: Configuration operation working with new attributes.\r\n\r\n* FIX: Define all soft goals related attributes with the same domain\r\n(0..4)\r\n\r\n* FIX: Order corrected for new simulation\r\nFIX: Broken models avoided when a clone is lost and the clonned element\r\nhas relations. The element must be deleted and the relations created\r\nagain, but the model is not broken.\r\n\r\n* FIX: constructor for RIGHTCONCEPTVARIABLE with correct semantic concept\r\nFIX: RIGHTVARIABLE replaced by RIGHTCONCEPTVARIABLE for refas opers meta\r\nmodel\r\nFIX: expressions for soft goals old implementation fixed. New\r\nimplementation still incomplete\r\n\r\n* FIX: sg to sg otrel working for dynamic operations (not optimal, not\r\nsuitable for MUTEX or RANGE): works for AND and OR\r\n\r\n* FIX: use of OTRel and PWRel types visually defined. DisplayName and\r\nPanel name not working.\r\n\r\n* NEWFUN: Include tooltip for attribute's labels\r\n\r\n* FIX: some tooltips included\r\n\r\n* FIX: Required Level working for sg in static simulation. Included in\r\ndomain values for ClaimExpLevel\r\n\r\n* FIX: duplicated relation type removed\r\n\r\n* IMP: Many errors displayed on message area tab.\r\nFIX: simulation for scenarios working without sorting expressions.\r\n\r\n* FIXES: dynamic opers\r\n\r\n* FIX: dynamic simulation working without label order\r\n\r\n* FIX: laber order working for basic dynamic simulation\r\n\r\n* FIX\r\n\r\n* FIX: edition of syntax meta model elements\r\n\r\n* FIX: pairwise relation for claim to sg fixed for old operations.\r\nMissing class from old implementation\r\n\r\n* FIX: domain for enum variables in static simulation\r\nIMP: hints for attributes\r\nDOC: future method to abort solver execution\r\n\r\n* FIX: missing class\r\n\r\n* IMP: Old relation objects for relation types and methods removed\r\n\r\n* FIX: relations types display using with DispValue visually defined\r\n\r\n* fix: Duplicated condition for dynamic relations types removed.\r\n\r\n* IMP: All Syntax classes reduced to SyntaxElement\r\nNEWFUN: float domain partially supported.\r\n\r\n* IMP: Operation classes for the model reduced to OpersConcept class. Not\r\nneeded classes removed.\r\n\r\n* IMP: Additional attributes to support custom filtered domains\r\n\r\n* FIX: Dynamic opers using temporal filters for domains.\r\n\r\n* FIX:regex for float changed\r\n\r\n* FIX: monitoring frezze when the configuration is the same\r\n\r\n* FIX: reltaion types for some relations\r\nFIX: mape working for same fconfiguration\r\n\r\n* IMP: Dynamic basic expression working with static domain filtering for\r\nvariables and soft goals\r\n\r\n* NEWFUN: Dynamic operations using dynamic filters for soft goals and\r\nvariables\r\n\r\n* FIX: Nofitication of no solution for dynamic opers fixed.\r\n\r\n* IMP:Dialog sized\r\n\r\n* FIX: default workspace JRE.\r\nFIX: jpl723 updated\r\n\r\n* FIX: direct relations types not holding value\r\n\r\n* IMP: Visualization of operations groups, operations, sub operations,etc.\r\n\r\n* IMP: filter operations elements from the panel\r\n\r\n* IMP: Domain Range changed from - to .. to support negative domains\r\n\r\n* FIX: notification of v19 changes shown when using java8.\r\n\r\n* IMP: change label of semantic expressions to meta-model-expressions\r\n\r\n* IMP: variamos version included in the model file. This allows future\r\nverifications and manage of incompatibilities between versions.\r\nNWEFUN: Shapes and styles XML files copied outside jar. This allows the\r\nuser to modify the shapes for next execution of VariaMos.\r\n\r\n* IMP: Visually support low level solver types for variables\r\n\r\n* IMP: styles and shapes reloaded when changing to modeling perspective\r\n\r\n* FIX: Allow edges to take the default type from the list when created\r\n\r\n* NEWFUN: Include the spaces to implement convesion functions of files and\r\nmodels before using them when old versions include incompatible\r\nelements.\r\n\r\n* IMP: Modification of relations arrows allowed (deleting not needed)\r\n\r\n* FIX: correctly display relation type after change of source or target\r\nconcepts in a relation\r\n\r\n* FIX: Attributes extended from other concepts shown in MM expression\r\ndialog\r\n\r\n* FIX: Accept string domains\r\n\r\n* FIX: Partial support for iterative relations, only one type missing\r\n\r\n* FIX: load old models without versionnumber (last commit).\r\n\r\n* FIX: range meta-expressions completed for all concepts and working\r\n(editor not working)\r\n\r\n* FIX: Edition of iterative meta-expressions working\r\n\r\n* FIX: edition of iterative meta-expression  fixed\r\n\r\n* FIX: meta-expressions added on relation types when created in editor for\r\nexisting relations.\r\n\r\n* IMP: Complete new visibility and conditions for REFAS concepts and\r\nrelation\r\n\r\n* NEWFUN: Text of Syntax Elements obtain from GUI editable attributes.\r\nUpdated for all concepts and relations\r\n\r\n* FIX: erors after change of display functionality for concepts and\r\nrelations\r\n\r\n* compilation 20160825-1500\r\n\r\n* NEWFUN: Operations Model uses the dynamic definition of display elements\r\non graph\r\n\r\n* DIAG: New diagrams for the simplified model and operations support\r\n\r\n* REM: Classes not needed\r\n\r\n* IMP: representation of elements, use of new graph visibility,\r\nstereotypes included.\r\n\r\n* DIA: perspectives diagram updated, translation included\r\n\r\n* NEWFUN: copy paste of concepts supported. move and paste not supported.\r\n\r\n* build update\r\n\r\n* FIX: Execution panel with uneven attributes working well\r\n\r\n* FIX: Variables of operationalizations working\r\n\r\n* FIX: ConcernLevels shown in other concepts\r\n\r\n* IMP: min and max number of instances defined.\r\n\r\n* FIX: OMM types displayed correctly for all syntax elements.\r\n\r\n* IMP: old spacers and panel display methods deprecated\r\n\r\n* FIX: stereotypes and other attributes not shown on SMM.\r\n\r\n* NEWFUN: Visibility and Editabitity properties of OMM and SMM updated for\r\nthe new schema\r\n\r\n* IMP: Standard names for opers and syntax\r\n\r\n* FIX: Relations not working on model\r\n\r\n* FIX: Aggregarion corrected for soft goals\r\n\r\n* NEWFUN: Model uses editable and visible attributes defined in the\r\nmetamodels for properties display\r\n\r\n* NEWFUN: Display the operationalization's attributes\r\n\r\n* IMP: Relations changed for REFAS concepts\r\n\r\n* FIX: syntax and operations infrastructure meta-meta-models fixed to\r\ndisplay correctly stereotypes and names using the new parameter\r\n\r\n* FIX: leaf feature\r\n\r\n* V19\r\n\r\n* FIX: Instace expressions attributes not shown.\r\nFIX: Domains for variables not correcty defined.\r\nFIX: Definition of complex condicions changed\r\nFIX: MetaModel types not shown on new schema of visualization\r\n\r\n* IMP: Notify incompatibility of old models\r\n\r\n* Build 1.0.1.19\r\n\r\n* FIX: update state after change from simulation to design.\r\nIMP: include other type of constructor for static expressions equals.\r\nIMP: hint to remember update the core.\r\n\r\n* NEWFUN: low expressions included - not completed\r\n\r\n* FIX: condition text for SD\r\nFIX: opertoclaim relation text\r\n\r\n* FIX: multiline for concepts working better\r\n\r\n* FIX: first relation of a concept broken after creation of others.\r\n\r\n* V19 rv2\r\n\r\n* FIX: independent verification of solver, updates and debug modes\r\n\r\n* FIXES: display of opers and syntax concepts\r\nIMP: support low expressions partially\r\n\r\n* OPT: small improvements on the code\r\n\r\n* NEWFUN: Low level expression working with variables for dynamic\r\noperations\r\nNEWFUN: Low level variables as input/outpur for low level expressions\r\ndefined but not implemented for operations (todo).\r\n\r\n* FOR: Code formating\r\nIMP: small changes in attributes for labeling\r\n\r\n* IMP: Labeling updated to support low-variables labeling with\r\nrestrictions (only labeling without label)\r\n\r\n* NEWFUN: label not created for includeLabel=false\r\n\r\n* NEWFUN: include only outputSet=true in the call\r\n\r\n* NEWFUN: low variables input and labeling working\r\n\r\n* NEWFUN: Output variables for dynamic operations working, including\r\nLowLevel variables\r\n\r\n* Visual improvements\r\n\r\n* NEWFUN: Change to support float assign using lowlevel predicates.\r\n\r\n* FIX: remove expressions for LowLevel expressions and LowLevel variables\r\n\r\n* IMP: Configuration class modified to support Number type instead of\r\nInteger. This allows to return floats and integer from solver\r\nexecutions.\r\n\r\n* IMP: message for added/removed attributes improved\r\n\r\n* VER: lattest compilation with lowlevel expression support\r\n\r\n* IMP: shapes for operation definition concepts changed\r\n\r\n* FIX: Show relation type for OMM relations\r\nFIX: Show attributes for OMM relations\r\n\r\n* IMP: Syntax MM names updated\r\n\r\n* NEWFUN: OperExpr association to SubOperations graphically working -\r\nchanges saved. Missing: the association variables to labels and I/O\r\n\r\n* NEWFUN: Association of attributes to labelings and I/O\r\n\r\n* FIX: SUbOperExpType default value fixed for REFAS.\r\n\r\n* BUILD 10-20-16\r\n\r\n* FIX: HighRange variable fixed for static operations\r\n\r\n* BUILD\r\n\r\n* NEWFUN: new attributes for Opers and SubOpers to support the dynamic\r\nverification operations.\r\n\r\n* IMP: use icon for refresh button\r\n\r\n* IMP: new attributes for free identifiers control on verification using\r\ndefects verifier\r\n\r\n* FIX: missing jar for jpl included\r\nFIX: name changed by userId for model expression dialog\r\nFIX: error icon url fixed\r\n\r\n* FIX: float returns cast to int for Integer variables\r\n\r\n* BUILD\r\n\r\n* FIX: Range expression for LowRange=0 and optional parent\r\n\r\n* REF: the classes removed\r\n\r\n* NEWFUN: Dynamic implementation of CauCos and DefectVerifier initially\r\nimplemented. Aspects to solve: Execution notification, error dialog,\r\ninitial REFAS concept load\r\n\r\n* BUILD\r\n\r\n* FIX: OpersExpr constructor for Range expressions fixed\r\n\r\n* FIX: operations\r\n\r\n* FIX: Models with SD and conditional expressions for dyn opers not\r\nworking\r\nIMP: change Tur and False attributes to avoid confusion. Notify error on\r\nmodel load\r\n\r\n* FIX: type of suboperations for existing dyn opers\r\nNEWFUN: initial definition of menues for new SAS verification opers\r\n\r\n* IMP: new method to format enum strings\r\nFIX: dyn root oper working\r\n\r\n* NEWFUN: Dynamic verification operations working for root, false opt,\r\ndead elements and core update. Not all expressions checked..\r\n\r\n* NEWFUN: Dialog displayed for Defects Verifier and Caucos operations.\r\nReturns from operations organized for the messages and errors.\r\n\r\n* REFACTOR: Organization of the method to create the operations model and\r\nthe solver opers tasks.\r\n\r\n* IMP: Include a visible attribute for operations, hide parents\r\nverification operation\r\n\r\n* NEWFUN: new core operations initially defined\r\n\r\n* NEWFUN: SD all and SD never dyn operations working without element\r\nnotification and correct update\r\n\r\n* NEWFUN: Three dyn verif. opers for SAS models working SD, Cl and SD+Cl. \r\nIMP: Support to display error on relations, in addition to concepts.\r\n\r\n* NEWFUN: 8 dyn verif. opers initially supported\r\n\r\n* FIX: Equals and hashCode overriden to support the identification of\r\nredundancies over equals expression of different objects.\r\n\r\n* FIX: Display of errors and other fixes\r\n\r\n* IMP: show dashboard only if activated for the operation\r\nNEWFUN: support incomplete defects in operations to optimize\r\n\r\n* NEWFUN: individual verification operations to call caucos several times\r\nimplemented and working for SAS SD and SD&Cl verification operations\r\nNEWFUN: individual relaxable operations to call caucos several times\r\nimplemented but not working, a problem must be identified.\r\n\r\n* IMP: group relations between operationalization and claims also verified\r\nin CL and CL&SD conflicts verification operations\r\n\r\n* IMP: SG contrib. conflicts verification operation include individual\r\nverification expressions for SG direct contribution relations.\r\n\r\n* IMP: organization of SAS, FM and general verification operations\r\n\r\n* IMP: include attributes for subopers on the panel\r\nNEWFUN: support OR condition in the attributes display for panel\r\n\r\n* IMP: Support String identifiers without a domain\r\n\r\n* FIX: iteration of dynamic expressions\r\nremove not needed sub expressions for validations\r\n\r\n* NEWFun: Support for multiple instance of concepts and relations in\r\noperations. Aggregation and iteration expression missing. Control when\r\nto apply the multi-instance missing.\r\n\r\n* NEWFUN: Multiinstantiation: iterInstance for iterconcept partially\r\nworking, previous instance support broken.\r\n\r\n* FIX: multi-instance operation working for model expressions\r\n\r\n* FIX: clear simulation attributes\r\nFIX: iter in/out like the iter concept for multiverification - not\r\nworking\r\n\r\n* FIX: load models\r\nFIX: claim condition for static expression\r\nIMP: Changes to support multi instances, partially working\r\n\r\n* BUILD\r\n\r\n* FIX: block varConfDom\r\n\r\n* FIX: missing class\r\n\r\n* FIX: domains for required and expected values of SG fixed for\r\nnon-required concepts. Static and Dynamic implementation.\r\n\r\n* FIX: Expression support for multi-instantiation partially working\r\n\r\n* NEWFUN: multi-instance support working for direct relations between hard\r\nconcepts (no OT relations). TODO modify the remaining expressions.\r\n\r\n* FIX: avoid error on expressions without muti-instance support.\r\n\r\n* FIX: Mandatory and Optional working for hard concepts in individual\r\nrelations. Multi-Instance\r\n\r\n* NEWFUN: muiti-instance for conflict oper (fix TrueVal)\r\n\r\n* FIX: TrueVal\r\n\r\n* FIX: element instances after saving the model\r\n\r\n* NEWFUN: Multi-Instance support working for HardConcept using direct and\r\novertwo relations (except RANGE).\r\n\r\n* fix: RANGE also working for multi-instances\r\n\r\n* NEWFUN: CL to SG Multinstance support\r\n\r\n* NEWFUN: multi-instance supported by almost all relations (except Sg to\r\nSg relations)\r\n\r\n* FIX: execution time for verifications\r\nFIX: change of pw rel type for dynamic opers\r\nFIX: Operations without update break string variables.\r\n\r\n* FIX: Asset to Oper core operation\r\n\r\n* FIX: dynamic opers broken\r\n\r\n* FIX: remove not needed attribute for verification opers\r\n\r\n* FIX: operation for no-loops fixed - expressions blocking the execution\r\n\r\n* FIX: some opers fixed\r\n\r\n* IMP: Include variable domain in reset configuration action","distinct":true,"url":"https://api.github.com/repos/SPLA/VARIAMOS/commits/acf562d7e1069ff1595284816325711ec2dbe911"}]}
{"actor":{"display_login":"jilopezv"}}