Skip to content

operations.md

Latest commit

 

History

History
103 lines (88 loc) · 3.8 KB

operations.md

File metadata and controls

103 lines (88 loc) · 3.8 KB
Raw
layout default
title Operations
has_children true
parent Flamapy as framework
permalink /framework/operations
nav_order 1

Operations

{: .no_toc }

Table of contents

{: .no_toc .text-delta }

  1. TOC {:toc}

Concept of operations in flamapy

The concept of operations in the {% include flamapy.html %} framework is a central component that defines the specific tasks or analyses that can be performed on feature models. Each operation is designed to extract useful information or metrics from the feature models, thereby aiding in various aspects of software product line engineering.

Tied to a metamodel

In {% include flamapy.html %}, operations are intrinsically tied to the metamodel they are designed for. A metamodel provides the abstract syntax and semantic rules of the variability model, essentially defining the structure and constraints of the feature models it represents. Operations leverage these definitions to perform analyses that are specific to the type of variability model they are applied to. This ensures that the operations are context-aware and can handle the specific intricacies and rules of the underlying model.

For example, an operation designed to count the number of leaf features in a feature model must understand the hierarchical structure defined by the metamodel. Similarly, an operation to check the satisfiability of a configuration needs to interpret the constraints and dependencies specified by the metamodel.

Transformations for operations

To facilitate the execution of operations across different types of variability models, {% include flamapy.html %} employs a series of transformations. These transformations are necessary to convert models between various representations, enabling the application of operations that might require different metamodels or computational paradigms. Take a look to transformations for more information

Available operations

Currently {% include flamapy.html %} offers the following operations implemented in the marked plugins/metamodels and available in the interfaces shown.

<style> table { border-collapse: collapse; width: 100%; } th, td { border: 1px solid black; padding: 0px; text-align: center; min-width:0rem } th { white-space: nowrap; border: 1px solid black; } td { width: 50px; overflow: hidden; white-space: nowrap; text-overflow: ellipsis; } th:nth-child(7), td:nth-child(7) { border-right: 2px solid black; /* Separator after the last plugin column */ } </style> {% for operation in site.operations %} {% endfor %}
Plugin Interface
Title FM SAT BDD Z3 SharpSAT Diagnosis CMD Facade Python REST
{{ operation.title }} {% if operation.flamapy_fm %}✔{% else %}✘{% endif %} {% if operation.flamapy_sat %}✔{% else %}✘{% endif %} {% if operation.flamapy_bdd %}✔{% else %}✘{% endif %} {% if operation.flamapy_z3 %}✔{% else %}✘{% endif %} {% if operation.flamapy_sharpsat %}✔{% else %}✘{% endif %} {% if operation.flamapy_diagnosis %}✔{% else %}✘{% endif %} {% if operation.cmd %}✔{% else %}✘{% endif %} {% if operation.facade %}✔{% else %}✘{% endif %} {% if operation.python %}✔{% else %}✘{% endif %} {% if operation.rest %}✔{% else %}✘{% endif %}