Published August 30, 2017
| Version 1.1
Software
Open
The MCAPL Framework
Description
The MCAPL framework is a suite of tools for building interpreters for agent programming languages and model checking programs executing in those interpreters. It consists of the AIL toolkit for building interpreters for rational agent programming languages (BDI languages) and the AJPF model checker. AJPF extends the JavaPathfinder model checker to prove LTL properties of BDI agents. This distribution also contains a number of programming languages implemented in the AIL. Chief among these are Gwendolen, the EASS variant of Gwendolen that can be used to program hybrid autonomous systems and GOAL.
This is the 2018 release of the framework, consisting of all necessary source code files and manuals.
Notes
The development of the MCAPL Framework would have been impossible without the financial support of the EPSRC via several grants: Model-Checking Agent Programming Languages (EP/D052548), Engineering Autonomous Space Software (EP/F037201/1), Reconfigurable Autonomy (EP/J011770) and Verifiable Autonomy (EP/L024845/1). Thanks are also owed to Jomi Hubner and Koen Hindriks.
Files
Files
(21.4 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:cadd92279436f53b2d3b0387093180ea
|
21.4 MB | Download |