| Author | Trinh Hoai Nhan |
| Call Number | AIT Thesis no.CS-96-10 |
| Subject(s) | Electronic data processing--Distributed processing
|
| Note | A thesis submitted in partial fulfillment of the requirements for the degree of Master of
Engineering |
| Publisher | Asian Institute of Technology |
| Abstract | Open 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. |
| Year | 1996 |
| Type | Thesis |
| School | School of Advanced Technologies (SAT) |
| Department | Department of Information and Communications Technologies (DICT) |
| Academic Program/FoS | Computer Science (CS) |
| Chairperson(s) | Vilas Wuwongse; |
| Examination Committee(s) | Huynh, Ngoc Phien;Yulu, Qi; |
| Scholarship Donor(s) | Government of Japan; |
| Degree | Thesis (M.Eng.) - Asian Institute of Technology, 1996 |