Formalising Graphical Behaviour Descriptions

Abstract

Abstract. CRESS (Chisel Representation Employing Systematic Specification) is used for graphical behaviour description, underpinned by formal and implementation languages. Plug-in frameworks adapt it for particular application domains such as Intelligent Networks, Internet Telephony and Interactive Voice Response. The CRESS notation and its syntax are explained. The semantics of CRESS is discussed with reference to its interpretation in LOTOS.

Generation of test purposes from Use Case Maps

“…Turner proposes several approaches for formalizing models expressed as Chisel scenario diagrams [40]. He provides tool-supported transformations to LOTOS and SDL and defines companion languages for testing and validating the resulting specifications in a way that hides the details of the specifications.…”