Information and Computation - Semantics of Data Types
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Hyperedge Replacement: Grammars and Languages
Hyperedge Replacement: Grammars and Languages
Documenting Software Architectures: Views and Beyond
Documenting Software Architectures: Views and Beyond
Describing Software Architecture Styles Using Graph Grammars
IEEE Transactions on Software Engineering
Web Service Conversation Modeling: A Cornerstone for E-Business Automation
IEEE Internet Computing
Theoretical foundations for compensations in flow composition languages
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Graph rewriting for the π-calculus
Mathematical Structures in Computer Science
Shaped Hierarchical Architectural Design
Electronic Notes in Theoretical Computer Science (ENTCS)
Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Program refactoring, program synthesis, and model-driven development
CC'07 Proceedings of the 16th international conference on Compiler construction
Algebraic semantics of service component modules
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Structured co-spans: an algebra of interaction protocols
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Modes for software architectures
EWSA'06 Proceedings of the Third European conference on Software Architecture
Synchronised hyperedge replacement as a model for service oriented computing
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
A formal approach to service component architecture
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Consistent reconfiguration for publish/subscribe architecture styles
VECoS'07 Proceedings of the First international conference on Verification and Evaluation of Computer and Communication Systems
Ugo Montanari and Graph Transformation
Concurrency, Graphs and Models
Graph-Based Design and Analysis of Dynamic Software Architectures
Concurrency, Graphs and Models
Business Process Modeling for Organizational Knowledge Management
Concurrency, Graphs and Models
Hierarchical Design Rewriting with Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
On Symbolic Semantics for Name-decorated Contexts
Electronic Notes in Theoretical Computer Science (ENTCS)
A Service-Oriented UML Profile with Formal Support
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
A framework for reasoning on component composition
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
A formal support to business and architectural design for service-oriented systems
Rigorous software engineering for service-oriented systems
A type-theoretical approach for ontologies: The case of roles
Applied Ontology
Hi-index | 0.00 |
We propose Architectural Design Rewriting (ADR), an approach to formalise the development and reconfiguration of software architectures based on term-rewriting. An architectural style consists of a set of architectural elements and operations called productions which define the well-formed compositions of architectures. Roughly, a term built out of such ingredients constitutes the proof that a design was constructed according to the style, and the value of the term is the constructed software architecture. A main advantage of ADR is that it naturally supports style-preserving reconfigurations. The usefulness of our approach is shown by applying ADR to SRML, an emergent paradigm inspired by the Service Component Architecture. We model the complex operation that composes several SRML modules in a single one by means of suitable rewrite rules. Our approach guarantees that the resulting module respects SRML's metamodel.