v0.3.5.20-01-2014
Performs multi-objective optimization over clafer models limited to the attributed feature models with inheritance subset of Clafer.
- Rafael Olaechea, MSc. Candidate. Main developer.
- Michał Antkiewicz, Research Engineer. Requirements, development, architecture, testing, technology transfer.
- Alexandr Murashkin, MSc. Candidate. Minor fixes.
Binary distributions of the release 0.3.5 of Clafer Tools for Windows, Mac, and Linux, can be downloaded from Clafer Tools - Binary Distributions. Clafer Wiki requires Haskell Platform and MinGW to run on Windows.
In case these binaries do not work on your particular machine configuration, the tools can be built from source code, as described below.
- Clafer v0.3.4
- Java Platform (JDK) v6+, 32bit
- Python v2.7.*
git clone git@github.com:gsdlab/claferMooStandalone.git
All related projects are following the simultaneous release model.
The branch master contains releases, whereas the branch develop contains code under development.
When building the tools, the branches should match.
Releases from branches 'masterare guaranteed to work well together. Development versions from branchesdevelop` should work well together but this might not always be the case.
After installing, execute:
cd claferMooStandalonecd 2012-models-clafermultiobjective-data-generator/spl_datageneratorpython IntegratedFeatureModelOptimizer.py ../dataset/linkedlistsplc2011.cfr
This should provide the following output:
Running alloy on generated als.
Finished Running alloy on generated als.
simpleConfig : LinkedList
AbstractElement : IMeasurable
ElementC : IMeasurable
footprint = 0
footprint = -12
AbstractIterator : IMeasurable
ForwardIterator : IMeasurable
footprint = 0
footprint = 0
Base : IMeasurable
footprint = 455
total_footprint = 443
simpleConfig : LinkedList
AbstractElement : IMeasurable
ElementB : IMeasurable
footprint = 0
footprint = -12
AbstractIterator : IMeasurable
ForwardIterator : IMeasurable
footprint = 0
footprint = 0
Base : IMeasurable
footprint = 455
total_footprint = 443
Traceback (most recent call last):
File "IntegratedFeatureModelOptimizer.py", line 91, in <module>
execute_main()
File "IntegratedFeatureModelOptimizer.py", line 28, in execute_main
stderr=subprocess.STDOUT)
File "/System/Library/Frameworks/Python.framework/Versions/2.7/lib/python2.7/subprocess.py", line 530, in check_output
process = Popen(stdout=PIPE, *popenargs, **kwargs)
File "/System/Library/Frameworks/Python.framework/Versions/2.7/lib/python2.7/subprocess.py", line 672, in __init__
errread, errwrite)
File "/System/Library/Frameworks/Python.framework/Versions/2.7/lib/python2.7/subprocess.py", line 1202, in _execute_child
raise child_exception
OSError: [Errno 2] No such file or directory
- Solution
Download clafer-tools and copy the file called clafer or clafer.exe into your path.
You are running (e.g calling) IntegratedFeatureModelOptimizer.py from a directory other than claferMooStandalone/2012-models-clafermultiobjective-data-generator/spl_datagenerator
python claferMooStandalone/2012-models-clafermultiobjective-data-generator/spl_datagenerator/IntegratedFeatureModelOptimizer.py claferMooStandalone/2012-models-clafermultiobjective-data-generator/dataset/berkeleydbqualityjournal.cfr
Running alloy on generated als.
Unable to access jarfile ../tools/multiobjective_alloy_cmd.jar
Traceback (most recent call last):
File "claferMooStandalone/2012-models-clafermultiobjective-data-generator/spl_datagenerator/IntegratedFeatureModelOptimizer.py", line 91, in <module>
execute_main()
File "claferMooStandalone/2012-models-clafermultiobjective-data-generator/spl_datagenerator/IntegratedFeatureModelOptimizer.py", line 57, in execute_main
subprocess.check_output(["java", '-Xss3m', '-Xms512m', '-Xmx4096m', '-jar','../tools/multiobjective_alloy_cmd.jar', (filename[:-4] + ".als")])
File "/System/Library/Frameworks/Python.framework/Versions/2.7/lib/python2.7/subprocess.py", line 537, in check_output
raise CalledProcessError(retcode, cmd, output=output)
subprocess.CalledProcessError: Command '['java', '-Xss3m', '-Xms512m', '-Xmx4096m', '-jar', '../tools/multiobjective_alloy_cmd.jar', 'claferMooStandalone/2012-models-clafermultiobjective-data-generator/dataset/berkeleydbqualityjournal_desugared.als']' returned non-zero exit status 1
- Solution
As relative paths to the tools directory are used, you must cd to claferMooStandalone/2012-models-clafermultiobjective-data-generator/spl_datagenerator and only from there call python IntegratedFeatureModelOptimizer.py.
Running alloy on generated als.
Invalid maximum heap size: -Xmx4096m
The specified size exceeds the maximum representable size.
Error: Could not create the Java Virtual Machine.
Error: A fatal exception has occurred. Program will exit.
Traceback (most recent call last):
File "IntegratedFeatureModelOptimizer.py", line 91, in <module>
execute_main()
File "IntegratedFeatureModelOptimizer.py", line 57, in execute_main
subprocess.check_output(["java", '-Xss3m', '-Xms80244m', '-Xmx16096m', '-jar','../tools/multiobjective_alloy_cmd.jar', (filename[:-4] + ".als")])
File "/System/Library/Frameworks/Python.framework/Versions/2.7/lib/python2.7/subprocess.py", line 537, in check_output
raise CalledProcessError(retcode, cmd, output=output)
subprocess.CalledProcessError: Command '['java', '-Xss3m', '-Xms512m', '-Xmx4096m', '-jar', '../tools/multiobjective_alloy_cmd.jar', '../dataset/linkedlistsplc2011_desugared.als']' returned non-zero exit status 1
- Solution
By adding the maxHeapSize argument to the end of your command you can change the maximum size of the allocated heap.
ex: python IntegratedFeatureModelOptimizer.py ../dataset/linkedlistsplc2011.cfr --maxHeapSize=1340
Hint: On Windows systems try
--maxHeapSize=1340, which seems to be the maximum heap size that can be allocated.
(Fourth International Workshop on Non-functional System Properties in Domain Specific Modeling Languages)
It is located in directories claferMooStandalone/2012-models-clafermultiobjective-data-generator/satisfiable_partial_configurations_dataset and claferMooStandalone/2012-models-clafermultiobjective-data-generator/non_configured_dataset.
- See language's website for news, technical reports and more
- Check out a Clafer tutorial
- Try a live instance of ClaferWiki
- Try a live instance of ClaferIDE
- Try a live instance of ClaferConfigurator
- Try a live instance of ClaferMooVisualizer
- Take a look at (incomplete) Clafer wiki
- Browse example models in the test suite and MOO examples
- Post questions, report bugs, suggest improvements GSD Lab Bug Tracker. Tag your entries with
clafermoo(so that we know what they are related to) and withrafael-olaechea(so that Rafael gets a notification).