Giter VIP home page Giter VIP logo

spla / variamos Goto Github PK

View Code? Open in Web Editor NEW
6.0 12.0 24.0 45.62 MB

VariaMos is a Java-based tool for defining variability modeling languages, modeling (dynamic) product lines and cyber-physical self-adaptive systems, and supporting automated verification, analysis, configuration and simulation of these models.

Home Page: https://github.com/SPLA/VARIAMOS/wiki

Java 97.51% Prolog 0.32% ANTLR 2.17%
software-product-lines software-product-engineering feature-modeling

variamos's Introduction

VARIAMOS

variamos's People

Contributors

angievig avatar danielgara avatar dquiroz123 avatar dquiroz123g avatar jcmunozf avatar jilopezv avatar leonjaramillo avatar lufe089 avatar sebasmonsalve avatar seyerman avatar

Stargazers

 avatar  avatar  avatar  avatar  avatar  avatar

Watchers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

variamos's Issues

The solver does not process any new request after several successful executions

I'm submitting a...


[ ] Regression (a behavior that used to work and stopped working in a new release)
[X] Bug report  
[ ] Feature request
[ ] Documentation issue or request
[ ] Improvement request
[ ] Support request => Please do not submit support request here

Current behavior

The operations using the solver stop responding after several calls to the solver.

Expected behavior

The solver should not stop responding. It should not be necesary to close and open VariaMos again to execute operations

Minimal reproduction of the problem with instructions

Execute several calls to the solver. At some point, the executing does not end. Subsequent executions does not end.

What is the motivation / use case for changing the behavior?

Improve the usability of the tool

Environment

Variamos version:

1.0.1.20

For Tooling issues:
Platform: Windows
Others:

Deploy diagram

I'm submitting a...


[ ] Regression (a behavior that used to work and stopped working in a new release)
[ ] Bug report  
[ ] Feature request
[ x] Documentation issue or request
[ ] Improvement request
[ ] Support request => Please do not submit support request here

Current behavior

Missing deploy diagram that shows third-party libraries required by VariaMos and deployment structure

Expected behavior

Elaborate the diagram. Put the Draw.io files inside the docs folder and put the png file and their explanation inside the wiki ( Variamos architecture page)

UTF8 error when compiling project with gradle

I'm submitting a...


[ ] Regression (a behavior that used to work and stopped working in a new release)
[x ] Bug report  
[ ] Feature request
[ ] Documentation issue or request
[ ] Improvement request
[ ] Support request => Please do not submit support request here

Current behavior

On Linux when VariaMos is compiled by using gradle, appears mutilple errors in lines that have accents or special characters

Expected behavior

Do not have any compilation error when a gradle building task is excecuted

Minimal reproduction of the problem with instructions

Open console > gradle build

Environment

Variamos version: 1.1.0.1

For Tooling issues:
Platform: Linux

Hide cut, copy, undo, redo paste from tool bar in configuration/simulation perspective

I'm submitting a...


[ ] Regression (a behavior that used to work and stopped working in a new release)
[ ] Bug report  
[ ] Feature request
[ ] Documentation issue or request
[x ] Improvement request
[ ] Support request => Please do not submit support request here

Current behavior

Hide the following buttons from the menu bar when the model configuration/simulation perspective is active.
Hide cut, copy, undo, redo paste

We can hide these buttons because there is not elements to copy or paste under this perpective. In addition, currently undo and redo options are only available for modeling functionalities, then on this perspective are useless

Environment

Variamos version: 1.0.1.20

For Tooling issues:
Platform:
Others:

Unhide menu "translation configuration"

I'm submitting a...


[ ] Regression (a behavior that used to work and stopped working in a new release)
[ x] Bug report  
[ ] Feature request
[ ] Documentation issue or request
[ ] Improvement request
[ ] Support request => Please do not submit support request here

Current behavior

On the prespective "Semantiv and Operations meta-models" the menu "Translation configuration" is not visible anymore we solved the issues #245 and #246.

Expected behavior

The menu should be visible.

Minimal reproduction of the problem with instructions

Open variamos > Window > Show advanced perspectives

Environment

Variamos version: 1.1.0.1 ( refactored version)

Unify FileUtils files

I'm submitting a...


