Описание:The course is devoted to the rapidly developing issues of object technologies emerging as a result of elaboration and deployment of the interoperation middlewares (such as the Object Management Group (OMG) infrastructure). Technologies of the distributed object-oriented middleware are considered. Several kinds of middleware (RPC, OMG CORBA, Java/RMI, Web Services) are considered as examples. Core midlleware architecture is considered in detail. Advanced features of the middleware considered include synchronization facilities, naming and trading, lifecycle of distributed objects, persistence and transaction services, as well as the security issues.
Compositional information systems development based on such distributed object-oriented middleware is considered separately. Compositional information systems development requires complete, rigorous specifications of requirements and of pre-existing, interoperable components. Object model semantics and application semantics are introduced in the course. Formal facilities (Abstract Machine Notation by J.-R. Abrial) are introduced to define object model semantics. Type specification and subtyping relationships are treated rigorously. Provable refinement of the abstract machines is considered as the basis for compositional development. Specification calculus leading to decomposition of specification into reusable fragments and to composition of such fragments into the artifacts refining the requirements is considered. Application semantics is treated in the course in frame of the ontological modelling. Ontolingua model and its mapping to an object-oriented model are given. An approach for systematic, provable transformation of object specifications in process of the component-based design is presented.
Материалы к курсу: http://synthesis.ipi.ac.ru/synthesis/student