Tools

Collektive

A Kotlin library for aggregate programming

FCPP

A C++ library for aggregate programming based on computational fields

Protelis — maintained, but feature-frozen

An aggregate programming language based on computational fields and embedded in Java, providing an API for simulation and execution of aggregate programming applications — see also the videos about simulation of execution of Protelis code by the Alchemist Simulator

ScaFi

A Scala-based aggregate-programming framework for aggregate computing providing an API for simulation and execution of aggregate programming applications

Digital Twins

SMOL

An imperative, object-oriented research language. It integrates semantic web technologies and numerical simulation blocks, and can serve as a test bed for creating digital twins.

Executable Software Models, Variability Modelling

ABS

A modeling language (ABS is a language for Abstract Behavioral Specification, which combines implementation-level specifications with verifiability, high-level design with executablity, and formal semantics with practical usability)

DeltaFineFit

A model-based testing approach for delta-oriented software product lines

DeltaJava

Delta-oriented programming of software product lines of Java programs — supersedes DeltaJ. See also the Imperative Featherweight Delta Java tool chain

DeltaStatecharts

Delta-oriented programming of software product lines of YAKINDU Statecharts

FTS4VMC

A tool to verify properties using family-based model checking taking as input featured transitions systems

PDEPA 

A PMS-valid dependency analyser for Gentoo

SCWC-bio-simulator

An OCaml implementation of the Calculus of Wrapped Compartments

Xtraitj

Pure trait-based programming on the Java platform — supersedes TraitRecordJ and SWRTJ