[ ] Regression (a behavior that used to work and stopped working in a new release)
[ ] Bug report  
[ ] Feature request
[ ] Documentation issue or request
[x] Improvement request
[ ] Support request => Please do not submit support request here

Current behavior

We have to merge and rename the FileUtils.java and the FileUtilsApache because both files provide similar functionalities.

Expected behavior

com.variamos.common\src\main\java\com\variamos\common\core\utilities\FileUtils.java
com.variamos.common\src\main\java\com\variamos\common\core\utilities\FileUtilsApache.java

Minimal reproduction of the problem with instructions

What is the motivation / use case for changing the behavior?

Environment

Variamos version:

Development branch

For Tooling issues:
Platform:
Others:

WIki - add info about gradle tasks to run for compiling VariaMos

I'm submitting a...


[ ] Regression (a behavior that used to work and stopped working in a new release)
[ ] Bug report  
[ ] Feature request
[x ] Documentation issue or request
[ ] Improvement request
[ ] Support request => Please do not submit support request here

Current behavior

Building instructions to fix compilation errors and run variamos are missing in the wikidocs

Expected behavior

Complete the page "configuring the environment" inside the wiki to add how to compile an run unitary test on variamos by using gradle. Add images if necessary

Variamos Architecture

Documenting current VariaMos architecture modules, main responsabilities and dependencies

Hide menus "Individual Verification" and Verification Options"

I'm submitting a...


[ ] Regression (a behavior that used to work and stopped working in a new release)
[ ] Bug report  
[ ] Feature request
[ ] Documentation issue or request
[X ] Improvement request
[ ] Support request => Please do not submit support request here

Current behavior

Expected behavior

The menus should not appear, they can't be hidden using the operations metamodel

Minimal reproduction of the problem with instructions

What is the motivation / use case for changing the behavior?

To clean the window form useless menus

Environment

Variamos version: 20

For Tooling issues:
Platform: Mac
Others: none

eclipse artifact shouldn't be commited

switching branch is harder than it should as some eclipse files are committed.

nherbaut@hades:~/workspace/VARIAMOS$ git checkout development
error: Your local changes to the following files would be overwritten by checkout:
	.settings/org.eclipse.buildship.core.prefs
	com.variamos.reasoning/.classpath

could you please remove those files from the repo?

ERROR when loading REFAS Metamodels

I'm submitting a...


[ ] Regression (a behavior that used to work and stopped working in a new release)
[X] Bug report  
[ ] Feature request
[ ] Documentation issue or request
[ ] Improvement request
[ ] Support request => Please do not submit support request here

Current behavior

When selecting REFAS model and changing to the Context and Environment View, the menues of the application stop working. This does not happen if the REFAS metamodel are loaded manually from the metamodels shared on the folder.

Expected behavior

The menues should continue working.

Minimal reproduction of the problem with instructions

What is the motivation / use case for changing the behavior?

Environment

Variamos version: 1.0.1.20 development branch

For Tooling issues:
Platform:
Windows
Others:

Remove ConsoleTextArea dependency from ModelExp

I'm submitting a...


[ ] Regression (a behavior that used to work and stopped working in a new release)
[ ] Bug report  
[ ] Feature request
[ ] Documentation issue or request
[x ] Improvement request
[ ] Support request => Please do not submit support request here

Current behavior

The ModelExpression requires SWI component to show exception messages

Expected behavior

Minimal reproduction of the problem with instructions

What is the motivation / use case for changing the behavior?

Change the method createExpression to throw a Functional or techcnical exception if any exception is detected instead of write the exception directly in console. Modify the user GUI classes to show exceptions messages in the ConsoleTextArea
Apply the same fix in the following classes:
OverTwoElementsExpressionSet
ModelExpr2HLCL
SolverOpersTask
SolverTasks
ModelExpr

Environment

Variamos version: 1.2.0.1

For Tooling issues:
Platform:
Others:

Elaborate unitary test for "compiler" functionalities

I'm submitting a...


[ ] Regression (a behavior that used to work and stopped working in a new release)
[ ] Bug report  
[ ] Feature request
[ ] Documentation issue or request
[ x] Improvement request
[ ] Support request => Please do not submit support request here

Current behavior

Unitary test missing

Expected behavior

Add unitary test for the class: Hlcl2SWIProlog.

