Olivia Oanea, Jan Sürmeli and Karsten Wolf. Service Discovery Using Communication Fingerprints Submitted.
- Olivia Oanea (Universität Rostock, 18051 Rostock, German)
- Jan Sürmeli (Humboldt-Universität zu Berlin, Unter den Linden 6, 10099 Berlin, Germany)
- Karsten Wolf (Universität Rostock, 18051 Rostock, Germany)
You can download the tools which we used in our case study.
For each tool, do the following
- Unpack them by executing
tar xfz lola-x.tar.gz
- Configure them by executing
where lola may be replaced by the respective tool
Experiments were performed on both services and their partners obtained from decomposing process models from 4 libraries (A, B1, B2, B3).
To compute octagon (using terms of type x-y, x+y, x) fingerprints for open nets, execute
linda net.owfn -2 -o net.output
To execute compatibility check using ILP using the fingerprint/fingerprint check
yasmina -m net.output -m netpartner.output
To use LoLA to check for weak termination of composed processes, proceed as follows:
- Compile another version of LoLA to check for liveness of state predicate by executing
lola-liveprop1 net.lola -a netpartner.task