Research on Wide Spectrum Languages and Research Environments for System Designand Specification

摘要

We designed new formal specification languages, tools and methodologies underthis project. The languages, tools and methodologies allow the complete development process of large systems, from requirements and design through to testing and maintenance, to be subject to new analysis techniques based on machine processable formal specifications. The formal specification languages used in the project or developed with full or partial support under this contract were Anna, TSL, TSL 1.5, VAL and Rapide. The analysis tools developed and enhanced as part of this project were the Anna Runtime Monitoring System and Anna Specification Analyzer. A number of methodologies and concepts based on formal specifications were developed as part of this project including debugging of specifications, methodologies for algebraic specification checking, methodologies for concurrent checking of specifications, methodologies for designing specifications, and methodologies for system maintenance using specifications. A list of publications produced under this contract is included in this report.