Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 30.143.101 Times

GNU BPEL2oWFN 2.0.0

  Date Added: June 07, 2010  |  Visits: 614

GNU BPEL2oWFN

Report Broken Link
Printer Friendly Version


Product Homepage
Download (74 downloads)

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.. GNU BPEL2oWFN translates a web service expressed in WS-BPEL (Web Service Business Process Execution Language) into an oWFN (open Workflow Net).

Requirements: No special requirements
Platforms: Linux
Keyword: Compilers Expressed Gnu Programming Service Translates Web Web Service Ws-bpel
Users rating: 0/10

License: Freeware Size: 737.28 KB
GNU BPEL2OWFN RELATED
Security Tools  -  A+ Web Privacy Service 2.1
A+ Web Privacy Service is an Online Service that hides your IP address and provides a high level of protection from the ever-increasing variety of Web-based online threats: online trackers, spammers, harvesters and snoops, hackers etc. Also...
300 KB  
Server Management  -  SUAS MapServer 3.20.0625
SUAS MapServer is a PHP based Web Map Service (WMS) and WFS implementation according to OGC's specification. Data are stored according to Simple Features Specification in WKT format and delivered (among others) in SVG, PDF, Flash, PNG, and GIF...
 
Science  -  Web Map Service for NetCDF data 1.0rc3
Implementation of an OGC Web Map Service, primarily for serving images dynamically generated from NetCDF data files (although other file formats can also be handled). Also an AJAX web mapping interface based on OpenLayers.
24.57 MB  
Business  -  Web Postal Service 0.9.1
this component provides a web postal service for e-business php platforms. Implementing exchanges with major e-business web services providers becomes a breeze !
11.38 KB  
Desktop Utilities  -  Decrypt and Extract Here Service Menu 1.1-4
Decrypt and Extract Here Service Menu installs a service menu for Konqueror that decrypts and extracts the contents of encrypted tarballs. Once install, a "Decrypt and Extract Here" entry is added to the Actions context menu in Konqueror. This...
13.31 KB  
Business  -  FREE Online Meetings | Web Conferencing 7.6
Easy, fast, and secure online meetings and web conferencing. Connect with anyone, anywhere, in real time. eBLVD combines desktop sharing through a web browser and phone conferencing so that everyone can see and hear the same thing at the same...
326 KB  
Libraries  -  WMS Javascript Library 0.02
WMS Javascript Library is an object-oriented JavaScript library for creating dynamic Web-based maps from otherwise static WMS (Web Map Service) images by adding pan/zoom functionality with Google Maps-like draggability. Custom clickable overlays...
389.12 KB  
Business  -  Easy Web Mail 0.1
A web mail service based on J2EE and open source sql database. It supported rules, addressbook, etc..
57.49 KB  
Networking  -  HessianPHP RC1 1.0
"The Hessian binary web service protocol makes web services usable without requiring a large framework, and without learning yet another alphabet soup of protocols. Because it is a binary protocol, it is well-suited to sending binary data without...
 
Miscellaneous  -  Web Interface to Octave 0.1.0
Web Interface to Octave allows to run GNU Octave commands from a web browser. Application is written in PHP and needs SQL database.It supports user profiles, user-created functions, scripts.
51.2 KB  
NEW DOWNLOADS IN LINUX SOFTWARE, PROGRAMMING
Linux Software  -  Polling Autodialer Software 3.4
ICTBroadcast Auto Dialer software has a survey campaign for telephone surveys and polls. This auto dialer software automatically dials a list of numbers and asks them a set of questions that they can respond to, by using their telephone keypad....
488 B  
Linux Software  -  Total Video Converter Mac Free 3.5.5
Total Video Converter Mac Free developed by EffectMatrix Ltd is the official legal version of Total Video Converter which was a globally recognized brand since 2006. Total Video Converter Mac Free is a free but powerful all-in-one video...
17.7 MB  
Linux Software  -  Skeith mod_log_sql Analyzer 2.10beta2
Skeith is a php based front end for analyzing logs for Apache using mod_log_sql.
47.5 KB  
Linux Software  -  SLAX 6.0+
Slax is a modern, portable, small and fast Linux operating system with a modular approach and outstanding design. Despite its small size, Slax provides a wide collection of pre-installed software for daily use, including a well organized graphical...
190 KB  
Linux Software  -  GTK+ 2.5
GTK+, which stands for the GIMP Toolkit, is a library for creating graphical user interfaces for the X Window System. It is designed to be small, efficient, and flexible. GTK+ is written in C with a very object-oriented approach. Language bindings...
60 MB  
Programming  -  FLEX-db Digital Asset Manager 3.0.9
FLEX-db - an enterprise Digital Asset Manager (DAM). It ingests and links metadata with files, creates thumbnails, and processes files using business rules. FLEX-db has a JSP client, Java app server for file input and output and an EJB metadata...
21.57 MB  
Programming  -  Libicom 0.9.0
The libicom library is a character based dynamicly linked library for Linux. It is used to remotely control the Icom IC-R8500 wide band receiver via an RS232 link. All call and return parameters to the control functions are character string based....
20.48 KB  
Programming  -  dotdesktop 0.3
Dotdesktop library provides ability to parse desktop entry file and access the information in a convenient way. Desktop entry file format is defined by freedesktop.org, it is used to describe information about an application such as the name and...
327.68 KB  
Programming  -  Cedalion for Linux 0.2.6
Cedalion is a programming language that allows its users to add new abstractions and define (and use) internal DSLs. Its innovation is in the fact that it uses projectional editing to allow the new abstractions to have no syntactic limitations.
471.04 KB  
Programming  -  libyasl 0.2
Libyasl is a C++ class library to easily realize TCP/UDP/Multicast clientsand servers in IPv4 and IPv6 environments under GNU/Linux systems.
143.36 KB