Skip to main content
SpringerLink
Log in

The formal specifications for protocols of decoders

  • Published:
Wuhan University Journal of Natural Sciences

Abstract

This paper presents a formal approach, FSPD (Formal Specifications for Protocols of Decoders), to specify decoder communication protocols. Based on axiomatic, FSPD is a precise language with which programmers could use only one suitable driver to handle various types of decoders. FSPD is helpful for programmers to get high adaptability and reusability of decoder-driver software.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Collins R, Lipton A, Kanade T,et al. A System for Video Surveillance and Monitoring.Carnegie Mellon University Technical Report, (CMU-RI-TR-00-12), Robotics Institute, 2000.

  2. Wang Chia-Hui, Chang Ray-I, Ho Jan-Ming. An Effective Communication Model for Collaborative Commerce of Web-Based Surveillance Services.IEEE Conference on Electronic Commerce, CEC03, Newport Beach, California, USA,http://cscl.iis.sinica.edu.tw/documents/chwany/WangC_Su rveillance. pdf, June, 2003.

  3. Ho Jan-Ming, Juang Jie-Yong, Wang Chia-Hui,et al. Design and Implementation of a Web-based Surveillance System Using Internet Multicast Communications.International IEEE Conference on Software, Telecommunications and Computer Networks (IEEE SoftCOM), Croatia & Italy,http://cscl. iis. sinica. edu. tw/documents/chwang/soft-COM.pdf, Oct. 2000.

  4. Woodcock J, Davies J. Using Z: Specification, Refinement and Proof.http://www.comlab.ox.ac.uk/igdp/usingz, 1996.

  5. Woodcock J. Calculating Properties of Z Specifications.ACM SIGSOFT Software Engineering Notes, 1989,14(4): 43–54.

    Article  Google Scholar 

  6. Woodcock J. Structuring Specifications in Z.Software Engineering Journal, IEE/BCS, 1989,4(1): 51–66.

    MathSciNet  Google Scholar 

  7. Cherniavsky J C, Kamin S N. A Complete and Consistent Hoare Axiomatics for a Simple Programming Language.J ACM, 1979,26(1): 119–128.

    Article  MATH  MathSciNet  Google Scholar 

  8. Hoare C A R. An Axiomatic Basis for Computer Programming.Comm ACM, 1969,12(10): 576–681.

    Article  MATH  Google Scholar 

  9. Hoare C A R, Wirth N.An Axiomatic Definition of the Programming Language PASCAL. Oxford: Oxford University Press, 1972.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer, Wuhan University, 430072, Wuhan, Hubei, China

    Yuan Meng-ting, Wu Guo-qing & Shu Feng-di

Authors
  1. Yuan Meng-ting
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Wu Guo-qing
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Shu Feng-di
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Biography: YUAN Meng-ting(1976-), Ph.D candidate, research direction: software engineering, formal method.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Meng-ting, Y., Guo-qing, W. & Feng-di, S. The formal specifications for protocols of decoders. Wuhan Univ. J. Nat. Sci. 9, 879–882 (2004). https://doi.org/10.1007/BF02850791

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02850791

Key words

CLC number

Search

Navigation