HI-SCEL

An integrated environment for supporting the development of adaptive systems in SCEL is currently under development. This environment will be based on a high-level programming language (HL- SCEL) that, by enriching SCEL with standard programming constructs (e.g. control flow con- structs, such as while or if-then-else, structured data types,…), simplifies the programming task.

The SCEL SDK will include a compiler that starting from a HL-SCEL program generates jRESP code. Moreover, (Semi-)Automatic analysis tools, based on the SCEL’s formal semantics, will be also integrated in the environment.