Modify ConfigurationDTO to generalize Json files export and import

I'm submitting a...


[ ] Regression (a behavior that used to work and stopped working in a new release)
[ ] Bug report  
[ x] Feature request
[ ] Documentation issue or request
[ ] Support request => Please do not submit support request here

Current behavior

The monitor module saves and reads json files which are saved by using the class ConfigurationIO.

Expected behavior

Inside the ConfigurationIO class there are methods to handle json files (load, save, read) that could be generalized to be used for other modules (different from the Configuration tasks).
Improve how these methods were developped to obtain a generic design.
The idea is that the IO module does not have any relation with any module that contains business logic. Only the dependency with the common module is allowed.

Hide zoom options that are not useful

I'm submitting a...


[ ] Regression (a behavior that used to work and stopped working in a new release)
[ ] Bug report  
[ ] Feature request
[ ] Documentation issue or request
[X ] Improvement request
[ ] Support request => Please do not submit support request here

Current behavior

When the user selects the options Page, Width, Actual, the canvas is resized, but it's not possible to access to the rest of the model

Expected behavior

Not to offer these options because they don't allow the edition/reading of the model

Minimal reproduction of the problem with instructions

What is the motivation / use case for changing the behavior?

Environment

Variamos version: 1.0.1.20b

For Tooling issues:
Platform: Mac
Others: none

No transparent images on PNG saving of metamodels

I'm submitting a...


[x] Regression (a behavior that used to work and stopped working in a new release)
[ ] Bug report  
[ ] Feature request
[ ] Documentation issue or request
[ ] Improvement request
[ ] Support request => Please do not submit support request here

Current behavior

When you save a png file, the application ask if you want a transparent background. No matter your selection, the file is created with a background.

Expected behavior

If you select transparent background, the file should be created without a background.

Minimal reproduction of the problem with instructions

Switch to the syntax metamodel, press the save button, change the extension to png and accept the transparent background. It should also occur in others perspectives.

What is the motivation / use case for changing the behavior?

It is an existing features useful to obtain the models for other destinations

Environment

Variamos version:

Most recent development branch. Works of in the master branch.

For Tooling issues:
Platform:
Others:

Reorder structure VARIAMOS GUI module

I'm submitting a...


[ ] Regression (a behavior that used to work and stopped working in a new release)
[ ] Bug report  
[ ] Feature request
[ ] Documentation issue or request
[ x] Improvement request
[ ] Support request => Please do not submit support request here

Current behavior

Source code is placed in different packages inside the GUI project. It is required to migrate the current source code to place resources such as images and properties files in a predefined place in order to avoid problems with absolute paths when loading images, text messages, resources

Rearrange source code files

I'm submitting a...


[ ] Regression (a behavior that used to work and stopped working in a new release)
[ ] Bug report  
[ ] Feature request
[ ] Documentation issue or request
[x] Improvement request
[ ] Support request => Please do not submit support request here

Current behavior

Many current source files are disorganized and do not satify the file structure defined in the developer guides

Expected behavior

Rearrange the source code to satisfy the structure defined in the developer guides

Enum for identifying perspectives instead of using int numbers

I'm submitting a...


[ ] Regression (a behavior that used to work and stopped working in a new release)
[ ] Bug report  
[ ] Feature request
[ ] Documentation issue or request
[x ] Improvement request
[ ] Support request => Please do not submit support request here

Current behavior

create an enum for handling inside the perspectives source code all. In this way, the enumt will be used for each developper to know what perspective is working on instead of use numbers such as 1,2,3 etc.

Exception handling in SolverOperTask

I'm submitting a...


[ ] Regression (a behavior that used to work and stopped working in a new release)
[ ] Bug report  
[ ] Feature request
[ ] Documentation issue or request
[x ] Improvement request
[ ] Support request => Please do not submit support request here

Current behavior

Review how to handle functional exceptions in the method doInBackground in the class SolverOperTask to avoid dependency with the GUI

Hide static configuration menus and simulation options

I'm submitting a...


[ ] Regression (a behavior that used to work and stopped working in a new release)
[ ] Bug report  
[ ] Feature request
[ ] Documentation issue or request
[x ] Improvement request
[ ] Support request => Please do not submit support request here

Current behavior

