• COWS

  • Referenced in 50 articles [sw06955]
  • whose design has been influenced by WS-BPEL, the de facto standard language for orchestration...
  • BPEL2oWFN

  • Referenced in 28 articles [sw06956]
  • translates a web service expressed in WS-BPEL (Web Service Business Process Execution Language) into...
  • AO4BPEL

  • Referenced in 8 articles [sw33276]
  • aspect-oriented extension to WS-BPEL that allows for more modular and dynamically adaptable...
  • WSAT

  • Referenced in 37 articles [sw01022]
  • This paper presents Web Service Analysis Tool (WSAT...
  • PiDuce

  • Referenced in 20 articles [sw01418]
  • PiDuce- A project for experimenting web services technologies...
  • LoLA

  • Referenced in 26 articles [sw04381]
  • LoLa: A low level analyser. With LoLA, we...
  • CADP

  • Referenced in 130 articles [sw04993]
  • CADP (”Construction and Analysis of Distributed Processes”, formerly...
  • XQuery

  • Referenced in 122 articles [sw06669]
  • XML is a versatile markup language, capable of...
  • BPEL2PN

  • Referenced in 18 articles [sw06954]
  • BPEL2PN is a Java-based compiler that transforms...
  • LTSA-WS

  • Referenced in 13 articles [sw10585]
  • LTSA-WS: a tool for model-based verification...
  • LTL2BA

  • Referenced in 98 articles [sw10956]
  • Fast LTL to Büchi automata translation. We present...
  • PIPER

  • Referenced in 28 articles [sw11478]
  • Types as models, model checking message-passing programs...
  • XPath

  • Referenced in 368 articles [sw15780]
  • XPath 2.0 is an expression language that allows...
  • Oracle

  • Referenced in 227 articles [sw15847]
  • Oracle Database is an object-relational database management...
  • TyPiCal

  • Referenced in 8 articles [sw23207]
  • TyPiCal: type-based static analyzer for the Pi...