ALGEBRAIC SPECIFICATION OF HDLC PROCEDURES.

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

ALGEBRAIC SPECIFICATION OF HDLC PROCEDURES.

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

Graduate School of Natural Science and Technology

Research output: Contribution to journal › Article

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 language	English
Pages (from-to)	64-74
Number of pages	11
Journal	SYST COMPUT CONTROLS
Volume	V 12
Issue number	N 1
Publication status	Published - Jan 1 1982

Fingerprint

ASJC Scopus subject areas

Engineering(all)

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.

@article{623daed636cf4cc4b7cc7db238f2d1b7,

title = "ALGEBRAIC SPECIFICATION OF HDLC PROCEDURES.",

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.",

author = "MASAAKI MORI and TERUO HIGASHINO and YUJI SUGIYAMA and KENICHI TANIGUCHI and TADAO KASAMI",

year = "1982",

month = jan

day = "1",

language = "English",

volume = "V 12",

pages = "64--74",

journal = "Systems, computers, controls",

issn = "0096-8765",

publisher = "Scripta Pub Co.",

number = "N 1",

}

TY - JOUR

T1 - ALGEBRAIC SPECIFICATION OF HDLC PROCEDURES.

AU - MORI, MASAAKI

AU - HIGASHINO, TERUO

AU - SUGIYAMA, YUJI

AU - TANIGUCHI, KENICHI

AU - KASAMI, TADAO

PY - 1982/1/1

Y1 - 1982/1/1

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

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

UR - http://www.scopus.com/inward/record.url?scp=0019923309&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0019923309&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0019923309

VL - V 12

SP - 64

EP - 74

JO - Systems, computers, controls

JF - Systems, computers, controls

SN - 0096-8765

IS - N 1

ER -

ALGEBRAIC SPECIFICATION OF HDLC PROCEDURES.

Abstract

Fingerprint

ASJC Scopus subject areas

Cite this

Access to Document