Abstract not found

CCSL (short for Coalgebraic Class Specification Language) is a formal specification language, developed jointly at the university of Nijmegen and at TU Dresden. CCSL permits to specify the interface of classes of object-oriented languages by declaring their methods with argument and result types. Further, it is possible to restrict the behaivior of the methods with a special form of higher order logic. The master thesis of Jan Rothe enhanced the logic of CCSL with the (infinitary) modal operators Box and Diamond. Assignment: The aim of this project is to enrich CCSL with arbitrary modal fixedpoint operators as they are known from the µ-calculus. For this it is necessary: 1. To extend CCSL’s logic such that one can express formulas from the modal µ–calculus in it. The extention can also been done in the form of “syntactic sugar”. 2. To describe a semantics for the new syntax. 3. To develop an example specification that demonstrates the usefulness of the new operators.