CitedEvidence
User Settings
Open AccessOther10.21954/ou.ro.00016032

Using PADL to specify AFrames

Jon G. Hall,Lucia Rapanotti-2005-01-01-Open Research Online (The Open University)
0

TL;DRAbstract

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.

Chat with Paper

AI Agents for this Paper

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.

Keywords

Computer scienceArchitecture description languageProgramming languageMetalanguageArchitectural styleProcess calculusBisimulationArchitectural pattern

Chat

Click to start Chat