Skip to main content
SpringerLink
Log in

Structured Object-Z Software Specification Language

  • Conference paper
Grid and Cooperative Computing (GCC 2003)

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

Included in the following conference series:

Abstract

In this paper, we review and compare strengths and weakness of the structure methods, object-oriented methods and formal methods. In order to overcome the disadvantages of each kind of methods and combine the advantages of these three kinds of methods, we propose a new software development methodology named SOFM that attempts to integrate structure method, object-oriented method and formal method. SOZRSL(Structured Object-Z Software Specification Language) is a language to support SOFM. The core of this language is Predicate Data Flow Diagram. We combine PDFD with Object-Z notation to define SOZRSL syntax and the related structures.

This work is supported by China National Natural Science Foundation (No. 60173030)

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Liu, S.: A Formal Definition of FRSM and Applications. International Journal of Software Engineering and Knowledge Engineering 8(3), 253–281 (1998)

    Article  Google Scholar 

  2. Huaikou, M., Xiaolei, G., Gang, L.: The Comparison and Combination of Structured Methodology. Object-Oriented Methodology and Formal Methods. Computer Engineering & Science 21(4) (1999)

    Google Scholar 

  3. Liu, S., Jeff, A., Offutt, Ho-Stuart, C., Sun, Y., Ohba, M.: SOFL: A Formal Engineering Methodology for Industrial Applications. In: IEEE Transactions on Software Engineering, Special issue on Formal Methods, January 1998, vol. 24(1), pp. 24–45. IEEE Computer Society Press, Los Alamitos (1998)

    Google Scholar 

  4. Diller, A.: Z An Introduction to Formal Methods. John Wiley & Sons, London (1990)

    MATH  Google Scholar 

  5. Dawes, J.: The VDM-SL Reference Guide, Pitman (1991)

    Google Scholar 

  6. Bolognesi, T., Brinksm, E.: Introduction to the ISO specification language LOTOS. In: van Eijk, P.H.J., Vissers, C.A., Diaz, M. (eds.) The Formal Description Technique LOTOS, Elsevier Science Publishers, North-Holland, pp. 23–73 (1989)

    Google Scholar 

  7. Goguen, J.A., Winkler, T., Meseguer, J., Futatsugi, K., Jouannaud, J.-P.: Introducing OBJ (October 1993)

    Google Scholar 

  8. Guttag, J.V., Horning, J.J., Jones, K.D., Garland, S.J., Modet, A., Wing, J.M.: Larch: Languages and tools for formal specification. Texts and Monographs in Computer Science. Springer, Heidelberg (1993)

    MATH  Google Scholar 

  9. Mitra, S.: Object-oriented specification in VDM++. In: Lano and Haughton

    Google Scholar 

  10. Lano, K.: Z++, An Object-Orientated Extension To Z. Z User Workshop, Oxford (1990)

    Google Scholar 

  11. Smith, G.: The Object-Z. Kluuer Academic Publishers, America (2000)

    MATH  Google Scholar 

  12. Xiaodong, Y., Guoliang, Z.: COOZ: Complete Object-Oriented Extension to Z. Journal of Software 8(9) (1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Engineeing and Science, Shanghai University, Shanghai, 200072, China

    Xiaolei Gao, Huaikou Miao & Yihai Chen

  2. Xu zhou Normal University, Xuzhou, 221116, China

    Xiaolei Gao

Authors
  1. Xiaolei Gao
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Huaikou Miao
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Yihai Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science and Engineering, Shanghai Jiatong University, 80 Dongcuan Road, 200240, Shanghai, China

    Minglu Li

  2. Department of Computer Science, Illinois Institute of Technology, Chicago, IL, USA

    Xian-He Sun

  3. Department. of Computer Science, Shanghai Jiaotong University, 1954 HuaShan Road, 200030, Shanghai, P.R. China

    Qian-ni Deng

  4. Department of Computer Science, College of Liberal Arts, University of Iowa, 52242, Iowa City, IA, USA

    Jun Ni

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gao, X., Miao, H., Chen, Y. (2004). Structured Object-Z Software Specification Language. In: Li, M., Sun, XH., Deng, Qn., Ni, J. (eds) Grid and Cooperative Computing. GCC 2003. Lecture Notes in Computer Science, vol 3032. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24679-4_158

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24679-4_158

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-21988-0

  • Online ISBN: 978-3-540-24679-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation