Search Results for "set"

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.

Modelio is an open source modeling environment tool providing support for the latest standards (UML 2, BPMN 2, ...). It can be extended by adding modules which add new functionalities. A large set of modules (free and open source) supporting code management (generation/reverse), modeling standards (TOGAF, SysML, SoaML, ...), document generation, ... is available from the Modelio Store (https://store.modelio.org/). Need help or want to share experience with the Modelio community? Go to our forum: https://www.modelio.org/forum/index.html.

FiniteSatUSE is a tool that provides correctness methods for UML class diagrams. It uses the USE System syntax for specification of the class diagrams.

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.

This is a set of regular grammar inference libraries. It contains tools to visualise the resulting grammar as a finite state machine and to actively contribute to the inference process. The repository has now moved to https://github.com/kirilluk/statechum

...It uses the StarUML as a KDM (Knowledge Discovery MetaModel) framework for existing systems. The module provides an incremental reverse engineering for C++ code with a set of configurable options, such as using namespaces or folder as packages, create attributes for relations or handle properties as relations,...

JavATE is a set of Java libraries that enables application development using the domain driven methodology.

The Gateways Team of the Live-Virtual-Constructive Architecture Roadmap Implementation (LVCAR-I) effort is developing a set of tools that will support the gateway community. One of these tools is the Simulation Data Exchange Model (SDEM) Mapping Language (SML) Editor. The tool provides the ability to import two SDEMs in their native language and subsequently view the entities that need to be mapped between the two SDEMs. The SDEM Editor also allows the user to create these mappings and store the result in an SML file.

Modelio-Open is a project hosting a set of open source extensions (SoaML, SysML and UML Testing Profile) for a previous version (1.2) of the Modelio Free tool . Currently, the lastest version (2.x) of Modelio modeling and generation tool is available at http://modelio.org/downloads/download-modelio.html. All extensions are downloadable at http://forge.modelio.org/projects.

A lightweight Approach for GUI Developing. The Main Goal of this Project is reducing costs of GUI Developing in Enterprise Applications. Its more than a technical Framwework. Its a also set of Rules to help Developers to handle complexity. Please visit

Bogor-PubSub is a set of extensions to the Bogor model checker enabling accurate, automatic verification of Publish-Subscribe infrastructures.

CM3 describes a set of plugins for several UML-Tools by adding validation-mechanisms to the tool. This enables the team to setup several individual validation-rules for their models.

This projects aims to be an UML modeling tool and a set of reusable components for other projects.

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

UMLMDA provides a set of java tools to read UML models from ArgoUML, Rational Rose, RSM or XMI and to setup generators with jsp based templates to generate code from the models. Based on this tools a MDA-Framework is developed for business applications.

Model Wizard is a set of Eclipse plug-ins that support Information Modeling using EMF/UML2. The plug-ins although initially targeted at the DMTF's Common Information Model should support any Object Orientated UML class model.

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.

xmi-utils is a set of java libraries for working with xmi model and metamodel defined by the OMG. features: xmi parser, xmi repository, create java interfaces from metamodel, proxy for interfaces generated from metamodel

A set of framework to build business applications using j2ee stack. It's aimed to be customizable and full feature. The approach is model driven architecture.

This project provides a full set of Interfaces and Classes that naturally brings the developer to follow the "Gang of Four" Design Patterns while producing software