Open Source Java UML Tools - Page 13

Paxion is a graphical editor for Büchi automata (a special kind of finite state automata), written in Java. The ultimate goal is to provide a graphical frontend for several modelcheckers but it can already be used as a standalone editor of automata.

Simulation too for assessing the availability of Peer-to-Peer storage schemes, such as Distributed Hash Tables, Bucketing, and Replication.

PeerSE is a graphical experiment environment for analysing and developing peer-to-peer (p2p) systems in Java.

PerMoTo is a Performance Modelling Tool suite for decision support in the capacity and performance management of distributed transaction processing systems based on Queueing Theory and Discrete Event Simulation.

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.

Briefly said, PetriNetExec is an open-source Java library which allows you to embed Petri Nets into your Java application. Using PetriNetExec you can define places and transitions, connect them using arcs and inhibitors, define the initial marking and then fire events and see how tokens flow into the network. * PetriNetExec does not provide a GUI for editing the network nor will it provide in the near future. That is not really a feature :-) but to those of you able to cope with this news I suggest to read further; * Petri Nets are created with PetriNetExec by writing Java code and using the provided API; * PetriNetExec provides a simple yet powerful callback mechanism allowing you to actually do something when events are fired and the network status is changing. * PetriNetExec is embeddable into your Java application. This means that you can build your own application and add Petri Nets into it. * PetriNetExec is open-source.

Physhun is a Java framework for building and executing finite state machines in J2SE and J2EE environments. State models are defined as collections of Spring beans, and do not use proprietary modeling languages. The framework is simple and flexible.

This project will provide tools that leverage Pi Calculus to build more robust Service implementations in Java, that can be verified against a global model description (as defined in the pi4soa project).

This project will provide tools that leverage WS-CDL and Pi Calculus to build more robust Service Oriented Architectures (SOA). The tools are now released (and supported) through JBoss Tools (version > 3.2): http://www.jboss.org/tools

Scribble is a language for describing global (choreography) and local (service endpoint) behaviour. Extensible tools are provided, both standalone and as Eclipse plugins, to edit the language, perform validation and export to other appropriate notations.

PlantUML Modeler lets you create UML diagrams through a graphical user interface and transform them to the PlantUML language.

Provide Eclipse plugins that support the CA Plex application development tool

Plateforme UML pour l'enseignement. A UML plateform for teaching.

PopperFramework is a java framework which allows you to create PageObjects for your webapplication-tests in a declarative way. That means you just have to define an interface defining the structure of your website and add some annotation with the basic information like locators. PopperFramework will generate the implementation of that PageObject for you. Key-Goal of PopperFramework is to allow you as a developer of sureface-tests to concentrate on your business => writing PageObjets and Tests, not wasting time by writing boilerplate code. PopperFramework uses WebDriver-API to implement your PageObjects but its API is completly vendor-independent. So when there comes something better than WebDriver you change the implementation of PopperFramework and change to the vendor you need. PopperFramework is highly configurable with a lot of hooks which allow you to customize PopperFramework behaviour to your needs.

PREESM provides a complete framework for fast prototyping. It generates a simulation and an optimized multiprocessor code from graph descriptions of algorithm and architecture. Please visit the project homepage at http://preesm.sourceforge.net.

Pretty Damn Quick (PDQ) analytically solves queueing network models of computer and manufacturing systems, data networks, etc., written in conventional programming languages. Generic or customized reports of predicted performance measures are output.

Our aim is to develop a tool that converts textual constraints written in the OCL 2.0 language into instances of the OCL 2.0 metamodel. We use as a conceptual modeling environment the einaGMC tool http://guifre.lsi.upc.edu/eina_GMC/

PROFACE is a User Interface Prototyper developed in Java. The objective of Proface is not code generation, but allow design/creation of interface idea with colors, buttons, texts, images, links and others.

A Java language implementation of a ProxyBean (i.e. a generic implementation of an interface that follows standard Java bean conventions).

(Pre-Alpha) Cross-Platform ERD to Database Design Tool built in Java. Currently Supports PostgreSQL. Not Feature-Complete.

QVT-Parser parses QVT-Relations model-transformation specifications from textual syntax into EMF QVT-models. QVT defines a language for expressing model-to-model transformations. The parser is is built using ANTLR and EMF.

QVT-Rel2Op translates QVT-Relations model-transformation specifications to the imperative QVT Operational Mappings language. It is based on EMF, openArchitectureWare, ANTLR and the QVT-Parser project.

The Quarrel tool renders UML diagrams from text-based, declarative inputs for quick and easy modeling, as described in the UML as Sketch practice. The first release will only support class diagrams, but future releases will support more diagram types.

QPME (Queueing Petri net Modeling Environment) is a performance modeling and analysis tool based on the Queueing Petri Net (QPN) modeling formalism.

RADLib is a graphics library. It was written in order to help developers design graphics applications easily and quickly. The library is available for .NET, Java, Delphi, Kylix.