Scala

SuprNation

2022-today

SuprNation is a technology company founded in 2015 to serve as a home for some of the most competent and creative people in the iGaming industry. Our first product was launched in the summer of 2016, a casino determined to deliver a better user and gaming experience than what is currently available. SuprNation is a highly ambitious project with 3 casino brands, VoodooDreams, NYSpins and Duelz live …

Logic-based workflows

2009-today

This project aims to enhance the development of process workflows with AI techniques so that various properties of the models are verified as they are being built, i.e. workflows that are correct-by-construction. In particular, we employ the proofs-as-processes paradigm which describes the correspondence between Classical Linear Logic (CLL) proofs with π-calculus processes. This enables us to …

Cats-Actors

2024-today

Cats-Actors 🐱 is a functional programming-based actor system derived from Akka Akka v2.6.21. It is available under the Apache 2.0 License on GitHub: https://github.com/suprnation/cats-actors Description The following text taken from the project README (original author: Mark Galea) introduces Cats-Actors, its main goal and benefits. Introduction Actors are the fundamental units of computation in …

Proter

2019-today

Proter is an open-source discrete event simulation library for workflows, written in Scala. It is part of our WorkflowFM framework for formal workflow modelling and management. It is available under the Apache 2.0 License on GitHub: https://github.com/workflowfm/proter Website and documentation is available here: http://docs.workflowfm.com/proter/ Proter was initially developed for the simulation …

Business Process Simulation

2019-today

Proter is an open-source discrete event simulation library for workflows, written in Scala. It is part of our WorkflowFM framework for formal workflow modelling and management and is available on GitHub: https://github.com/workflowfm/proter Website and documentation is available here: http://docs.workflowfm.com/proter/ Proter was initially developed for the simulation of logic-based workflows in …

PEW

2019-2022

PEW is a persistent execution engine for π-calculus workflows generated by the WorkflowFM process composition tools, written in Scala. It is part of our WorkflowFM framework for formal workflow modelling and management. It is available under the Apache 2.0 License on GitHub: https://github.com/workflowfm/pew Website and documentation is available here: http://docs.workflowfm.com/pew/

DigiFlow

2018-2020

Digitizing Industrial Workflow, Monitoring and Optimization Digiflow is an Industry 4.0 project funded by EIT Digital. It focuses on the digitization, monitoring, and optimization of industrial workflows, with a combination of IoT sensors, Cloud infrastructure and our workflow technologies. A slide deck with some of the aspects and outputs of the project for 2018 can be found HERE We are working …

SOCIAM

2014-2018

SOCIAM was an EPSRC funded project involving the Universities of Oxford, Edinburgh and Southampton, focusing on the theory and practice of social machines. The following slideshare gives an overview of social machines and SOCIAM: {{< slideshare id=“jogOZAD0VgkoJj” >}} The official website contains detailed information about the numerous aspects, research topics, outputs, and …

Integrated Care Pathways for HIV patients

2014-2018

We work in close collaboration with the NHS Lothian and NHS Greater Glasgow and Clyde boards to improve HIV care by mapping the processes involved in the form of an Integrated Care Pathways (ICPs). We employ a rigorous methodology involving contextual interviews, questionnaires, and shadowing to capture the and record necessary knowledge. Using the logic-based tool WorkflowFM for this purpose …

Lightweight Social Calculus

2014-2018

We would like to change the way in which social machines are built. The central premise is: there is a model of interaction which sits behind any social machine, governing who can do what when, which kinds of messages can be sent and to whom, shaping the ways in which the complex socio-technical system unfolds through time. However, these interaction models are often not explicit, transparent, …