Show/hide main menu

Software Modelling and Applied Logic

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.
Sitemap Site help Terms and conditions Privacy policy Accessibility Modern slavery statement Contact us

© 2017 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454