Service Discovery Using Communication Fingerprints
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).
Obtain Fingerprints with Linda
To compute octagon (using terms of type x-y, x+y, x) fingerprints for open nets, execute
linda net.owfn -2 -o net.output
Check Compatibility with Yasmina
To execute compatibility check using ILP using the fingerprint/fingerprint check
yasmina -m net.output -m netpartner.output
Check Compatibility with LoLA
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
The experimental results comparing the state-based approach vs. the fingerprint approach are depicted in the following table.