Using Problem Frames and projections to analyze requirements for distributed systems
Charles B. Haley, Robin Laney, Bashar Nuseibeh · Open Research Online - ORO (The Open University) · 2004
Abstract. Subproblems in a problem frames decomposition frequently make use of projections of the complete problem context. One specific use of projections 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 special connection domain between subproblems. The extension provides significant 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. 1