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 |
ASJC Scopus subject areas
- Engineering(all)