Using PADL to specify AFrames

Hall, Jon G. and Rapanotti, Lucia (2005). Using PADL to specify AFrames. Technical Report 2005/07; Department of Computing, The Open University.



In this short technical note we show how PADL-the process algebraic architectural description language of Bernardo, Ciancarini and Donatiello-can be used to specify AFrames. AFrames exist to structure the machine in a Problem Frames development, and are important in that framework as they allow architectural expertise to be captured and reused therein. Because of the close proximity of PADL to other Architectural Description Languages, we assert that this work opens the Problem Frames framework to standard architectural abstractions.

Viewing alternatives

Download history


Public Attention

Altmetrics from Altmetric

Number of Citations

Citations from Dimensions

Item Actions