Search Results for "eclipse python uml" - Page 2

Konzept is a small class diagram editor. Major design goal was usability. The project was inspired by the static diagram editor of the Toolkit of Conceptual Modelling. Konzept is a pure Qt application written in Python.

XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)

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

SCOPE is a high-level coordination language which conforms to the BPMN 2.0 specification and is intended for architecture-centric model-driven software development. SCOPE differentiates between the space-based choreography of multiple concurrent process components and the orchestration of fine-grained activities within a single process component. The SCOPE workbench is based on the Xtext language framework.

Feature Modeling Plug-in is a tool for modeling the features (requirements) of a product line and configuring products. Product configuration is supported by automatic choice propagation and conflict resolution. Visit Home Page for papers, demo, HOW-

The “RDB2RDF Mapper” is a Java based software desktop application which allows a user to create a mapping file between a relational database and an RDFS/OWL ontology via a graphical user interface. This project is ANDS-funded.

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

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

UML2Java is a plug-in Eclipse which provides Model2Text (M2T) functionality. It creates a hierachy of java files based on an UML Class diagram. It is fully integrable with Eclise as a plug-in. It requires Acceleo 3.0 and UML2.

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 vision is to enable the incorporation of best practices, standard patterns and tools for building robust, scalable, distributed applications with a rich domain model without forcing any lock-in with any particular vendor or framework. For more information visit: http://www.openmde.org.

Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.

Integrates the ArgoUML modelling tool into IntelliJ IDEA 8+

Eclipse EMF Build Manager

MOCASEngine is a java UML state machine engine library for executing embedded UML state machine models. MOCASEngine works with Eclipse EMF. It has a full support of composite/orthogonal states, completion transitions, guard, hierarchy of signals, ...

The project is built with oaW (openArchitectureWare) maybe the most popular framework of MDSD now days. It provide a small DSL for modeling and can be extended (the code generated) through a cartridge mechanism. Give it a chance :) , feedback are welcome

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.

Scribble is a language for describing global (choreography) and local (service endpoint) behaviour. Extensible tools are provided, both standalone and as Eclipse plugins, to edit the language, perform validation and export to other appropriate notations.

A Java library and supporting modelling/execution tools that combine Robin Milner's formal Bigraph model with the indirect communication abstraction of Gelernter's tuple-space, i.e. a coordination system based on bigraphs.

This project aims to create an EMF Ecore metamodel, code templates and a workflow for automatically generating certain Typo3 extensions. It contains an example instance for the creation of a developer garden Typo3 extension.

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.

This project develops a full-functional UML-Roundtrip-Tool for Python. It is realized as an Eclipse Plugin based on the plugins PyDev und Eclipse Uml2Tools. * Full Roundtrip Functionality * Uml2Tools Model Editor included * Live Validation * UML Views

The goal is to generate UML classes from an existing database. Connect to a database, read its schema and produce UML 2 classes with associations (conforming to Eclipse EMF). Prerequisite: - Eclipse 3.4 - MDT - EMF 2.4 / UML 2.0

SfDT is a Eclipse plugin for the Symfony Framework. It provides a toolset for easier, faster and better developing process based on symfony framework.