Architectural Design Rewriting (ADR) is an approach for the design of software architectures by reconciling graph transformation, process calculi and software engineering techniques. The key features that make ADR a suitable and expressive framework are the algebraic presentation of hierarchical graph-based structures, which can improve the automated support for specification, analysis and verification of service-oriented architectures and applications.

 

ADR has been entirely developed under SENSORIA, allowing to establish interesting links with many other formalisms developed within the project, ranging from SRML, UML4SOA, service modes and serviceoriented process calculi, and making it possible to strengthen the collaboration among different research groups with different expertise within the project.

 

 

ADR architectural configuration