현재, 과학, 기술 문서 등에 많은 사용되는 수식의 표기법이 TeX, EQN등과 같이 가특정 시스템에 의존하여 시스템간의 상호교환이 안되고 있다. 따라서 본 논문에서는 워드프로세서나 전자출판등에서 작성되는 수식 정보의 공유 및 시스템간 상호 교환성 을 확보하기 위하여, 국제 표준 SGML 표기법으로 수식을 표현할 수 있고, 또한 수식용 문서형 정의(Document Type Definition)에 따라 수식 구조의 오류 검사 기능을 갖는 대화형 수식 편집기의 설계 및 구원을 한다. 사용자 접속으로는 수식 심볼 아이콘에 대한 마우스 입력과 키보드 입력 등의 직접 조작 방식을 구현하였다. 구현 환경으로는 워크스테이션 상에서 UNIX를 운영 체제로 하는 X 윈도우 시스템과 그래픽컬 사용자 접속인 OSF Motif를 사용하였고 메뉴 및 화면 구성을 위하여 OSF UIL(User Interface Language)을 사용하였다.
The design of distrbuted systems is difficult to achieve as the execution patterns of distrbuted systems are typically more complex than those of non- distributed systems. Thus, research toward the development of design methods for distributed systems is quitely needed. As object-oriented systems and distrbuted systems share similar properties, the combination of these two is somehow natural. In this work, a design of distributed systems is introduced. The goal of the method in this paper is to provide assistance to the process of specifying a formal object- oriented specification from graphical representation specification inputs such as data flow diagrams, state transition diagrams and Petri nets. It addresses the extraction of objects, operations and reationshipsfrom the problem domain with emphasis on the specification of the characteristics of distributed systems. This object identification method is supported by a knowledge base that provides for the automated analysis and reasoning about objects and their relationsships. The final object model is represented in a format which provides a formal mechanism for reprsenting the object information.
