Lambda Expressions in CASL Architectural Specifications

Mihai Codescu

In: Till Mossakowski , Hans-Jörg Kreowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10) befindet sich 20th July 1-4 Schloss Etelsen Germany LNCS 7137 Springer 2012.


CASL architectural specifications provide a way to specify the structure of the implementations of software systems. Their seman- tics has been introduced in two manners: the first is purely model- theoretic and the second attempts to discharge model semantics condi- tions statically based on a diagram of dependencies between components (extended static semantics). In the case of lambda expressions, which are used to define the way generic units are built, the two semantics do not agree. We present a number of situations of practical importance when the current situation is unsatisfactory and propose a series of changes to the extended static semantics to remedy this.


Weitere Links

lambda.pdf (pdf, 680 KB )

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence