Open Source Java UML Tools - Page 17

Universal Unified Model

The aim of this project is to to provide a set of interrelated modeling languages that can be used to model businesses and their related entities. The language will covers aspects such as business process, organizational structure, and business entities

Extend the Alloy model checker (Java) to more natively support the OO concepts of dynamic dispatch and inheritance.

This project targets to develop a visual UML editor for the popular Eclipse IDE. The visual UML editor plugin is fully compatible with the Eclipse Framework and allow developers easily to model and document their software through the UML2 diagrams.

The Visio-EMF Bridge offers the transformation of Visio stencils and Visio models into EMF metamodels and EMF models, respectively. The bridge enables the processing of Visio models with EMF tools, such as, openArchitectureWare or Eclipse Epsilon.

VisualPerspective is a modeling and diagram creation tool. It enables to create free diagrams but also semantic oriented ones (for instance UML diagrams), in order to run automatic processing (transformations, exports, parsing). There is currently no installer, so you should follow this procedure : http://enzweiler.info/visualperspective/002-installation.html You are very welcome to report any issue with VP.

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.

Water: a fast, secure, dynamic OO language and database. Water is an all-purpose language (and meta-language) that runs Web applications in the browser or server-side. Water is compatible with .NET, Java, and C on Windows, Linux and Mac OS X system.

Web 2.0 environment for collaborative and extensible design of object interconnection diagrams like UML, networks, circuits and other graph based diagrams. Client: Web-based (AJAX / Dojo Toolkit) Server: JEE Application (Struts Framework)

This project provides a framework for the generation of workflow code from high-level models. It enables people with no or little experience in this area to generate workflow code a reasonable time by specifying generation templates and reusing adapters.

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.

XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)

The XMI Tools are a library for reading and manipulating XMI files. The main application is called XMI-Linker; it allows us to split UML models into several files.

Xcarecrows4MDA provides a complete toolset to build models and check their behavior for standalone applications or whole systems with a hierarchical, state driven approach. A test component checks the safety of the model under various situations.

Xcarecrows 4 MDI provides a graphical tool to model applications/systems in UML and execute them in compliance with the MDA process defined by the OMG. Integrated in Rational Software Modeler by IBM, its UML profile fits efficiently with Xcarecrows 4 MDA

XgaG stands for "XgaG generates all Games". Our goal is to provide an easy to use modeling environment to build all kinds of board games.

The Xholon project explores: software as systems of linked nodes, organized hierarchically. The Xholon toolkit supports this back-to-basics approach, and demonstrates practical benefits through examples from numerous domains.

Yet Another Component Meta Model Framework. Similar to the Java reflection API, but generic so it can be used with different implementations, and then be used by various Services like Editors, Constraint-Checkers, Bindings, Persistence, and Transaction.

itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms. Visit http://www.statecharts.org for more information! !! YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools

Yaoqiang XPDL Editor (YXE) is a graphical editor for workflow process definitions, compliant with WfMC specifications( XPDL 2.1 and 1.0 )

Yop is an object oriented persistence API generator.It supports various programming languages such as PHP5 and Java.The goal of this project is to provide an easiest and fastest way to deal with persistence by using a simple XML object description format

Das erste Projekt mit dem RaspberryPi Model B - Ein Multifunktions Wecker. Ich habe mir dieses Projekt ausgesucht da es derzeit auf dem Markt kaum bzw keine günstigen Internet Radio Wecker zu kaufen gibt (meistens ab 80€ und aufwärts...) daher DIY

TextUML Toolkit is an IDE for UML that lets you create models at the same speed you write code by using a textual notation instead of the conventional graphical one. This project is now hosted on github. https://abstratt.github.io/textuml

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.

The a(MDĆ)˛ project constitutes a toolchain supporting a Model Driven Approach to Multi-Dimensional software Engineering. It enables multi-dimensional separation of concerns at the model level, by generating (Java) source code from UML specifications.