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

. .
Suche

SiPL - Documentation

Table of Contents

  1. Publications
  2. Development

Publications

  • C. Pietsch, T. Kehrer, U. Kelter, D. Reuling and M. Ohrndorf. SiPL -- A Delta-Based Modeling Framework for Software Product Line Engineering. IN 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), Lincoln, NE, 2015.
  • C. Pietsch, D. Reuling, U. Kelter, T. Kehrer. A tool environment for quality assurance of delta-oriented model-based SPLs. In: Proceedings of the 1th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), Eindhoven, Netherlands, 2017.
  • C. Pietsch, D. Reuling, U. Kelter, T. Kehrer. SiPL: Towards a Comprehensive Development Environment for Delta-oriented Model-based Software Product Lines. In Proceedings of the 13th Workshop on Model-Based Development of Embedded Systems (MBEES), Wadern, Germany, 2017.
  • C. Pietsch, C. Seidl, M. Nieke, T. Kehrer (2019) Delta-Oriented Development of Model-Based Software Product Lines with DeltaEcore and SiPL: A Comparison. In: B. Tekinerdogan , Ö. Babur, L. Cleophas, M. van den Brand, M. Aksit (eds) Model Management and Analytics for Large Scale Systems. Elsevier (accepted).
  • C. Pietsch, U. Kelter, T. Kehrer, C. Seidl. Formal Foundations for Analyzing and Refactoring Delta-Oriented Model-Based Software Product Lines. In: Proceedings of the 23rd International Systems and Software Product Line Conference (SPLC), Paris, France, 2019.

Development

The SiPL Framework provides the following extension points :

Domain Problem Space Adapter

Identifier: org.sidiff.deltamodeling.deltamodel.domain_problem_space_adapter

Since: 1.0.0

Description: Extension point for extending the SiPL Framework with domain problem space adapters for translating a variability model, e.g., a feature model, into a propositional formula.

Configuration Markup:

<!ELEMENT extension (domain_problem_space_adapter)+>
<!ATTLIST extension
  point CDATA #REQUIRED
  id CDATA #IMPLIED
  name CDATA #IMPLIED>

<!ELEMENT domain_problem_space_adapter EMPTY>
<!ATTLIST domain_problem_space_adapter
  class CDATA #IMPLIED>
  • class -

API Information: An extension must implement the interface IDomainProblemSpaceAdapter.

Delta Module Operation

Identifier: org.sidiff.deltamodeling.operation.delta_module_operation

Since: 1.0.0

Description: Extension point for extending the construction kit of the SiPL Framework for deriving new delta modules from existing ones.

Configuration Markup:

<!ELEMENT extension (delta_module_operation)+>
<!ATTLIST extension
  point CDATA #REQUIRED
  id CDATA #IMPLIED
  name CDATA #IMPLIED>

<!ELEMENT delta_module_operation EMPTY>
<!ATTLIST delta_module_operation
  class CDATA #IMPLIED>
  • class -

API Information: An extension must implement the interface IDeltaModuleOperation or extend the class DeltaModuleOperation (recommended), which provides a default implementation for some methods.

Supplied Implementation: The following extensions are supplied:

  • org.sidiff.deltamodeling.operation.defaults.ConcatenationOperation
  • org.sidiff.deltamodeling.operation.defaults.ExtractionOperation
  • org.sidiff.deltamodeling.operation.defaults.IntersectionOperation
  • org.sidiff.deltamodeling.operation.defaults.PurgeOperation
  • org.sidiff.deltamodeling.operation.defaults.SubtractionOperation

Delta Modeling Metric Adapter

Identifier: org.sidiff.deltamodeling.metrics.adapter

Since: 1.0.0

Description: Extension point for extending the SiPL Framework with further metrics.

Configuration Markup:

<!ELEMENT extension (metric)+>
<!ATTLIST extension
  point CDATA #REQUIRED
  id CDATA #IMPLIED
  name CDATA #IMPLIED>

<!ELEMENT metric EMPTY>
<!ATTLIST metric
  class CDATA #IMPLIED>
  • class -

API Information: An extension must implement the interface IMetric .

Supplied Implementation: The following extensions are supplied:

  • org.sidiff.deltamodeling.metrics.dms.defaults.TotalNumberOfConflictRelations
  • org.sidiff.deltamodeling.metrics.dms.defaults.TotalNumberOfDeltaModules
  • org.sidiff.deltamodeling.metrics.dms.defaults.TotalNumberOfDependencyRelations
  • org.sidiff.deltamodeling.metrics.dms.defaults.TotalNumberOfDuplicateRelations
  • org.sidiff.deltamodeling.metrics.dms.defaults.TotalNumberOfTransientEffectRelations
  • org.sidiff.deltamodeling.metrics.dms.advanced.AverageNumberOfDeltaActions
  • org.sidiff.deltamodeling.metrics.dms.advanced.Coupling
  • org.sidiff.deltamodeling.metrics.dms.advanced.Modularity
  • org.sidiff.deltamodeling.metrics.dms.advanced.RedundancyCoefficient
  • org.sidiff.deltamodeling.metrics.dms.advanced.RelationalComplexity
  • org.sidiff.deltamodeling.metrics.dms.advanced.TotalNumberOfDeltaActions
  • org.sidiff.deltamodeling.metrics.sim.defaults.TotalNumberOfModelElements

Sat Solver Adapter

Identifier: org.sidiff.formula.sat_solver_adapter

Since: 1.0.0

Description: Extension point for extending the Formula plug-in with adapters to a specific SAT solver.

Configuration Markup:

<!ELEMENT extension (sat_solver_adapter)+>
<!ATTLIST extension
  point CDATA #REQUIRED
  id CDATA #IMPLIED
  name CDATA #IMPLIED>

<!ELEMENT sat_solver_adapter EMPTY>
<!ATTLIST sat_solver_adapter
  class CDATA #IMPLIED>
  • class -

API Information: An extension must implement the interface ISatSolverAdapter

Signature Matcher

Identifier: org.sidiff.deltamodeling.deltamodel.signature_matcher

Since: 1.0.0

Description: Extension point for extending the SiPL Framework with domain specific signature-based matchers.

Configuration Markup:

<!ELEMENT extension (signature_matcher)+>
<!ATTLIST extension
  point CDATA #REQUIRED
  id CDATA #IMPLIED
  name CDATA #IMPLIED>

<!ELEMENT signature_matcher EMPTY>
<!ATTLIST signature_matcher
  class CDATA #IMPLIED>
  • class -

API Information: An extension must implement the interface ISignatureMatcher.

Supplied Implementation:

  • org.sidiff.deltamodeling.deltamodel.superimposition.signature.impl.DefaultSignatureMatcher
  • org.sidiff.deltamodeling.deltamodel.superimposition.signature.impl.XmiIDSignatureMatcher