Formalising the Chisel Feature Notation

11 years 11 months ago
Formalising the Chisel Feature Notation
The CHISEL notation was developed by Bellcore as an informal graphical notation for describing telecomms services and features. CRESS (CHISEL Representation Employing Systematic Specification) is an enhanced version of CHISEL with tightly defined rules for the syntax and static semantics of diagrams. More importantly, CRESS has formal denotations given by SDL (Specification and Description Language) and LOTOS (Language Of Temporal Ordering Specification). This permits rigorous checking, analysis and prototyping of descriptions. The accompanying toolset has been written in an open and extensible manner.
Kenneth J. Turner
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 2000
Where FIW
Authors Kenneth J. Turner
Comments (0)