1 AIT Asian Institute of Technology

A specification language for the open distributed processing reference model

AuthorTrinh Hoai Nhan
Call NumberAIT Thesis no.CS-96-10
Subject(s)Electronic data processing--Distributed processing

NoteA thesis submitted in partial fulfillment of the requirements for the degree of Master of Engineering
PublisherAsian Institute of Technology
AbstractOpen Distributed Processing Reference Model (ODP-RM), an ISO's standard, aims at providing a general specification for heterogeneous distributed systems. It employs a multi-viewpoint paradigm, complement by formal description techniques (FDT) to cope with the complexity of the subject. However, none of existing FDT languages is completely suitable because of their lack of expressive power. Therefore a multiple-language, multiple-viewpoint environment has been used resulting in many drawbacks. This study attempts to solve the above mentioned problem by developing a formal specification language which has, in one hand, high inference power to deal with the complexity of the target systems, and on the other hand, sufficiently high expressive power to cover the broad range of viewpoints concerned. The proposed specification language is based on Conceptual Graphs and is specialized into an inheritance structure of three executable specification languages, the top two dealing with two ODP's viewpoints: Information and Computation, while the base one with the Foundation concepts. The language does not only serve as a specification language, but its structure are also powerful enough to handle the issues of specification consistency in a multiple- viewpoint environment.
Year1996
TypeThesis
SchoolSchool of Advanced Technologies (SAT)
DepartmentDepartment of Information and Communications Technologies (DICT)
Academic Program/FoSComputer Science (CS)
Chairperson(s)Vilas Wuwongse;
Examination Committee(s)Huynh, Ngoc Phien;Yulu, Qi;
Scholarship Donor(s)Government of Japan;
DegreeThesis (M.Eng.) - Asian Institute of Technology, 1996


Usage Metrics
View Detail0
Read PDF0
Download PDF0