Für eine korrekte Darstellung dieser Seite benötigen Sie einen XHTML-standardkonformen Browser, der die Darstellung von CSS-Dateien zulässt.

. .
Suche

SiPL - Installation

Table of Contents

  1. Requirements
  2. Instruction

Requirements

SiPL is realized on top of the Eclipse Modeling technology stack. The current release is built for Eclipse 2020-06 R and requires Java SE 14 (exact version!!!). The core features of SiPL make use of the following projects:

Some optional/alternative features of SiPL depends on the following projects:

Instruction

Download and unzip Eclipse 2020-06 R Modeling Tools . Start it.

Open the Install dialog via help > Install New Software... and add the following update site:

http://pi.informatik.uni-siegen.de/projects/sipl/releases/1.1.0

The following features are provided:

  • SiPL Framework
    • SiPL - Delta Modeling (required): All core plug-ins of the SiPL Framework.
    • SiPL - Delta Modeling Refactorings (optional): Plug-ins providing refactorings for delta modeling with the SiPL Framework.
    • SiPL - Delta Modeling Visualization (optional): Plug-in providing visualization for a delta modeling project of the SiPL Framework.
    • SiPL - Textual Delta Language(optional): Plug-ins providing a textual delta language for the SiPL Framework.
  • SiPL Domain Problem Space Adapters
    • SiPL - Domain Problem Space Adapter for FeatureIDE (optional): Plug-in supporting the translation of a FeatureIDE diagram into a propositional formula used by the SiPL Framework as problem space description.
  • SiPL Formula Adapters
    • SiPL - Formula Adapter for Z3Prover (required): Plug-in supporting usage of Z3Prover for checking satisfiability of formulas used by the SiPL Framework for feature modeling and application conditions of delta modules. Note, Z3 Theorem Prover isn't available as Eclipse plug-in and must be installed manually in the version 4.8.4. Especially, the path to the installed Z3 library must be set, e.g., on Linux /usr/lib64/z3 must be added to the path variable LD_LIBRARY_PATH. On macOS the path variable is named DYLD_LIBRARY_PATH. On Microsoft Windows simply add the bin directory of the installation folder to the global environment variable Path. Furhter instuctions can be found on https://github.com/Z3Prover/z3.
  • SiPL Domains
    • SiPL - Ecore Domain (optional): Ecore domain plug-ins, which enable delta modeling support for *.ecore models.
    • SiPL - Architecture Domain (optional): Architecture domain plug-ins, which enable delta modeling support for *.arch models.

Select at least all required features and a domain feature of the respective modeling language that should be used. Follow the instructions of the installation wizard, all dependencies to other projects except for the Z3 Theorem Prover should be resolved and installed automatically. Restart eclipse.

That's it! Some introductional tutorials for using SiPL can be found here.

Final remark: source code can be provided upon request. Don't hesitate to contact us.