Skip to main content
Article thumbnail
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:
Provided by: Open Research Online

Suggested articles

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