Towards a tile based LfP semantics

Abstract

LIP (Language for Prototyping) is an ADL (Architecture Description Language) with a hierarchical and modular structure. In this paper, we propose tile logic (a rewriting logic extension) as a suitable semantic framework for this language. Indeed, it contributes to the formalization of LiP by providing a natural description for concurrency, synchronization and hierarchical composition aspects. A straight consequence of this work is the possibility to describe reconfigurable LiP architectures, and to handle with executable specification in Maude allowing hierarchical formal verification.

A Tile Logic Based Approach for Software Architecture Description Analysis

“…Indeed, they have been used with success to model in detail several application classes such as coordination languages (triggers and effects represent coordination protocols) and software architecture styles [13,14]. This paper contributes to another meaningful and interesting application of Tile logic, it generalizes the approach proposed in [15] by defining a common formal Arrows a and b decorating tile α (in Figure 1) are also algebraic structures, they define observable effects (actions) for coordinating local rewrites through configuration interfaces (input and output ones).…”