Title: Analytical model of object request broker based on Corba standard
Abstract: This paper introduces formal approaches to an integration of the program components of a distributed application using an Object Request Broker (ORB) of the Common Object Request Broker Architecture (CORBA) standard for distributed computing. The authors develop a system of functional models in order to analyze the interaction algorithms of distributed system elements.