GNU BPEL2oWFN 2.0.0 |
Date Added: June 07, 2010 | Visits: 267 |
|
||||||||
|
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).
|
| License: Freeware | Size: 737.28 KB |
|
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 | |
|
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... |
||
|
Misc. Information Databases
-
web SQL programming tool - Shusheng SQL Tool 1.1
web-based SQL programming tool for sql programmer. Program stored procedure, view, user function, inline function, trigger, checks, job steps and other sql scripts from a web browser with syntax highlighting, syntax check and sql query... |
847 KB | |
|
Utilities
-
fhp 0.2.0 RC1
fhp is a set of m4 macros for creating Web pages that conform to GNU standards. fhp project automatically generates an HTML skeleton and the table of contents, and adds an link to GNU on every page. Web pages are easily generated with a... |
122.88 KB | |
|
Programming
-
Wi.Ser 0.7.1
WidgetServer (WiSer) is a Java/XML server-side GUI-framework which enables an application to run as either - a monolithic application with a Swing GUI, - a client/server application with a thin Swing client, - or as an application with a rich... |
1.72 MB | |
|
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.... |
|
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 | |
|
Linux Software
-
Debian 2.0
Debian is a free, or Open Source, operating system (OS) for your computer. An operating system is the set of basic programs and utilities that make your computer run. At the core of an operating system is the kernel. The kernel is the most... |
65 MB | |
|
Linux Software
-
Kdiff-Ext for Konqueror 0.3
Kdiff-ext is a KDE's Konqueror context menu extension. It adds commands to launch file comparison/merge tools, it also remembers your selection so you can run comparison/merge later on. Use Kdiff-ext with KIO supporting file comparison tool such... |
430 KB | |
|
Linux Software
-
Superkill 1.16
Superkill terminates one or more processes with the same name or specified PID.. Tested in the following systems: Linux 2.2.5.15, AIX 4.3, IRIX 6.3, HP-UX B.10.20 and SunOS 5.6. |
30 KB | |
|
Programming
-
RailsTidy 0.1
RailsTidy project is a plugin for Ruby On Rails.. |
11.26 KB | |
|
Programming
-
Strings edit 1.9
Strings edit is a library that provides I/O facilities for integer, floating-point, Roman numbers, and strings. Both input and output subroutines support string pointers for consequent stream processing. The output can be aligned in a fixed size... |
54.27 KB | |
|
Programming
-
BScript 0.3
BScript is a (yet another) BASIC interpreter. It is free software and open-sourced, licensed under the terms of the GNU General Public License version 2 or later. You can use BScript to teach BASIC to your students, write understandable shell... |
112.64 KB | |
|
Programming
-
Kits JavaScript Brainf*ck Interpreter 0.01
Kits JavaScript Brainf*ck Interpreter is a rather fast interpreter for the Brainf*ck esoteric programming language.. Kit's JavaScript Brainfuck Interpreter v0.01 |
5.12 KB | |
|
Programming
-
dis6502 0.12
dis6502 is a flow-tracing disassembler for the 6502, originally written by Robert Bond and supporting Atari binary files. Robert posted dis6502 to the Usenet newsgroup net.sources on 9-Oct-1986, and to comp.sources.unix 7-Jun-1988. Udi... |
19.46 KB |
