State architecture notation and simulation: A formal technique for the specification and testing of protocol systems

Computer Networks (1976) Pub Date : 1982-12-01 DOI:10.1016/0376-5075(82)90111-8

Thomas F Piatkowski, Lap-Kin Ip, Dayun He

{"title":"State architecture notation and simulation: A formal technique for the specification and testing of protocol systems","authors":"Thomas F Piatkowski, Lap-Kin Ip, Dayun He","doi":"10.1016/0376-5075(82)90111-8","DOIUrl":null,"url":null,"abstract":"<div>The increasing practical importance of data communications, computer networking and distributed data processing has increased the benefits to be gained from a systematic approach to the design, specification, validation, implementation and testing of these kind of systems.This paper presents an introduction to the State Architecture approach to protocol system specification and also describes an important companion simulation tool.State Architecture concepts and definitions are presented. Complex protocol systems are built up of interconnections of state-system primitives; specifically, combinational functions, finite-state machines, queues, clocks, delays and derivatives. Aspects of component state and input/output behavior are treated explicitly.State Architecture Notation (SAN), a formal machine-readable language for specifying protocol systems, is outlined.The State Architecture Simulator (SAS), a general purpose SAN model simulator is described and example SAS runs on a model of the ADCCP protocol (similar to HDLC and SDLC) are included.A preliminary evaluation of the State Architecture approach is presented along with a brief comparison to other methods of formal specification.</div>","PeriodicalId":100316,"journal":{"name":"Computer Networks (1976)","volume":"6 6","pages":"Pages 397-418"},"PeriodicalIF":0.0000,"publicationDate":"1982-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0376-5075(82)90111-8","citationCount":"6","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Computer Networks (1976)","FirstCategoryId":"1085","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/0376507582901118","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

Abstract

The increasing practical importance of data communications, computer networking and distributed data processing has increased the benefits to be gained from a systematic approach to the design, specification, validation, implementation and testing of these kind of systems.

This paper presents an introduction to the State Architecture approach to protocol system specification and also describes an important companion simulation tool.

State Architecture concepts and definitions are presented. Complex protocol systems are built up of interconnections of state-system primitives; specifically, combinational functions, finite-state machines, queues, clocks, delays and derivatives. Aspects of component state and input/output behavior are treated explicitly.

State Architecture Notation (SAN), a formal machine-readable language for specifying protocol systems, is outlined.

The State Architecture Simulator (SAS), a general purpose SAN model simulator is described and example SAS runs on a model of the ADCCP protocol (similar to HDLC and SDLC) are included.

A preliminary evaluation of the State Architecture approach is presented along with a brief comparison to other methods of formal specification.

查看原文本刊更多论文

状态体系结构符号和模拟:协议系统规范和测试的形式化技术

数据通信、计算机网络和分布式数据处理日益增长的实际重要性增加了从这些系统的设计、规范、验证、实现和测试的系统方法中获得的好处。本文介绍了协议系统规范的状态体系结构方法，并描述了一个重要的配套仿真工具。介绍了状态体系结构的概念和定义。复杂的协议系统是由状态系统原语的互连构成的;具体来说，组合函数，有限状态机，队列，时钟，延迟和导数。组件状态和输入/输出行为的各个方面被显式处理。概述了状态体系结构符号(SAN)，一种用于指定协议系统的正式的机器可读语言。描述了一种通用的SAN模型模拟器——状态体系结构模拟器(SAS)，并给出了运行在ADCCP协议模型(类似于HDLC和SDLC)上的SAS示例。对状态体系结构方法进行了初步评估，并与其他形式规范方法进行了简要比较。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Computer Networks (1976)

自引率

0.00%

发文量