Results of research in the context of service-technology.org are made available through proof-of-concept implementations. Our tools are open source and can be downloaded here.

• LoLA - a low-level Petri net analyzer

• Wendy - synthesizes partners for services
• Cosme - checks matching, substitutability and equivalence
• Fiona - implements a large number of service-related algorithms

• Marlene - synthesizes behavioral adapters for services
• Mia - calculates jumper transitions for instance migration

• Linda - calculates profiles with linear programming
• Yasmina - ILP compatibility checker

• Rachel - corrects a service w.r.t. a choreography
• Rebecca - checks realizability of service choreographies

• BPEL2oWFN - translates BPEL processes into Petri nets
• Diane - decomposes Petri nets into services
• oWFN2BPEL - translates Petri net models into abstract BPEL processes
• Petri Net API - provides Petri net-related functions
• Sayo - constructs the public view of a service
• UML2oWFN - translates UML activity diagrams to Petri nets

• Greta - a Graphical Runtime Environment for Adaptive Processes
• Seda - Service-Technology.org Editor Application

• Tool Chains