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.

DOI: https://doi.org/10.21954/ou.ro.00016032

Abstract

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

Metrics

Item Actions

Export

You can export this page using these formats Digital Object Identifier - DOI