Search academic texts

Information × Registration Number 0201U001539, 0197U019062 , R & D reports Title Methods of Distributed application proven design popup.stage_title Head Lavrishcheva K. M., Registration Date 08-02-2001 Organization Institute of Software Systems popup.description2 Researches of this scientific project belongs to actual direction - creation of modern computer systems. Their goal is development of methods which permit distributed applications (DA) components verified design, based on object-oriented components approach, theoretical programming, contemporary models of objects collaboration etc. In order to acheave such a goal several domain modelling methods were analysed which enable to generate correct components be their testing and verifying. As result some generalised notions and means were proposed to form the systematic methodology of software proved design. Then conception and theory were proposed to represent object-oriented model (OOM) with the notation of set theory and logical operations which permit initialy to create the object graph from local objects of applications and interface, and then to transform it into distributed graph of remoted and placed in the network interacted (collaborated) objects , correctness of functioning for which is proved. Ba sed attributes for representing OOM and interaction model are defined: relations and connections types, their characteristics, events and principles of odjects distribution over networks etc. Some formal definitions system is proposed which used to check the correctness of graph sets, message sending between distributed objects and interaction conditions during data changes. Product Description popup.authors popup.nrat_date 2020-04-02 Close