Search Results for "graphical data" - Page 2

JS4J is an extensible framework built on Java and XML that generates Javascript. It contains a built-in implementations to manage objects that have been generated by the framework, and can provide a scalable alternative to AJAX implementations.

BPeX is a new XML-Schema model (based upon BPMN OMG specifications and XPDL 2.0) that aims to give a valid support to represent and to analyze business processes, with a graphical support provided by a syntax-aided editor.

The Genomic Diversity and Phenotype Data Model (GDPDM) captures molecular and phenotypic diversity data. MySQL databases are used to implement the schema. This project develops software tools (written in Java, Perl, etc.) associated with this model.

This project proposes a tool for formal verification of web services composition based on Pi-calculus and the conversion between BPEL and pi-calculus. This tool integrates two kinds of formal verification techniques and can validate automatically.

Waters - the Waikato Analysis Tool for Events in Reactive Systems. This software will enable users to create finite-state machine models in a graphical user interface, to simulate their execution, and to apply model checking algorithms to them.

A visual Domain-Specific Language for Data Transformations, which generates programs for non-programmer domain-experts. The generated program will extract data from one source and converts it into a meaningful format defined by the user.

Open Designer is a graphical Conceptual and Physical Data Modeler and a Code Generator either to create the database structure and genenate applications automatically.

UMLet is an open-source Java tool for rapidly drawing UML diagrams, with a focus on a sound and pop-up-free user interface. Its homepage is www.umlet.com. v15.1 released on March 20, 2023.

A UI that displays a map that uses "wormholes" to navigate to a user's favorite locations. The map will display locations at scales as diverse as galaxies, planets, houses, living beings, internal organs, and even atoms and sub-atomic particles.

Simple editor and analyzer of Petri nets. It allows you to build reachability tree with/without instant transitions and Markov chains. It is also possible to set transition distributions and set all the parameters of the current distribution. This project was made as a course project at NTUU "KPI" during attending classes "Computer modelling". Feel free to make any changes to the current version or ask me if you have any question.

An eclipse RCP project for quickly and easyly to develop java project, for developer or designer. It includes some model definition about data, rule, flow. Of course, an IDE for them.

Entity Relationship Designer written totally in java (using Sun Java Studio) and based on Mogwai ER Designer. Includes ability to connect to several data sources including mySQL.