Open Source Java UML Tools for BSD

Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

The Whole Platform is a technology for engineering the production of software. We provide an Eclipse based Language Workbench for developing, manipulating and transforming languages using a model driven approach.

JGraphT is a free Java class library that provides mathematical graph-theory objects and algorithms. JGraphT supports a rich gallery of graphs and is designed to be powerful, extensible, and easy to use.

Yaoqiang BPMN Editor is a graphical editor for business process diagrams, compliant with OMG specifications (BPMN 2.0 / DMN 1.1).

jFuzzyLogic is a java implementation of a Fuzzy Logic software package. It implements a complete Fuzzy inference system (FIS) as well as Fuzzy Control Logic compliance (FCL) according to IEC 61131-7 (formerly 1131-7).

A fast and reliable tool, written in Java 8, for generating professional UML sequence diagrams from text. Supports actors, con-/destructors, threads, broadcasts, notes, and fragments. Can serve as a Javadoc taglet. Exports PDF, (E)PS, SVG, PNG, ... The source code is hosted at http://github.com/sdedit/sdedit

Mimosa is a modeling and simulation platform, covering the process from building conceptual models to running the simulations. The specification uses ontologies and an extensible set of formalisms for the dynamics. The simulation kernel is based on DEVS.

PlantUml Dependency allows to parse / reverse engineering source files (only Java is supported by now) to generate a PlantUml description, allowing to draw the UML class diagram associated to the source code.

Calculation of camshafts - allows to define a camshaft profile on the set trajectory which should provide the given mechanism. The trajectory can be set graphically, co-ordinates or function.

The bflow* Toolbox is an open source tool kit for business process management. The objective of bflow* is to explore new ways and scenarios for the development and use of modelling tools.

Extracts dependencies and OO metrics from Java class files produced by most Java compilers. Computes API differences between versions. No source needed. Includes both Swing and command-line interfaces, with XSL stylesheets for formatting output.

Code 2 UML is a tool for constructing UML class diagrams from java .class and .jar files. Requirements: JRE 1.6

A complete, fast, previously commercial, JDO 1.0.1 implementation for databases, opened by Versant in 2005 and then abandoned in early 2006. The design-time code is already in Eclipse Dali. This project is the original source drop, including the runtime.

This project develops a graphical tool to support i* modelling and analysis of the stakeholder requirements. The main development site is at https://se.cs.toronto.edu/trac/ome

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

EasyStruts provide advanced support for developing Struts web applications with Eclipse . keywords: MVC, Struts, Eclipse, Java

Fourth generation database designer and code-generator for educational purposes and speeding-up database designing and creating work.

MSCViewer is a tool intended for debugging of control flows in concurrent, distributed systems. The tool loads logs generated by various entities in the system and visualize a sequence diagram chart for events and interactions. The diagram is fully interactive: entity can be added/removed from the diagram and shuffled; events can be filtered, searched, highlighted and annotated with comments. MSCViewer features integration with a Python interpreter which allows writing Python scripts interacting with the model. This powerful feature can be used to automate validatation of distributed control flows, integrate with graphing infrastructure, etc.

This project provides an open-source framework for the generation of high quality source code which is suitable for safety-critical applications and certification (e.g DO-178B). Currently a Simulink and Stateflow front-end and a C-language back-end are included. Some of the strengths of UCGN: - Clearly readable source-code - Separation of functionality and parameters ("tunable parameters") - Robust data storage (compile-time static structures in favor of pointer run-time constructs) - Clear software architecture, direct correspondence to the model architecture - Separation of reusable library code - Simplicity and uniformity of software interfaces (for testing etc.) The following features are supported by the Simulink/UCGN - Discrete single-rate Simulink models and libraries - Block library with 50+ standard Simulink blocks - Periodic, condition-driven Stateflow charts (including flowgraphs, loops) - Structured data types through bus objects - Simulink native enumer

AgilPro is an Eclipse based business process modeling suite providing a Business Process Modeler [LiMo - Light Modeler], a desktop application to preview and run processes [Simulator] and Application Adapters to plug in standard apps: Firefox, OpenOffice

The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.

The previous home of the Domain-Driven Design sample application implementation.

An Eclipse plugin for generating code out of an Entity-Relationship-Diagram (ERD). Currently SQL-DDL and POJO classes with EJB3.0 Annotations are supported. The diagrams conform to the diagram description by H. Buff (german book, ISBN 3-03-440201-5)

JPEd is a graphical editor for processes descriptions. It uses the XPDL 1.0 interchange format as specified by the WfMC.

JS/UML is a plugin for the Eclipse IDE that reverse-engineers JavaScript code to a UML model which can then be used to generate documentation and other artifacts.