GNU BPEL2oWFN 2.0.0

Date Added: June 07, 2010 | Visits: 832

Report Broken Link
Printer Friendly Version

Product Homepage
Download (103 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

USER REVIEWS

More Reviews or Write Review

GNU BPEL2OWFN RELATED

Development Editors - LSP tutorial 1.0 Tutorial for the Lua programming language and web-development using LSP. Lua Server Pages, LSP for short, is a blinding fast general-purpose scripting language that is well suited for Web development and can be embedded into HTML. LSP supports the...	24 KB
Network & Internet - Ravenous 0.9.17 Ravenous is full featured web server written in Java. It allows you to write dynamic pages in Java without the need to read stacks of books before you get started... pure javalicous programming for your web projects! Ravenous is different...	768 KB
Network & Internet - Roadsend PHP SiteManager 2.6.0 / 4.0.0 Beta Roadsend Compiler for PHP produces optimized stand alone applications, GUI applications (with GTK), libraries, and web applications from standard PHP source code. The compiler produces native machine code, not PHP byte code, therefore...	276.48 KB
Network & Internet - Xplosion 0.4.1 There are a lot of web site or portal engines out there. But the problem with most of them is that they are either too complicated for a web developer to modify, or their API code is mixed up with HTML, which makes it just as ugly to customize....	389.12 KB
Desktop Utilities - File type determination 0.9 File type determination is a little KDE Service Menu that calls the GNU file command to retrieve Mime information from files, and presents it inside a standard KDE dialog..
Network & Internet - Minalyzer Lite 2007.05 Minalyzer Lite project index and search tools to your internet or intranet website. Minalyzer Lite supports user searches by indexing data from combinations of databases, file systems and websites. The project runs on almost all Operating Systems....
Web Authoring - CodeThatBuilder 1.1.1 CodeThatBuilder is a powerful tool that enables you to create Web site navigation using CodeThatMenu, CodeThatTree or CodeThatXPBar fast and easy. With CodeThatBuilder you can design the structure and customize the appearance of your menus or...	767 KB
Utilities - Little RGB Color Picker 2.0 Select a color from the palette and this handy little utility displays the html hex code and the RGB values for that color. Fine tune the color using the sliding controls. Also shows a color sample. Copying the codes to the clipboard is just a...	1.2 MB
Libraries - eGTK 0.3.5 eGTK is a binding between the Eiffel programming language and the GTK+ widget toolkit. eGTK works with two compilers: the GNU SmallEiffel compiler and ISE Eiffel (commercial compiler). Gtk+ is a widget toolkit for X-window systems. Gtk+...	235.52 KB
Java Based Databases - JBoost - Developer Edition 2.1.0.1 JBoost provides a tightly integrated suite of essential application infrastructure services that eliminates redundant programming tasks, including: Web Security Management Presentation Management Globalization Strategy Web Asset Management...	5.3 MB

NEW DOWNLOADS IN LINUX SOFTWARE, PROGRAMMING

Linux Software - EasyEDA PCB Designer for Linux 2.0.0 EasyEDA, a great web based EDA(Electronics Design Automation) tool, online PCB tool, online PCB software for electronics engineers, educators, students, makers and enthusiasts. Theres no need to install any software. Just open EasyEDA in any...	34.4 MB
Linux Software - wpCache® WordPress HTTP Cache 1.9 wpCacheÂ® is a high-performance, distributed object, caching system application, generic in nature, but intended for use in speeding up dynamic web applications, by decreasing database load time. wpCacheÂ® decreases dramatically the page...	3.51 MB
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
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 - Math::GMPf 0.29 Math::GMPf - perl interface to the GMP library's floating point (mpf) functions.	30.72 KB
Programming - Net::Wire10 1.08 Net::Wire10 is a Pure Perl connector that talks to Sphinx, MySQL and Drizzle servers. Net::Wire10 implements the low-level network protocol, alias the MySQL wire protocol version 10, necessary for talking to one of the aforementioned...	30.72 KB
Programming - logilab-common 0.56.2 a bunch of modules providing low level functionnalities shared among some python projects devel Please note that some of the modules have some extra dependencies. For instance, logilab.common.db will require a db-api 2.0 compliant...	174.08 KB
Programming - OpenSSL for linux 1.0.0a The OpenSSL Project is a collaborative effort to develop a robust, commercial-grade, full-featured, and Open Source toolkit implementing the Secure Sockets Layer (SSL v2/v3) and Transport Layer Security (TLS v1) protocols as well as a...	3.83 MB

Windows Software	BeOS Software
Macintosh Software	Linux Software
PDA Software	OS/2 Software
Mobile Software	Scripts