|
|
# REST api
|
|
|
**Calculate Verifications**
|
|
|
----
|
|
|
The [DMN Verifier](https://gitlab.uni-koblenz.de/fg-bks/br-verification-tool/tree/master/dmn-verifier-app) application has a small rest endpoint, which calculates the verifications of one dmn file.
|
|
|
|
|
|
TODO |
|
|
\ No newline at end of file |
|
|
* **URL**
|
|
|
|
|
|
http://inconsistency.fg-bks.uni-koblenz.de:8090/rest/dmn/getVerificationsFromDmn
|
|
|
|
|
|
* **Method:**
|
|
|
|
|
|
`POST`
|
|
|
|
|
|
* **URL Params**
|
|
|
|
|
|
none
|
|
|
|
|
|
* **Header**
|
|
|
|
|
|
`Content-Type` : `text/xml`
|
|
|
|
|
|
* **Data Params**
|
|
|
|
|
|
**body:** xml defined DMN file, e.g.:
|
|
|
```xml
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
<definitions xmlns="http://www.omg.org/spec/DMN/20151101/dmn.xsd" id="Definitions_0cg8mfp" name="DRD" namespace="http://camunda.org/schema/1.0/dmn">
|
|
|
<decision id="Decision_13nyxhf" name="Decision 1">
|
|
|
<decisionTable id="decisionTable_1">
|
|
|
<input id="input_1">
|
|
|
<inputExpression id="inputExpression_1" typeRef="string">
|
|
|
<text>a</text>
|
|
|
</inputExpression>
|
|
|
</input>
|
|
|
<output id="output_1" typeRef="string" />
|
|
|
<rule id="DecisionRule_0x86hen">
|
|
|
<inputEntry id="UnaryTests_1vj5wkb">
|
|
|
<text>"Hello"</text>
|
|
|
</inputEntry>
|
|
|
<outputEntry id="LiteralExpression_0evl637">
|
|
|
<text>"Fu"</text>
|
|
|
</outputEntry>
|
|
|
</rule>
|
|
|
<rule id="DecisionRule_1tpn4ni">
|
|
|
<inputEntry id="UnaryTests_0kw7so4">
|
|
|
<text>"World"</text>
|
|
|
</inputEntry>
|
|
|
<outputEntry id="LiteralExpression_1iduf1n">
|
|
|
<text>"Ba"</text>
|
|
|
</outputEntry>
|
|
|
</rule>
|
|
|
</decisionTable>
|
|
|
</decision>
|
|
|
</definitions>
|
|
|
```
|
|
|
|
|
|
* **Success Response:**
|
|
|
|
|
|
* **Code:** 200 <br />
|
|
|
**Content:** `<results>...</results>`<br />
|
|
|
xml schema:
|
|
|
```xml
|
|
|
<xs:schema attributeFormDefault="unqualified" elementFormDefault="qualified" xmlns:xs="http://www.w3.org/2001/XMLSchema">
|
|
|
<xs:element name="results">
|
|
|
<xs:complexType>
|
|
|
<xs:sequence>
|
|
|
<xs:element name="verifier" maxOccurs="unbounded" minOccurs="0">
|
|
|
<xs:complexType>
|
|
|
<xs:sequence>
|
|
|
<xs:element type="xs:string" name="verifierType"/>
|
|
|
<xs:element name="verifications">
|
|
|
<xs:complexType mixed="true">
|
|
|
<xs:sequence>
|
|
|
<xs:element name="verification" minOccurs="0">
|
|
|
<xs:complexType>
|
|
|
<xs:sequence>
|
|
|
<xs:element name="rule" maxOccurs="unbounded" minOccurs="0">
|
|
|
<xs:complexType>
|
|
|
<xs:sequence>
|
|
|
<xs:element type="xs:string" name="conditionId"/>
|
|
|
<xs:element type="xs:string" name="decisionKey"/>
|
|
|
<xs:element type="xs:string" name="decisionName"/>
|
|
|
<xs:element type="xs:byte" name="rowNumber"/>
|
|
|
<xs:element type="xs:string" name="ruleId"/>
|
|
|
</xs:sequence>
|
|
|
</xs:complexType>
|
|
|
</xs:element>
|
|
|
<xs:element type="xs:string" name="message"/>
|
|
|
<xs:element type="xs:byte" name="ruleCount"/>
|
|
|
</xs:sequence>
|
|
|
</xs:complexType>
|
|
|
</xs:element>
|
|
|
</xs:sequence>
|
|
|
</xs:complexType>
|
|
|
</xs:element>
|
|
|
<xs:element type="xs:string" name="multiTable"/>
|
|
|
<xs:element type="xs:string" name="verificationDescription"/>
|
|
|
<xs:element type="xs:byte" name="verificationsCount"/>
|
|
|
</xs:sequence>
|
|
|
</xs:complexType>
|
|
|
</xs:element>
|
|
|
</xs:sequence>
|
|
|
</xs:complexType>
|
|
|
</xs:element>
|
|
|
</xs:schema>
|
|
|
``` |
|
|
\ No newline at end of file |