A Rewriting Semantics for a Software Architecture Description Language
TLDR
A rewriting logic semantics for the software architecture description language CBabel is given, revisiting and extending previous work by some of the authors, which now includes a revision of the previous semantics and the addition of new features covering all the language.About:
This article is published in Electronic Notes in Theoretical Computer Science.The article was published on 2005-05-01 and is currently open access. It has received 17 citations till now. The article focuses on the topics: Software architecture description & Software design description.read more
Citations
More filters
Journal ArticleDOI
A classification and comparison of model checking software architecture techniques
TL;DR: The goal of this paper is to investigate the state-of-the-art in model checking software architectures and define a classification and comparison framework and compare modelchecking software architecture techniques according to it.
Journal Article
Semantic models for distributed object reflection
José Meseguer,Carolyn L. Talcott +1 more
TL;DR: In this paper, a generic formal model of distributed object reflection is proposed, which combines logical reflection with a structuring of distributed objects as nested configurations of metaobjects that can control subobjects under them.
Journal ArticleDOI
Rewriting logic bibliography by topic: 1990–2011
TL;DR: This bibliography compiles, to the best of the authors' knowledge, all the papers on rewriting logic and its applications which have been written during the more than 20 years that have passed since the introduction of rewriting logic in 1990.
Book ChapterDOI
Monitoring architectural properties in dynamic component-based systems
TL;DR: This work considers evolving component-based systems formed by a kernel architecture to which new components can be plugged in at run-time, and introduces the MOSAICO approach for the run- time monitoring of architectural properties.
Journal ArticleDOI
Hierarchical Design Rewriting with Maude
TL;DR: HDR is a flavour of ADR that exploits the concept of hierarchical graph to deal with system specifications combining both symbolic and interpreted parts and is presented as a tool-supported framework for the design and analysis of software architectures.
References
More filters
Book
Software architecture: perspectives on an emerging discipline
Mary Shaw,David Garlan +1 more
TL;DR: 1. architectural Styles, 2. Shared Information Systems, 3. Education of Software Architects, 4. Architectural Design Guidance.
Journal ArticleDOI
Constructing Induction Rules for Deductive Synthesis Proofs
TL;DR: It is shown that a combination of rippling and the use of meta-variables as a least-commitment device can provide novelty in induction rule construction techniques that can introduce novel recursive structures.
Journal ArticleDOI
Applying 'design by contract'
TL;DR: Methodological guidelines for object-oriented software construction that improve the reliability of the resulting software systems are presented and the theory of contract design and the role of assertions in that theory are discussed.
Journal ArticleDOI
Conditional rewriting logic as a unified model of concurrency
José Meseguer,José Meseguer +1 more
TL;DR: Maude as discussed by the authors is a programming language whose modules are rewriting logic theories, which is defined and given denotational and operational semantics, and it provides a simple unification of concurrent programming with functional and object-oriented programming and supports high level declarative programming of concurrent systems.
Related Papers (5)
On the use of rewriting logic for verification of distributed software architecture description based LfP
Chadlia Jerad,Kamel Barkaoui +1 more
A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis
Michael Katelman,José Meseguer +1 more