词条 | Common Algebraic Specification Language |
释义 |
The Common Algebraic Specification Language (CASL) is a general-purpose specification language based on first-order logic with induction. Partial functions and subsorting are also supported. CASL has been designed by CoFI, the Common Framework Initiative, with the aim to subsume many existing specification languages. CASL comprises four levels:
The four levels are orthogonal to each other. In particular, it is possible to use CASL structured and architectural specifications and libraries with logics other than CASL. For this purpose, the logic has to be formalized as an institution. This feature is also used by the CASL extensions. ExtensionsSeveral extensions of CASL have been designed:
External links
1 : Formal specification languages |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。