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.
CITATION STYLE
Keane, J. A., Sa, J., & Warboys, B. C. (1994). Applying a concurrent formal framework to process modelling. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 873 LNCS, pp. 291–305). Springer Verlag. https://doi.org/10.1007/3-540-58555-9_101
Mendeley helps you to discover research relevant for your work.