State of Play and Future Work
Extended framework tried on complex engineering contracts by re-construction (D).
Preliminary proposal for diagrammatic notation for performatives (UML-based). (K)
More precise semantics and the treatment of conditional promises (D+S)
Integration with Modeller for contract drafting (D)
Integration with various “checkers”, especially for temporal verification (D+Z).