Skip to main content
SpringerLink
Log in

A reflexive formal software process model

  • Conference paper
  • First Online:
Software Process Technology (EWSPT 1995)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 913))

Included in the following conference series:

Abstract

In this paper a very simple reflexive formal software development method is described. The method is called OBM which provides a formal specification language. This paper demonstrates that the OBM development method can be defined as a process model in the OBM language. An example is used to illustrate how to develop and modify applications using the OBM development method.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.

    Google Scholar 

  2. S. Bandinelli, A. Fuggetta, and S. Grigolli. Process Modelling In-the-Large with SLANG. In Proceedings of the Second International Conference on the Software Process, Berlin, 1993.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. X.J. Chen and C. Montangero. Compositional Refinement in Multiple Blackboard Systems. In ESOP'92 European Symposium on Programming, February.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. R. Conradi, C. Fernström and A. Fuggetta. A Conceptual Framework for Evolving Software Processes. in Software Process Modelling and Technology, A. Finkelstein, J. Kramer and B. Nuseibeh (Eds.), Research Studies Press, Wiley, 1994.

    Google Scholar 

  7. Mark Dowson. Software Process Themes and Issues. In Proceedings of the Second International Conference on the Software Process. IEEE Computer Society Press, 1993.

    Google Scholar 

  8. C. Fernström. PROCESS WEAVER: Adding Process Support to UNIX. In Proceedings of the Second International Conference on the Software Process, Berlin, 1993.

    Google Scholar 

  9. M.L. Jaccheri and R. Conradi. Techniques for Process Model Evolution in EPOS, in IEEE TSE.

    Google Scholar 

  10. C.B. Jones, Tentative Steps Toward a Development Method for Interfering Programs, ACM TOPLAS 5(4), 1983.

    Google Scholar 

  11. J.A. Keane, J. Sa and B.C. Warboys, Applying a Concurrent Formal Framework to Process Modelling. In Proceedings of FME'94, Barcelona, October, 1994. Pages 291–305, LNCS 873.

    Google Scholar 

  12. C. Kung. Process Interface Modelling and Consistency Checking. Journal of System and Software, 15:185–191, 1991.

    Google Scholar 

  13. L. Lamport. What Good is Temporal Logic? In R.E.A. Mason, editor, Information Processing 83, pages 657–668, IFIP, 1983.

    Google Scholar 

  14. 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.

    Google Scholar 

  15. R. Snowdon. An Example of Process Change. In Proceedings EWSPT'92, volume 635 of Lecture Notes in Computer Science, pages 179–195. Springer Verlag, 1992.

    Google Scholar 

  16. M. Suzuki and T. Katayama. Meta-Operations in the Process Model HFSP for the Dynamics and Flexibility of Software Processes. in Proceedings of the First International Conference on software Processes, 1991, pages 202–217.

    Google Scholar 

  17. B. Warboys. The IPSE2.5 Project: Process Modelling as the Basis for a Support Environment. In Proceedings of the First International Conference on System Development Environment and Factories, Berlin, May 1989

    Google Scholar 

  18. P. Wegner, Dimensions of Object-Based Language Design. in OOPSLA'87 Proceedings, October, 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, University of the West of England, Bristol

    J. Sa

  2. Department of Computer Science, The University of Manchester, Manchester

    B. C. Warboys

Authors
  1. J. Sa
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. B. C. Warboys
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Wilhelm Schäfer

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sa, J., Warboys, B.C. (1995). A reflexive formal software process model. In: Schäfer, W. (eds) Software Process Technology. EWSPT 1995. Lecture Notes in Computer Science, vol 913. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-59205-9_65

Download citation

  • DOI: https://doi.org/10.1007/3-540-59205-9_65

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-59205-1

  • Online ISBN: 978-3-540-49224-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation