ALGEBRAIC SPECIFICATION OF HDLC PROCEDURES.

MASAAKI MORI, TERUO HIGASHINO, YUJI SUGIYAMA, KENICHI TANIGUCHI, TADAO KASAMI

Research output: Contribution to journalArticle

Abstract

ALGEBRAIC SPECIFICATION IS A USEFUL TOOL FOR PRECISE DESCRIPTION OF PROGRAM SPECIFICATIONS AND VALIDATION OF VARIOUS PROGRAM FEATURES. HERE A FORMAL DESCRIPTION IS GIVEN FOR THE HIGH-LEVEL DATA LINK CONTROL (HDLC) PROCEDURE USING ALGEBRAICSPECIFICATION AND THE FEATURES OF SUCH SPECIFICATION ARE EXPLAINED. THE AUTHORS ANALYZE THE RATINGS OF THE HDLC PROCEDURE, DEFINE ITS FUNDAMENTAL CONCEPTS AND INTRODUCE THE ASSOCIATED DATA TYPES (SORTS) AND FUNCTIONS. BASED ON THE DESCRIPTION OF THE RATINGS, THE RELATIONSHIP BETWEEN THE FUNCTIONS CAN BE WRITTEN NATURALLY AND SIMPLY AS AN AXIOM. AN ALGEBRAICSPECIFICATION COVERING ALL RATINGS IS INTRODUCED. THE SPECIFICATION IS SHOWN TO HAVE FEATURES SUCH THAT THE AXIOM IS ″ CONSISTENT ″ AND ″ SUFFICIENTLY COMPLETE ″ , AND A SEQUENTIAL MACHINE TO REALIZE THE SPECIFIED ITEMS CAN BE CONSTRUCTED.VALIDATION OF THE ALGEBRAICALLY SPECIFIED HDLC CAN BE FORMULATED WITHIN THE SAME FRAMEWORK AS THAT OF THE ALGEBRAIC SPECIFICATION ITSELF.

Original languageEnglish
Pages (from-to)64-74
Number of pages11
JournalSYST COMPUT CONTROLS
VolumeV 12
Issue numberN 1
Publication statusPublished - Jan 1 1982

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'ALGEBRAIC SPECIFICATION OF HDLC PROCEDURES.'. Together they form a unique fingerprint.

  • Cite this

    MORI, MASAAKI., HIGASHINO, TERUO., SUGIYAMA, YUJI., TANIGUCHI, KENICHI., & KASAMI, TADAO. (1982). ALGEBRAIC SPECIFICATION OF HDLC PROCEDURES. SYST COMPUT CONTROLS, V 12(N 1), 64-74.