pi-ARL: an architecture refinement language for formally modelling the stepwise refinement of software architectures

@article{Oquendo2004piARLAA,
  title={pi-ARL: an architecture refinement language for formally modelling the stepwise refinement of software architectures},
  author={Fl{\'a}vio Oquendo},
  journal={ACM SIGSOFT Software Engineering Notes},
  year={2004},
  volume={29},
  pages={1-20}
}
A key aspect of the formal development of any software system is the specification and stepwise refinement of its architecture. In a stepwise refinement, a sequence of steps starting from an abstract specification of the architecture leads to a concrete, implementation-centered, architectural model. Each refinement step typically leads to a more detailed architecture description that increases the determinism while implying properties of the abstract specification. Enabling stepwise… CONTINUE READING
Highly Cited
This paper has 51 citations. REVIEW CITATIONS

19 Figures & Tables

Topics

Statistics

0510'05'07'09'11'13'15'17
Citations per Year

51 Citations

Semantic Scholar estimates that this publication has 51 citations based on the available data.

See our FAQ for additional information.