Open Source Java UML Tools for Windows

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.

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.

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.

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.

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.

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.

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.

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.

JSDAI is a toolkit for STEP (ISO 10303), the STandard for the Exchange of Product Model data, that enables linking of CAD, CAM, PDM, PLM, CAx systems. JSDAI supports the development of Express data models (ISO 10303-11) and their implementation in Java.

Adaptive Work-Centered User Interface Technology (ACUITy) utilizes semantic technology in an ontology-based approach to modeling and implementing intelligent user interfaces.

The Bidirectional Object-oriented Transformation Language (BOTL) is a tool for object-oriented model transformations.

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.

GSH builder is a free Galois Sub-Hierarchy visualization tool. The algorithm for calculating GSH is called Pluton and the present Java realization is based on two articles. "Efficiently computing a linear extension of the sub-hierarchy of a Concept Lattice" by Anne Berry, Marianne Huchard, Ross M. McConnell, Alain Sigayret and Jeremy P. Spinrad. "Performances of Galois Sub-hierarchy-building algorithms" by Gabriela Arevalo, Anne Berry, Marianne Huchard, Guillaume Perrot and Alain Sigayret In you're in need of other GSH algorithms or their realizations in C++, you might want to investigate a project called Galicia on sourceforge. This program is free software and is licensed under GNU General Public License as published by the Free Software Foundation. Only jre7 compliant at the moment.

GridABM is an easy-to-use toolkit to develop high-performance agent-based models (ABMs) in Repast. GridABM facilitates large-scale simulation of ABM on multicore computers, local computing clusters, or computational grids.

JAGAL provides implementations for directed graphs (weighted and unweighted) and varoius types of transition systems as well as utils for graph traversal and modification. JAGAL builds upon the Java library TOVAL (located at http://sourceforge.net/p/toval). To use JAGAL, make sure the TOVAL library is on the build path. This library uses and encloses jGraphX (https://github.com/jgraph/jgraphx). A documentation for JAGAL can be found under http://doku.telematik.uni-freiburg.de/jagal.

Japrosim is a java library for both discrete event and continuous simulation. GUI for modeling and automatic code generation are offered. An explanation module is integrated. Models are described in XML and owl for interoperability.

JAS-mine is a Java platform that aims at providing a unique simulation tool for discrete-event simulations, including agent-based and microsimulation models. With the aim to develop large-scale, data-driven models, the main architectural choice of JAS-mine is to use whenever possible standard, open-source tools already available in the software development community. It has built-in utilities for communicating with an underlying relational database. In addition, the platform provides standard tools which are frequently used both in agent-based modelling and dynamic microsimulations, like design of experiments (DOE), run-time monitoring and visualization with plots and graphs (GUI), I/O communication and statistical analysis. JAS-mine source code can be found on GitHub, with the core repository at: https://github.com/jasmineRepo/JAS-mine-core and the GUI repository at: https://github.com/jasmineRepo/JAS-mine-gui

JPowerFlow - a steady state electric power system power flow solver.

The Java Aspect Metamodel Interpreter (JAMI) is a research framework for modeling and experimenting with aspect-oriented programming languages. Common language design concepts and their operational semantics are modeled, and can be run by an interpre

Java Fuzzy Editor is a basic editor to allow creation of fuzzy based rules. It will save to serveral formats including to source code in several languages.

KEManager models Knowledge Based Systems following a methodological approach ( Knowledge Engineering) for academical purposes of CommonKADS and IDEAL. It supports the viability test, some knowledge acquisition techniques and conceptual modeling.

The Language for Executable Models (LEM) is a text-based representation for Executable/Translatable UML models. This project also includes a "verifier" for executing these models.

Metaquokka is a highly configurable xml editor, currently available as Gridsphere portlet. Besides the default format, there is suppoert for ESysXML, a simulation description scheme for a geodynamics framework. Supports Generic Mapping Tools rudimentary.

SYSTEM FOR DESIGNING AND SIMULATE CONCURRENT AND DISTRIBUTED PROGRAMS IN CLUSTER ARCHITECTURE Provides graphical interface for configuring relationships between cooperating, abstract processes and simulate it in real cluster environment, using MPI.

This research project seeks to use compiler techniques to perform an attribute-based data-flow analysis on (MOF/UML)models allowing for a syntax-driven validation of a model's static semantics as well as an abstract interpretation of i dynamic behavior.