The model/configuration perspective shows the following menus "File, Layout, Simulation scenarios", basic simulation(static), configuration(static), basic simulation ( static), Dash board.

In order to make easy for the final user to interact with the functionalities which area available and well tested ( non experimental ones) in Variamos, we need to hide or reorder the following menu options:
-Layout from the configuration/simulation perspective
-Simulation scenarios
-Configuration ( static) - move options for save partial configuration and export all configurations to the dashboard option.
-Basic simulation ( that uses dynamic operations)

Also move options to save current configuration and save all configurations to the Dashboard menu

Environment

Variamos version: 1.0.1.20

Use GraphLayoutCache for multi-view support instead of hide and show elements

I'm submitting a...


[ ] Regression (a behavior that used to work and stopped working in a new release)
[ ] Bug report  
[ ] Feature request
[ ] Documentation issue or request
[X] Improvement request
[ ] Support request => Please do not submit support request here

Current behavior

To support multiple views, elements are hidden if they do not belong to the active view. The implementation works but it is not as efficient as possible.

Expected behavior

Explore and replace the functionality explained to use GraphLayoutCache. From an early review, this class can replace the need for hidding and showing elements.

Minimal reproduction of the problem with instructions

What is the motivation / use case for changing the behavior?

Improve efficiency specially when using huge models.

Environment

Variamos version:

1.1.0.1

For Tooling issues:
Platform:
Others:

Modeling perspective update when the metamodels are loaded

I'm submitting a...


[ ] Regression (a behavior that used to work and stopped working in a new release)
[x] Bug report  
[ ] Feature request
[ ] Documentation issue or request
[ ] Improvement request
[ ] Support request => Please do not submit support request here

Current behavior

The behavior is as expected when semantics and syntax metamodels are loaded for the first time because it produces a desired change on the palettes available on the Modeling perspective, but when some different metamodels (syntax and semantics) are loaded for the second time, the Modeling perspective is not updated as expected. The palettes related to the first loaded metamodels remain on the user interface.

Expected behavior

Whenever the syntax and semantic metamodels are loaded, the Modeling perspective must be updated in order to be comply with the metamodels specification.

Minimal reproduction of the problem with instructions

  1. Click on Window file menu -> Show Advanced Perspectives

  2. Click on Semantic and operation Meta-models Perspective

  3. Click on Open icon on tool bar

  4. Choose and load the SEMANTIC metamodel of any paradigm (features, goals, constraint, etc)

  5. Click on Syntax Meta-models Perspective

  6. Click on Open icon on tool bar

  7. Choose and load the SYNTAX metamodel of the same paradigm choosed in step 4.

  8. Click on Modeling Perspective and check the properly visualization

  9. Repeat the steps 1 to 8 for other differente paradigm. In the step 8 you will see the problem.

What is the motivation / use case for changing the behavior?

Environment

Variamos version:

For Tooling issues:
Platform:
Others:

Migrate export solution inside the dashboard for calling the dynamic operation,

I'm submitting a...


[ ] Regression (a behavior that used to work and stopped working in a new release)
[ ] Bug report  
[ ] Feature request
[ ] Documentation issue or request
[ x] Improvement request
[ ] Support request => Please do not submit support request here

Current behavior

The option inside the menu "dashboard" for exporting all configuration has an error when the file already exists, and given that it does not use a swiworker for saving the file, the main threat is bloqued,

Expected behavior

Modify the current action performed to excecute the dynamic operation defined for exporting solutions.

Environment

Variamos version: 1.0.1.20

For Tooling issues:
Platform:
Others:

Import and export utilities for read and save VariaMos models

Design how to support utilities for importiing and exporting variability models to VariaMos and from VariaMos. For example, VariaMos should be able of reading models expressed in formats such as SPLOT or FAMA. To the future how to read prolog files should be supported too.

test

I'm submitting a...


[ ] Regression (a behavior that used to work and stopped working in a new release)
[ ] Bug report  
[ ] Feature request
[ ] Documentation issue or request
[ ] Improvement request
[ ] Support request => Please do not submit support request here

Current behavior

Expected behavior

Minimal reproduction of the problem with instructions

What is the motivation / use case for changing the behavior?

Environment

Variamos version:

For Tooling issues:
Platform:
Others:

  • Finish my changes
  • Push my commits to GitHub
  • Open a pull request

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.