Home › Transformations › First Order Logic Constraint Parser

First Order Logic Constraint Parser

Contents hide
1 Introduction
2 Configuration
2.1 Class
2.2 Parameters
2.3 Rules
2.4 Map Entries
2.5 Sample Configuration

Introduction

(Beta)

NOTE: Since v2.2.0, this transformation is deprecated. Parsing and validating constraints has become common transformer postprocessing functionality (for further details, see here).

Parses First Order Logic expressions from constraints contained in the model. This is especially useful if constraints have been loaded via the ConstraintLoader transformation (which does not parse the constraints).

NOTE: at the moment parsing is only supported for FOL constraints of type ‘SBVR’.

Configuration

The following sections specifiy the configuration options for this transformation.

Class

The class for this transformer implementation is de.interactive_instruments.ShapeChange.Transformation.Constraints.FolConstraintParsing.

Parameters

At the moment no specific parameters are defined for this transformation.

Rules

At the moment no specific rules are defined for this transformation.

Map Entries

At the moment no map entries are defined for this transformation.

Sample Configuration 

<Transformer
  class="de.interactive_instruments.ShapeChange.Transformation.Constraints.FolConstraintParsing"
  input="step2" id="step3" mode="enabled" />