Abstract
In this paper OBM, a method for developing concurrent systems in a formal framework is described. The method arose from an industrially collaborative project, and has been used, in various forms, to specify parts of operating systems, databases and retail systems.
OBM allows a system to be gradually refined by levelled descriptions. Varying granularities of activities can be specified, Most importantly, OBM has a formal basis to enable refinement to be verified. In this paper, this framework is applied to process modelling.
This work was was carried out whilst all authors were at the University of Manchester, and was supported by UK SERC grants GR/J11034 and GR/J48979.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
H. Barringer, R. Kuiper, and A. Pnueli, Now You May Compose Temporal Logic Specifications, Proc. of 16th ACM Symp. on Theory of Computing, 1984.
N. Belkhatir, J. Estublier and W. L. Melo, Software Process Model and Work Space Control in the Adele System, Proc. of the Second International Conference on the Software Process, Berlin, Germany, 1993.
R. F. Bruynoghe, R. M. Greenwood, I. Robertson, J. Sa and B. C. Warboys, PADM: Towards a Total Process Modelling System, in Software Process Modelling and Technology, A. Finkelstein, J. Kramer and B. Nuseibeh (Eds.), Research Studies Press, Wiley, 1994.
R. F. Bruynoghe, J. M. Parker, and J. S. Rowles, PSS: A System for Process Enactment, Proc. of the First International Conference on the Software Process, Manufacturing Complex Systems, IEEE Press, 1991.
R. Conradi, M. L. Jaccheri, C. Mazzi, M. N. Nguyen and A. Aarsten, Design, Use and Implementation of SPELL, a Language for Software Process Modeling and Evolution, Proc. of the Second European Workshop on Software Process Technology-EWSPT'92, Trondheim, Norway, 1992.
C. Fernström, PROCESS WEAVER: Adding Process Support to UNIX, Proc. of the Second International Conference on the Software Process, Berlin, Germany, 1993.
C.B. Jones, Systematic Software Development Using VDM, Prentice-Hall, 1990.
C.B. Jones, Tentative Steps Toward a Development Method for Interfering Programs, ACM TOPLAS 5(4), 1983.
J. A. Keane and W. Hussak, A Formal Approach to Parallel Resource Bindings, Proc. 16th Int. Conf. on Software Engineering — ICSE-16, pp. 15–22, IEEE Press, 1994.
L. Lamport, What Good is Temporal Logic?, Information Processing 83, R.E.A. Mason (Ed.), pp. 657–668, IFIP, 1983.
J. Sa and B. C. Warboys, Specifying Concurrent Object-based Systems using Combined Specification Notations, Technical Report UMCS-91-7-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, Proc. of the 2nd European Workshop on Software Process Technology — EWSPT'92, LNCS-635, Springer-Verlag, 1992.
J. Sa and B. C. Warboys, Modelling Processes using a Stepwise Refinement Technique, Proc. of the 4th European Workshop on Software Process Technology — EWSPT'94, LNCS-772, Springer-Verlag, 1994.
J. Sa and B. C. Warboys, A Formal Description of the ISPW-6 Software Process Example, Technical Report Series UMCS-93-6-1, Department of Computer Science, University of Manchester, June 1993.
J. Sa, OBM: A Tutorial, Project Report, Department of Computer Science, University of Manchester, April 1993.
P. Wegner, Dimensions of Object-Based Language Design, Proc. of OOPSLA'87, 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Keane, J.A., Sa, J., Warboys, B.C. (1994). Applying a concurrent formal framework to process modelling. In: Naftalin, M., Denvir, T., Bertran, M. (eds) FME '94: Industrial Benefit of Formal Methods. FME 1994. Lecture Notes in Computer Science, vol 873. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58555-9_101
Download citation
DOI: https://doi.org/10.1007/3-540-58555-9_101
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58555-8
Online ISBN: 978-3-540-49031-9
eBook Packages: Springer Book Archive