MDG for Sparx' Enterprise Architect to Create TRAK arch. descriptions
Custom add-in (MDG technology) for Sparx Systems Enterprise Architect UML modelling tool to create architecture descriptions using TRAK http://sf.net/projects/trak Provides: - the set of TRAK views that can be represented using UML. Each view display a custom toolbox palette with the objects and relationships that are needed for that TRAK view - relationships can be made directly from the objects on a view using the Quicklink feature which presents the allowed relationship(s) by TRAK between the pair of objects selected - a custom set of searches. When run these will list objects of a particular type (e.g. all Systems, all Enterprise Goals), potential quality problems (e.g. diagrams and objects without any description, objects not linked to any other), things of interest (e.g. open, closed concerns) and view-like results e.g. all structural relationships in the solution - scripts to generate views - model views to list objects meeting search criteria
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.
Implementation of TRAK enterprise architecture framework as UML profil
UML profile for TRAK that provides the objects and relationships needed for a UML enterprise architecture modelling tool. TRAK is a general systems enterprise architecture framework based on MODAF.
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.
A free cross-platform editor for the DRAKON visual language.
USE is a system for the specification and validation of information systems based on a subset of the Unified Modeling Language (UML) and the Object Constraint Language (OCL). Please report any encountered bugs using the ticket system. The USE documentation can be found on the project homepage linked below. Downloads for the most popular plugins can be found here: http://sourceforge.net/projects/useocl/files/Plugins/
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.
The goal of the project is to create specifications and provide reference parser in Java and C# for Extensible Term Language.
Yakindu Statechart Tools (SCT) is an Open-Source-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
Shows an unexpected exception handling design pattern concept, in Java
Java Throwability Design Pattern v1.3. This project serves to show the concept of the Throwability Design Pattern in Java. About the Throwability Design Pattern: 1. It is a design pattern suggested, and named, by Daniel Silva Ferreira Bruno. 2. It serves to handle, in a simple way, with unexpected errors, and exceptions, in a generic app (written in Java, for this project!). 3. It can to be done in any programming language that support it. 4. It serves for classes and interfaces, in Java. 5. It works with Java 6, Java 7, and Java 8, at least. Read more, from README file, in the files section of this project. This project is no longer active because I stopped playing with Java since a long time.
an Open Source BPMN 2.0 / DMN 1.1 Modeler
Yaoqiang BPMN Editor is a graphical editor for business process diagrams, compliant with OMG specifications (BPMN 2.0 / DMN 1.1).
Open-source code generator for Simulink/Stateflow
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
JPEd is a graphical editor for processes descriptions. It uses the XPDL 1.0 interchange format as specified by the WfMC.
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.
Formal Modelling in VDM
Note that VDMJ has now moved to GitHub: https://github.com/nickbattle/vdmj VDMJ provides basic tool support for the VDM-SL, VDM++ and VDM-RT specification languages, written in Java. It includes a parser, a type checker, an interpreter (with arbitrary precision arithmetic), a debugger, a proof obligation generator and a combinatorial test generator with coverage recording, as well as JUnit support for automatic testing. VDMJ is a command line tool, but it is used by the Overture project, which adds a graphical Eclipse IDE interface (see screen shots).
Java implementation of FQL
A Java implementation of FQL. The Form Query Language (FQL) is a language based on forms as SQL is a language based on tables.
java-turing-emulator aims to provide a GUI for creating, editing and simulating Turing machines and deterministic machines. its build in java and uses the swt-framework.
SPE is a python IDE with auto indentation&completion,call tips,syntax coloring&highlighting,uml viewer,class explorer,source index,todo list,pycrust shell,file browsers,drag&drop,Blender support.Spe ships with wxGlade,PyChecker and Kiki.
Framework to separate Business Logic from Code
Let your BA define all business logic as set of Excel files. Thank just compile these files to an executable Java Web project without writing any line of code
An UML graphical editor based on a text (code like) description of the model.
Code 2 UML is a tool for constructing UML class diagrams from java .class and .jar files. Requirements: JRE 1.6
This is a modelling tool for Aspect Oriented Software Development as an Eclipse Plug-in.
A PHP code generator for web application, based on templates. It generate a DAL, a backend and a set of simple framework function to easy implement a fully customized frontend.
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 Location Containment Object Model(LCOM) is a simulation framework written in Python. LCOM provides a rule-based solution to handling partial object containment, object migration, message passing, and simulation observation.