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 checking 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