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
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes
π-Method: a model-driven formal method for architecture-centric software engineering
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.00 |
π-ARL is a formal (executable) architecture refinement language providing architecture-centric refinement primitives and constructs for their compositions. When applied, refinement actions expressed in π-ARL refine architectural models described in π-ADL outputting new refined models described in π-ADL. Enabling stepwise architecture refinement is a new challenge for the formal development of complex software systems. This article presents a simple but realistic case study of the use of π-ARL for architecture refinement. It illustrates the expressiveness and usefulness of π-ARL. The case study addresses the modelling and refinement of the software architecture of a Data Acquisition System. It covers a simple, yet frequent, architecture refinement that would be problematic for most other refinement techniques. Several refinement steps are performed, each dealing with a simple refinement, in order to achieve a concrete architecture.