Advertisement

Applying a concurrent formal framework to process modelling

  • J. A. Keane
  • J. Sa
  • B. C. Warboys
Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 873)

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.

Keywords

Temporal Logic Abstract Object Concurrent System Linear Time Temporal Logic Temporal Formula 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    H. Barringer, R. Kuiper, and A. Pnueli, Now You May Compose Temporal Logic Specifications, Proc. of 16th ACM Symp. on Theory of Computing, 1984.Google Scholar
  2. 2.
    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.Google Scholar
  3. 3.
    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.Google Scholar
  4. 4.
    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.Google Scholar
  5. 5.
    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.Google Scholar
  6. 6.
    C. Fernström, PROCESS WEAVER: Adding Process Support to UNIX, Proc. of the Second International Conference on the Software Process, Berlin, Germany, 1993.Google Scholar
  7. 7.
    C.B. Jones, Systematic Software Development Using VDM, Prentice-Hall, 1990.Google Scholar
  8. 8.
    C.B. Jones, Tentative Steps Toward a Development Method for Interfering Programs, ACM TOPLAS 5(4), 1983.Google Scholar
  9. 9.
    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.Google Scholar
  10. 10.
    L. Lamport, What Good is Temporal Logic?, Information Processing 83, R.E.A. Mason (Ed.), pp. 657–668, IFIP, 1983.Google Scholar
  11. 11.
    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.Google Scholar
  12. 12.
    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.Google Scholar
  13. 13.
    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.Google Scholar
  14. 14.
    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.Google Scholar
  15. 15.
    J. Sa, OBM: A Tutorial, Project Report, Department of Computer Science, University of Manchester, April 1993.Google Scholar
  16. 16.
    P. Wegner, Dimensions of Object-Based Language Design, Proc. of OOPSLA'87, 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • J. A. Keane
    • 1
  • J. Sa
    • 2
  • B. C. Warboys
    • 3
  1. 1.Department of ComputationUMISTManchesterUK
  2. 2.Department of ComputingUniversity of the West of EnglandBristolUK
  3. 3.Department of Computer ScienceUniversity of ManchesterUK

Personalised recommendations