Creating Pre-/Postconditions
In this section, we will see how to specify pre-/postconditions in Service Specification Environment (SSE), in order to consider them later for semantic matching.
Pre-/Postconditions in SSE have a form of first order logical expressions over concepts and predicates coming from the underlying ontologies.
-
After the Operation Signatures are created in Section Creating Signatures and in Section Creating Parameters different parameters are assigned to them,
now we can start to create pre/postconditions. For that, you have to click on the Operation and select the section Postconditions in the Properties View. Then click on the button
as in the picture below.
-
Now you can specify your precondition and then press OK. After that you should see your precondition in the Properties View if the semantic check was successful.
You can also specify several preconditions. In this case, all of them will be conjuncted.
Read more about the syntax of SSE pre-/postconditions in Section Syntax of Pre-/Postconditions.
-
By pressing the button
you can delete the previously added condition. You can also edit your condition, by just clicking on the condition which is shown in the Properties View.
You can also edit an existing condition by doubleclicking it.
- By following the same procedure, you can also add preconditions to your operations. You just need to select the section Postconditions in the Properties View, and add your postcondition afterwards.
Read more about the semantics of SSE pre-/postconditions in Section Pre-/Postconditions Semantics.