Abstract
In many existing process modelling approaches, the emphasis is on the representations of process models, but not so much on the development of them. In this paper we present a method, called OBM, for developing such representations using a stepwise refinement technique. An example is used to show how a model may be gradually refined.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
ISS400 Technical Introduction. Technical Report 53423/001, Internationl Computer Limited, June 1993.
V. Ambriola and Carlo Montangero. Oikos at the Age of Three. In Proceedings EWSPT'92, volume 635 of Lecture Notes in Computer Science. Springer Verlag, 1992.
S. Bandinelli, A. Fuggetta, and S. Grigolli. Sprocess Modelling In-the-Large with SLANG. In Proceedings of the Second International Conference on the Software Process, Berlin, 1993.
H. Barringer, R. Kuiper, and A. Pnueli. Now you may compose temporal logic specifications. In Proceedings of the 16th A.C.M. Symposium on Theory of Computing, 1984.
R.F. Bruynoghe, J.M. Parker, and J.S. Rowles. PSS: A system for Process Enactment. In Proceedings of the first International Conference on the Software Process, Manufacturing Complex Systems. IEEE Computer Society Press, 1991.
R.M. Burstall. Program Proving as Hand Simulation with a Little Induction. In Information Processing 74, Pages 308–312, North-Holland Pub. Co., 1974.
X.J. Chen and C. Montangero. Compositional Refinement in Multiple Blackboard Systems. In ESOP'92 European Symposium on Programming, February.
R. Conradi et al. Design, Use and Implementation of SPELL, a Language for Software Process Modeling and Evolution. In Proceedings EWSPT'92, volume 635 of Lecture Notes in Computer Science. Springer Verlag, 1992.
Mark Dowson. Software Process Themes and Issues. In Proceedings of the Second International Conference on the Software Process. IEEE Computer Society Press, 1993.
J. C. Derniame (Editor). Lecture Notes in Computer Science 635: Software Process Technology. Springer-Verlag, 1992.
C. Fernström. PROCESS WEAVER: Adding Process Support to UNIX. In Proceedings of the Second International Conference on the Software Process, Berlin, 1993.
V. Gruhn and A. Saalmann. Software Process Validation Based on FUNSOFT Net. In Proceedings EWSPT'92, volume 635 of Lecture Notes in Computer Science. Springer Verlag, 1992.
P. Henderson. Object-Oriented Specification and Design with C++. International Series in Software Engineering. McGraw-Hill, 1993.
C.B. Jones. Systematic Software Development Using VDM. Computer Science. Prentice-Hall International, 1986.
M. Kellner, P. Feiler, A. Finkelstein, T. Katayama, L. Osterweil, M. Penedo, and H.D. Rombach. ISPW-6 Software Process Example. In Proceedings of the First International Conference on Software Process, Washington, DC, 1991. IEEE Computer Society Press.
C. Kung. Process Interface Modelling and Consistency Checking. Journal of System and Software, 15:185–191, 1991.
L. Lamport. What Good is Temporal Logic? In R.E.A. Mason, editor, Information Processing 83, pages 657–668, IFIP, 1983.
A. Pnueli. The Temporal Semantics of Concurrent Programs. Theoretical Computer Science, 13:45–60, 1981.
A.N. Prior. Time and Modality. Oxford University Press, 1957.
N. Rescher and A. Urquhart. Temporal Logic. Springer-Verlag Wien New York 1971.
I. Robertson J. Sa R.A. Snowdon R.F. Bruynooghe, R.M. Greenwood and B.C. Warboys. Towards a Total Process Modelling System: A Case Study Using ISPW-6. A Chapter in “Advances in Software Process Technology”, to be published by Research Studies Press, J. Wiley, In Preparation, 1993.
J. Sa. OBM: A Tutorial. Project Report, March 1993.
J. Sa and B.C. Warboys. Specifying Concurrent Object-based Systems using Combined Specification Notations. Technical Report UMCS-91-9-2, Department of Computer Science, University of Manchester, July 1991.
J. Sa and B.C. Warboys. Integrating a Formal Specification Method with PML: A Case Study. In Proceedings EWSPT'92, volume 635 of Lecture Notes in Computer Science, pages 106–123. Springer Verlag, 1992.
J. Sa, B.C. Warboys and J.A. Keane. OBM: A Specification Method for Modelling Organisational Process. Proceeding of Workshop on Constraint Processing at CSAM'93, St. Petersburg, July 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sa, J., Warboys, B.C. (1994). Modelling processes using a stepwise refinement technique. In: Warboys, B.C. (eds) Software Process Technology. EWSPT 1994. Lecture Notes in Computer Science, vol 772. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57739-4_7
Download citation
DOI: https://doi.org/10.1007/3-540-57739-4_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57739-3
Online ISBN: 978-3-540-48326-7
eBook Packages: Springer Book Archive