284 search results - page 22 / 57 » WSAT: A Tool for Formal Analysis of Web Services |
BMCBI
2004
13 years 8 months ago
2004
Background: Very often genome-wide data analysis requires the interoperation of multiple databases and analytic tools. A large number of genome databases and bioinformatics applic...
AAAI
1997
13 years 9 months ago
1997
The Ontolingua ontology development environment provides a suite of ontology authoring tools and a library of modular reusable ontologies. The environment is available as a World ...
SIMPRA
2008
13 years 8 months ago
2008
: DEVS is a Modeling and Simulation formalism that has been widely used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines spatial mo...
BPM
2005
Springer
14 years 1 months ago
2005
Springer
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
KBSE
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...