Model-driven refinement of software architectures with π-ARL

Authors:
Flavio Oquendo
Affiliations:
University of South Brittany, Vannes Cedex, France
Venue:
AMCOS'05 Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science
Year:
2005

Citing 13
Cited 0

Refinement calculus, part I: sequential nondeterministic programs

REX workshop Proceedings on Stepwise refinement of distributed systems: models, formalisms, correctness
Refinement calculus, part II: parallel and reactive programs

REX workshop Proceedings on Stepwise refinement of distributed systems: models, formalisms, correctness
Specification and Analysis of System Architecture Using Rapide

IEEE Transactions on Software Engineering - Special issue on software architecture
Correct Architecture Refinement

IEEE Transactions on Software Engineering - Special issue on software architecture
Using Z: specification, refinement, and proof

Using Z: specification, refinement, and proof
The B-book: assigning programs to meanings

The B-book: assigning programs to meanings
Modelling systems: practical tools and techniques in software development

Modelling systems: practical tools and techniques in software development
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Specification and development of interactive systems: focus on streams, interfaces, and refinement

Specification and development of interactive systems: focus on streams, interfaces, and refinement
PI-Calculus: A Theory of Mobile Processes

PI-Calculus: A Theory of Mobile Processes
p-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems

ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
π-ADL: an Architecture Description Language based on the higher-order typed π-calculus for specifying dynamic and mobile software architectures

ACM SIGSOFT Software Engineering Notes
π-ARL: an architecture refinement language for formally modelling the stepwise refinement of software architectures

ACM SIGSOFT Software Engineering Notes

Quantified Score

Hi-index	0.00

Visualization

Abstract

In model-driven development, architecture descriptions and their refinements are explicitly represented and manipulated as models. π-ADL and π-ARL are formal (executable) architecture description and refinement languages providing architecture-centric modelling constructs. When applied, refinement actions expressed in π-ARL refine architecture description models described in π-ADL outputting new refined models described in π-ADL. Enabling model-driven refinement of software architectures is a new challenge for the model-driven development of complex software systems. This paper gives an overview of π-ARL and illustrates the expressiveness and usefulness of model-driven refinement with π-ARL through a case study.