Haley, Charles B.; Laney, Robin C. and Nuseibeh, Bashar
(2004).
![[img]](http://oro.open.ac.uk/style/images/fileicons/application_pdf.png)
|
PDF (Not Set)
- Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (178kB) |
| Google Scholar: | Look up in Google Scholar |
|---|
Abstract
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.
| Item Type: | Conference or Workshop Item |
|---|---|
| Academic Unit/School: | Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications Faculty of Science, Technology, Engineering and Mathematics (STEM) |
| Interdisciplinary Research Centre: | Centre for Research in Computing (CRC) Centre for Policing Research and Learning (CPRL) International Development & Inclusive Innovation |
| Item ID: | 3393 |
| Depositing User: | Charles Haley |
| Date Deposited: | 26 Jun 2006 |
| Last Modified: | 10 Feb 2017 03:57 |
| URI: | http://oro.open.ac.uk/id/eprint/3393 |
| Share this page: |     |
Download history for this item
These details should be considered as only a guide to the number of downloads performed manually. Algorithmic methods have been applied in an attempt to remove automated downloads from the displayed statistics but no guarantee can be made as to the accuracy of the figures.