Common Algebraic Specification Language Article Index for
Common 		Shopping
Specification 		Website Links For
Common 		 

Information About

Common Algebraic Specification Language
  CATEGORIES ABOUT COMMON ALGEBRAIC SPECIFICATION LANGUAGE
   
formal specification languages
   
APPAREL
BABY
BEAUTY
BOOKS
CAR TOYS
CELL PHONES
DVD'S
ELECTRONICS
GOURMET FOOD
GROCERIES
HEALTH & PERSONAL
HOME & GARDEN
JEWELRY
MUSIC
MUSIC INSTRUMENTS
OFFICE PRODUCTS
SOFTWARE
SPORTING GOODS
TOOLS & HARDWARE
TOYS
VIDEO GAMES
SHOPPING HOME
MORE SHOPPING...



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 of four levels:
  • basic specifications, for the specification of single software modules,

  • structured specifications, for the modular specification of modules,

  • architectural specifications, for the prescription of the structure of Implementations ,

  • specification libraries, for storing specifications distributed over the Internet .


The four levels are orthogonal to each other. In particular, it is possible
to use CASL structured and architectural specifications and libraries also with other logics than
the CASL logic. For this purpose, the logic has to be formalized as an
Institution . This provides also the basis for CASL extensions.


EXTENSIONS

Several extensions of CASL have been designed:


EXTERNAL LINKS