GNU BPEL2oWFN 2.0.0
Sponsored Links
GNU BPEL2oWFN 2.0.0 Ranking & Summary
File size:
0.72 MB
Platform:
Any Platform
License:
GPL (GNU General Public License)
Price:
Downloads:
917
Date added:
2007-04-23
Publisher:
Niels Lohmann
GNU BPEL2oWFN 2.0.0 description
GNU BPEL2oWFN project translates a web service expressed in WS-BPEL (Web Service Business Process Execution Language) into an oWFN (open Workflow Net). This oWFN can be used to:
- check for controllability or generate the operating guideline using the tool Fiona,
- check for deadlocks or any other Petri net property, or
- check any temporal logic formula with a variety of model checking tools.
GNU BPEL2oWFN uses static analysis to make the generated Petri net model as compact as possible to analyze a chosen property. This is called flexible model generation. Furthermore, several design flaws can be detected using control and data flow analysis.
- check for controllability or generate the operating guideline using the tool Fiona,
- check for deadlocks or any other Petri net property, or
- check any temporal logic formula with a variety of model checking tools.
GNU BPEL2oWFN uses static analysis to make the generated Petri net model as compact as possible to analyze a chosen property. This is called flexible model generation. Furthermore, several design flaws can be detected using control and data flow analysis.
GNU BPEL2oWFN 2.0.0 Screenshot
GNU BPEL2oWFN 2.0.0 Keywords
BPEL2oWFN
GNU
GNU BPEL2oWFN
BPEL
GNU BPEL2oWFN 2.0.0
WS
Web Service
expressed in
BPEL2oWFN 2.0.0
web
service
WS-BPEL
expressed
translates
2.0.0
GNU BPEL2oWFN 2.0.0
Bookmark GNU BPEL2oWFN 2.0.0
GNU BPEL2oWFN 2.0.0 Copyright
WareSeeker periodically updates pricing and software information of GNU BPEL2oWFN 2.0.0 full version from the publisher, so some information may be slightly out-of-date. You should confirm all information before relying on it. Software piracy is theft, Using crack, password, serial numbers, registration codes, key generators is illegal and prevent future development of GNU BPEL2oWFN 2.0.0 Edition. Download links are directly from our publisher sites, torrent files or links from rapidshare.com, yousendit.com or megaupload.com are not allowed
Featured Software
Want to place your software product here?
Please contact us for consideration.
Contact WareSeeker.com
Sponsored Links
Related Information
yahoo web service
web services
what is a web service
expressed in blue
web services introduction
web service tutorial
web services tutorial
java web service
web service security
web service eclipse
web service architecture
weather web service
web service company
web service netbeans
web service providers
amazon web services
yahoo web services
measurement expressed in m3
Version History
Related Software
Golfinho project is a J2EE application to administrate qmail-ldap. Free Download
pydelicious allows you to access the web service of del.icio.us via its API through python. Free Download
NewsBro project is a web application providing usenet news service. Free Download
Boxfs is a FUSE-based filesystem to access files stored on a box.net account. Free Download
Pod::WSDL is a Perl module that creates WSDL documents from (extended) pod. Free Download
Openwsman is a project intended to provide an open-source implementation of the Web Services Management specification. Free Download
Pyroman is a flexible and fast firewall tool. Free Download
Japha is a free, open-source API for php. Free Download
Latest Software
Popular Software
Favourite Software
