Title :
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
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;
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
DOI :
10.1109/JCIT.1990.128285
