-
COWS
- Referenced in 51 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 21 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 99 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 370 articles
[sw15780]
- XPath 2.0 is an expression language that allows...
-
Oracle
- Referenced in 226 articles
[sw15847]
- Oracle Database is an object-relational database management...
-
WebSphere
- Referenced in 64 articles
[sw16839]
- IBM WebSphere refers to a brand of computer...
-
TyPiCal
- Referenced in 8 articles
[sw23207]
- TyPiCal: type-based static analyzer for the Pi...