SPECL:
A Formal Specification Language
presented by
Kendra Cooper
| |
SPECL:
A Formal Specification Language
presented by
Kendra Cooper
|
| formalWARE
project
formalWARE
formalWARE
|
Presented by Jeff Joyce (for
Kendra Cooper) at formalWARE's Open House on
October 8, 1997 at Cecil
Green House, UBC
. The written specification of requirements is of keen interest because it is used as a primary form of communication between stakeholders in the system development process as well as often serving as the basis of a contractual agreement between the customer and the developer. For this communication to be effective, the requirements document must be both readable, precise and expressed at an appropriate level of abstraction. This research addresses the challenge of achieving the precision and rigour of conventional formal specification notations without sacrificing the readability of less formal approaches to specification of requirements. This research focuses specifically on the formal specification of requirements for data-oriented systems with the research objective of defining a core specification language (SPECL) that can be used to write highly-readable, machine-checkable references to a logical model of data expressed at the same level of abstraction used by domain experts in less formal approaches. The formalized portions of this document may also be suitable for use as input to other processes such as the automated test case generation process under development in the FormalWare project by Michael Donat (UBC Computer Science). Presentation
Slides (HTML)
. |
