Open Source UML Tools

The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.

EiffelStudio is an Integrated Development Environment (IDE) that provides comprehensive facilities to programmers. It offers a comprehensive suite of tools that enable programmers to produce correct, reliable, and maintainable software while keeping control of the development process. If you want to create fast, robust, scalable applications, then EiffelStudio™ will offer you a cost-effective solution. Imagine being able to model your system as you think – capturing your requirements and your thought processes with EiffelStudio. When ready to design, you build upon the model you just created, still with EiffelStudio. Then you implement with EiffelStudio. You never need to throw anything out and start over. You don’t need extra tools to go back and safely make changes in your architecture. Roundtrip engineering? It’s built in by design. Testing, metrics and productivity tools? They’re built in. EiffelStudio accommodates quickly and efficiently new thoughts and changes.

The Introspector enables the programming tools that deal with source code such as the compiler to communicate in a standard and neutral manner reducing the accidental cost of programming. http://github.com/h4ck3rm1k3/

BNF processing tool checks correctness of BNF grammar, generates cross-referenced HTML documentation, generates tests for language recognizers (parsers).

Dresden OCLallows to query arbitrary EMF-based models. It provides an advanced OCL2 Editor, a Parser, an Interpreter, and a Codegenerator for Java and SQL. WE MOVED TO GITHUB. PLEASE VISIT https://github.com/dresden-ocl/dresdenocl

The goal of the project is to create specifications and provide reference parser in Java and C# for Extensible Term Language.

M2SQL is a handy tool that permits to map your existing Mumps Globals in a relational Vision. The mapping process is simple and intuitive and is done only once. The Mapping process will describe the Mumps Globals data as a complex of Applications, Hierarchies, Relations and fields. Once mapping is completed you will able to replicate all the Mumps data into Target Relation database such as SQLITE or MYSQL. Normally you will do the replication process once a day while system is silent. This will give you a Relational Replication for Reporting or Business Analysis using industry standard tools. If you have a huge amount of data on your Mumps Globals you can choose an alternative mechanism in which only changes will be replicated to the target relational database and reflected almost immediately . The tool is a set of Mumps Routines and globals written on top of Intersystem IRIS , but using only pure Ansi standard Mumps .

Model-based development environment for embedded projects. Features a clean and advanced language designed for embedded programming.

Model4Lang is a framework for model driven language development. To develop a programming language of your own, whether it's a simple script language or a full-fledged one, you start by defining its abstract syntax in a model.

Our aim is to develop a tool that converts textual constraints written in the OCL 2.0 language into instances of the OCL 2.0 metamodel. We use as a conceptual modeling environment the einaGMC tool http://guifre.lsi.upc.edu/eina_GMC/

QVT-Parser parses QVT-Relations model-transformation specifications from textual syntax into EMF QVT-models. QVT defines a language for expressing model-to-model transformations. The parser is is built using ANTLR and EMF.

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.

This project contains a set of tools for formal verification and static analysis of VHDL design.