Results 1 to 16 of 16
Sort by:

  • 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...