Open Source Tools
The SMAL group produces open-source software for public consumption. These include:
- Creator(s): Laurence Tratt
- Short Description: Converge is intended to be an utterly practical, modern programming language, mixing proven elements from different sources into one coherent whole. Both language and libraries aim for clean design with a firm emphasis on pragmatics.
- Creator(s):Kevin Lano
- Short Description: UML-RSDS solves the long-standing problem of how to combine declarative high-level specification of model transformations and general software systems, with efficient execution. The tool can be used to quickly sketch designs in UML and immediately generate working code - even for incomplete models.
- Creator(s): PORGY team (King's College London & INRIA France)
- Short Description: PORGY is a tool for the design and analysis of complex systems by means of graphs and graph rewriting. It provides a high-level visual programming environment to build graphical representations of dynamic systems. Graph rewriting systems appear as a powerful formalism to capture and study phenomena occurring in complex systems, such as the evolution of bio-molecular networks, adhoc communication networks or interaction nets.