Společný algebraický specifikační jazyk - Common Algebraic Specification Language

The Společný algebraický specifikační jazyk (CASL) je univerzální specifikační jazyk na základě logika prvního řádu s indukce. Dílčí funkce a podtržení jsou také podporovány.

Přehled

CASL navrhla společnost CoFI Společná rámcová iniciativa (CoFI), s cílem subsume mnoho stávajících specifikačních jazyků.

CASL zahrnuje čtyři úrovně:

• základní specifikace pro specifikaci jednotlivých softwarových modulů,
• strukturované specifikace pro modulární specifikaci modulů,
• architektonické specifikace pro předpis o struktuře implementace,
• knihovny specifikací pro ukládání specifikací distribuovaných po internetu Internet.

Čtyři úrovně jsou navzájem kolmé. Zejména je možné použít CASL strukturované a architektonický Specifikace a knihovny s jinou logikou než CASL. Za tímto účelem musí být logika formalizována jako instituce. Tuto funkci využívají také rozšíření CASL.

Rozšíření

Bylo navrženo několik rozšíření CASL:

• HasCASL, a vyšší řád rozšíření
• CoCASL, a uhlígebraický rozšíření
• CspCASL, a souběžně rozšíření založené na CSP
• ModalCASL, a modální logika rozšíření
• CASL-LTL, a časová logika rozšíření
• HetCASL, rozšíření pro heterogenní Specifikace

externí odkazy

• Oficiální web CoFI
• CASL
• Heterogenní sada nástrojů Hets, hlavní analytický nástroj pro CASL

Tento programovací jazyk související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.