TOOLS - Making Services Behave Well

CATEGORIZED TOOL LISTING

MODEL CHECKING

LoLA - A Low Level Petri Net Analyzer

SECURITY

Anica - checking non-interference for safe Petri nets

PARTNER SYNTHESIS AND OPERATING GUIDELINES

Cosme - Cosme decides matchting and substituability for services
Fiona - Checking behavioral correctness of a service
Tara - Synthesizing cost-minimal partners for services
Tess - Generating test suites for services
Wendy - Synthesizing partners for services

SERVICE MEDIATION AND MIGRATION

Marlene - Making adapters behave well.
Mia - Calculating migration information

SERVICE FINGERPRINTS

Linda - Computing communication fingerprints of services
Yasmina - Checking service compatibility with ILP

SERVICE CHOREOGRAPHIES

Rachel - Repairing deadlocking service choreographies

MODEL TRANSFORMATION

BPEL2oWFN - Translating WS-BPEL processes into Petri net models
Diane - Decomposing Petri nets
PNAPI - The Petri Net Library
UML2oWFN - Translating UML2 Activity Diagrams to Petri nets

EDITORS AND SIMULATORS

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

CONFORMANCE CHECKING

Chloe - Characterizing languages of open systems
Delain- Deciding language inclusions of open systems

UNCATEGORIZED

Candy - Synthesizing cost-efficient partners for services
Locretia - Generating logs...
Ondine - Open Net Divider with INtErface optimization
Safira - Performing basic set operations for sets of services
Sara - Reachability Analysis
Uma - An Unfolding-based Model Analyzer

ALPHABETICAL TOOL LISTING

Anica - hecking non-interference for safe Petri nets
BPEL2oWFN - Translating WS-BPEL processes into Petri net models
Candy - Synthesizing cost-efficient partners for services
Chloe - Characterizing languages of open systems
Cosme - Cosme decides matchting and substituability for services
Delain - Deciding language inclusions of open systems
Diane - Decomposing Petri nets
Fiona - Checking behavioral correctness of a service
Greta - Graphical Runtime Environment for Adaptive Processes
Linda - Computing communication fingerprints of services
LoLA - A Low Level Petri Net Analyzer
Locretia - Generating logs...
Marlene - Making adapters behave well.
Mia - Calculating migration information
Ondine - Open Net Divider with INtErface optimization
PNAPI - The Petri Net Library
Rachel - Repairing deadlocking service choreographies
Safira - Performing basic set operations for sets of services
Sara - Reachability Analysis
Seda - Service-Technology.org Editor Application
Tara - Synthesizing cost-minimal partners for services
UML2oWFN - Translating UML2 Activity Diagrams to Petri nets
Uma - An Unfolding-based Model Analyzer
Wendy - Synthesizing partners for services
Yasmina - Checking service compatibility with ILP