Location of Repository

Using Problem Frames and projections to analyze requirements for distributed systems

By Charles B. Haley, Robin C. Laney and Bashar Nuseibeh


Subproblems in a problem frames decomposition frequently make use of projections of the complete problem context. One specific use of projec-tions occurs when an eventual implementation will be distributed, in which case a subproblem must interact with (use) the machine in a projection that represents another subproblem. We refer to subproblems used in this way as services, and propose an extension to projections to represent services as a spe-cial connection domain between subproblems. The extension provides signifi-cant benefits: verification of the symmetry of the interfaces, exposure of the machine-to-machine interactions, and prevention of accidental introduction of shared state. The extension’s usefulness is validated using a case study

Year: 2004
OAI identifier: oai:oro.open.ac.uk:3393
Provided by: Open Research Online

Suggested articles


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.