29:
383:
99:
120:
58:
448:
171:
424:
143:
443:
150:
17:
157:
317:
363:
190:
139:
80:
313:
283:
124:
368:
417:
164:
240:
41:
244:
109:
51:
45:
37:
410:
279:
128:
113:
220:
212:
62:
276:
275:
The four levels are orthogonal to each other. In particular, it is possible to use CASL structured and
390:
282:
and libraries with logics other than CASL. For this purpose, the logic has to be formalized as an
299:
382:
216:
224:
394:
330:
261:
437:
337:
323:
306:
98:
228:
268:
267:
specification libraries, for storing specifications distributed over the
260:
architectural specifications, for the prescription of the structure of
254:
basic specifications, for the specification of single software modules,
257:
structured specifications, for the modular specification of modules,
369:
The heterogeneous tool set Hets, the main analysis tool for CASL
92:
22:
358:
398:
286:. This feature is also used by the CASL extensions.
294:Several extensions of CASL have been designed:
50:but its sources remain unclear because it lacks
418:
8:
127:. Unsourced material may be challenged and
425:
411:
191:Learn how and when to remove this message
140:"Common Algebraic Specification Language"
81:Learn how and when to remove this message
247:many existing specification languages.
205:Common Algebraic Specification Language
18:Compact Application Solution Language
7:
379:
377:
239:CASL has been designed by CoFI, the
125:adding citations to reliable sources
14:
449:Programming language topic stubs
381:
97:
27:
444:Formal specification languages
1:
397:. You can help Knowledge by
250:CASL comprises four levels:
241:Common Framework Initiative
465:
376:
336:HetCASL, an extension for
15:
243:(CoFI), with the aim to
36:This article includes a
16:Not to be confused with
211:) is a general-purpose
65:more precise citations.
393:-related article is a
213:specification language
359:Official CoFI website
391:programming-language
231:are also supported.
121:improve this article
316:extension based on
38:list of references
406:
405:
225:Partial functions
217:first-order logic
201:
200:
193:
175:
91:
90:
83:
456:
427:
420:
413:
385:
378:
196:
189:
185:
182:
176:
174:
133:
101:
93:
86:
79:
75:
72:
66:
61:this article by
52:inline citations
31:
30:
23:
464:
463:
459:
458:
457:
455:
454:
453:
434:
433:
432:
431:
374:
355:
350:
344:
292:
262:implementations
237:
197:
186:
180:
177:
134:
132:
118:
102:
87:
76:
70:
67:
56:
42:related reading
32:
28:
21:
12:
11:
5:
462:
460:
452:
451:
446:
436:
435:
430:
429:
422:
415:
407:
404:
403:
386:
372:
371:
366:
361:
354:
353:External links
351:
349:
346:
342:
341:
334:
331:temporal logic
327:
320:
310:
303:
291:
288:
280:specifications
273:
272:
265:
258:
255:
236:
233:
199:
198:
105:
103:
96:
89:
88:
46:external links
35:
33:
26:
13:
10:
9:
6:
4:
3:
2:
461:
450:
447:
445:
442:
441:
439:
428:
423:
421:
416:
414:
409:
408:
402:
400:
396:
392:
387:
384:
380:
375:
370:
367:
365:
362:
360:
357:
356:
352:
347:
345:
340:specification
339:
338:heterogeneous
335:
332:
328:
325:
322:ModalCASL, a
321:
319:
315:
311:
308:
304:
301:
297:
296:
295:
289:
287:
285:
281:
278:
277:architectural
270:
266:
263:
259:
256:
253:
252:
251:
248:
246:
242:
234:
232:
230:
226:
222:
218:
214:
210:
206:
195:
192:
184:
173:
170:
166:
163:
159:
156:
152:
149:
145:
142: –
141:
137:
136:Find sources:
130:
126:
122:
116:
115:
111:
106:This article
104:
100:
95:
94:
85:
82:
74:
64:
60:
54:
53:
47:
43:
39:
34:
25:
24:
19:
399:expanding it
388:
373:
343:
329:CASL-LTL, a
300:higher-order
293:
274:
249:
238:
208:
204:
202:
187:
178:
168:
161:
154:
147:
135:
119:Please help
107:
77:
68:
57:Please help
49:
324:modal logic
312:CspCASL, a
307:coalgebraic
298:HasCASL, a
284:institution
63:introducing
438:Categories
348:References
314:concurrent
305:CoCASL, a
290:Extensions
229:subsorting
181:April 2024
151:newspapers
71:April 2024
333:extension
326:extension
309:extension
302:extension
221:induction
215:based on
108:does not
269:Internet
235:Overview
245:subsume
165:scholar
129:removed
114:sources
59:improve
167:
160:
153:
146:
138:
389:This
219:with
172:JSTOR
158:books
44:, or
395:stub
364:CASL
227:and
209:CASL
203:The
144:news
112:any
110:cite
318:CSP
123:by
440::
223:.
48:,
40:,
426:e
419:t
412:v
401:.
271:.
264:,
207:(
194:)
188:(
183:)
179:(
169:·
162:·
155:·
148:·
131:.
117:.
84:)
78:(
73:)
69:(
55:.
20:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.