Methods and tools for modelling the behaviour of information-transport ports in distributed software configurations

Author

Pakstas, Algirdas

Author_Institution

Inst. of Math. & Comput. Sci., Acad. of Sci., Vilnius, Lithuanian SSR, USSR

fYear

1990

fDate

22-25 Oct 1990

Firstpage

191

Lastpage

194

Abstract

Modeling the behavior of an information transport port (ITP) on the basis of formal grammar is discussed. ITPs are objects designated for serving blocks of applicational programs in the distributed software configurations. The method can be used for both design and debugging. The modeling approach is discussed using the example of the expanded version of the semiduplex alternating bit protocol with bufferization and broadcasting exchanges. Automatic construction of the port control module is discussed

Keywords

distributed processing; grammars; program debugging; protocols; software engineering; applicational programs; debugging; design; distributed software configurations; formal grammar; information-transport ports; modelling; port control module; semiduplex alternating bit protocol; Automata; Automatic control; Automatic programming; Broadcasting; Mathematical model; Mathematics; Packaging machines; Phase change materials; Protocols; Software tools;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Technology, 1990. 'Next Decade in Information Technology', Proceedings of the 5th Jerusalem Conference on (Cat. No.90TH0326-9)

Conference_Location

Jerusalem

Print_ISBN

0-8186-2078-1

Type

conf

DOI

10.1109/JCIT.1990.128285

Filename

128285