• COWS

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

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

  • Referenced in 6 articles [sw07162]
  • Toward an integration of BPEL in Agapia Agapia, a recently proposed high-level structured programming ... usual imperative or functional programming languages. (WS-)BPEL ((web services-) business process execution language) focuses ... preliminary results on an attempt to integrate BPEL into Agapia...
  • Reoservice

  • Referenced in 4 articles [sw08568]
  • statically defined composition of services, e.g., using BPEL. To the best of our knowledge, there ... coordination to accommodate continuously changing requirements. While BPEL is a powerful standard for service composition...
  • WSAT

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

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

  • Referenced in 11 articles [sw01974]
  • JAsCo is an advanced aspect-oriented programming (AOP...
  • CAPEUS

  • Referenced in 7 articles [sw02248]
  • CAPEUS: An architecture for context-aware selection and...
  • LOTOS

  • Referenced in 147 articles [sw02961]
  • Introduction to the ISO specification language LOTOS. LOTOS...
  • NuSMV

  • Referenced in 278 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • LoLA

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

  • Referenced in 58 articles [sw04388]
  • YAWL (Yet Another Workflow Language) is a workflow...
  • AspectJ

  • Referenced in 124 articles [sw04426]
  • aspect-oriented extension to the Java. AspectJ TM...
  • Uppaal

  • Referenced in 603 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • CADP

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

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

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

  • Referenced in 34 articles [sw07028]
  • Woflan: A Petri-net-based workflow analyzer. Workflow...
  • Orc

  • Referenced in 15 articles [sw07311]
  • The Orc programming language. Orc was originally presented...
  • LTSA-WS

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