On the use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LFP - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

On the use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LFP

Résumé

Software architecture description languages (ADLs) allow software designers to focus on high level aspects of an application by abstracting from the details of the components that compose architecture. It is precisely this abstraction that makes ADLs suitable for verification using model checking techniques. ADLs are, in a way, domain-specific languages for aspects such as coordination and distribution. LfP (language for prototyping) is a formal approach for distributed software architectures that is based on RM-ODP and that can be linked to an UML methodology. We propose in this paper a rewriting of the LfP semantics, specified in rewriting logic which is well suited for axiomatization of concurrent languages. Using the Maude system, a high-performance interpreter based on rewriting logic, we illustrate through an example how this rewriting semantics can be exploited for verification aspects related to distributed object interactions. For further information, please visit this web site.
Fichier non déposé

Dates et versions

hal-01124990 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01124990 , version 1

Citer

Chadlia Jerad, Kamel Barkaoui. On the use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LFP. RSP'05, 16th IEEE International Workshop on Rapid Systems Prototyping, Montreal, Canada, Jan 2005, X, France. pp.202-208. ⟨hal-01124990⟩

Collections

CNAM CEDRIC-CNAM
98 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More