Dynamic Software Architectures: Formally Modelling Structure and Behaviour with Pi-ADL

  title={Dynamic Software Architectures: Formally Modelling Structure and Behaviour with Pi-ADL},
  author={Fl{\'a}vio Oquendo},
  journal={2008 The Third International Conference on Software Engineering Advances},
A key aspect of the design of any software system is its architecture. From the perspective of dependability, an effective architecture aims to build fault-free systems, i.e. ensuring fault avoidance. At the architecture level, fault avoidance is achieved by formally describing the structure and behaviour of software systems enabling to check their correctness. Therefore, a software architecture description should provide a formal specification of the architecture in terms of components and… CONTINUE READING
Highly Cited
This paper has 23 citations. REVIEW CITATIONS


Publications referenced by this paper.
Showing 1-10 of 14 references

Les architectures logicielles. Encyclopédie de l’informatique et des systèmes d’information

  • F. Oquendo
  • Editions Vuibert (In French),
  • 2006
1 Excerpt

MDA and Today’s Systems

  • A. W. Brown
  • The Rational Edge,
  • 2004
1 Excerpt

Survey of State-of-the- Art and Typical Usage Scenario for ArchWare ADL and AAL

  • F. Gallo
  • Deliverable D0.4.1, ArchWare European RTD Project…
  • 2003
1 Excerpt