Hypertext systems involve management of nodes interconnected by links, and visual presentation of these objects. In many application areas hypertext systems are found to be useful, and it is necessary to specialize the system to fit the requirements of a specific area.
We propose a tool for constructing specialized hypertext systems from the generic one. To automate the design process of hypertext systems, the control mechanism over the system should be specified. In our system, the target system control is represented by a set of state transition diagrams for individual hypertext objects. Since visual presentation and storage representation of hypertext objects are treated as states in state transition diagram, the application designer is relieved from the detailed internal implementations of hypertext applications. We present a specification language for describing the global control of the target hypertext system, and a prototype implementation based on this specification method is described.
하이퍼텍스트 시스템은 노드와 링크로 이루어지는 하이퍼텍스트 그래프를 관리하고 사용자가 그래프내의 객체에 쉽게 접근 할 수 있도록 해 주기 위한 것이다. 하이퍼텍스트 시스템은 여러 응용 분야에서 유용하게 사용될 수 있는데, 각 응용 분야의 요구 조건을 만족하기 위해서는 하이퍼텍스트 시스템이 응용의 특성을 반영할 수 있도록 변화하기위한 기능이 제공되어야 한다.
본 논문에서는 특정한 응용을 위해 하이퍼텍스트 시스템을 구축할 수 있도록 하기위한 도구를 제안한다. 하이퍼텍스트 시스템의 설계 과정을 자동화하기 위해서는 시스템 전체의 제어를 기술할 수 있는 기능이 제공되어야만 한다. 본 논문에서는 생성될 시스템의 제어는 각각의 하이퍼텍스트 객체에 대한 상태 전이도로써 나타내도록 하였다. 하이퍼텍스트 객체의 화면상의 표시와 데이타베이스내의 저장은 상태 전이도 내의 하나의 상태로서 나타내어지므로 응용 프로그래머는 추상적인 레벨에서 하이퍼텍스트 시스템을 구축할 수 있다. 상태 전이도로써 하이퍼텍스트 시스템의 제어를 나타내기 위한 방법으로서의 명세언어가 사용되며, 이러한 명세 언어에 기반한 도구의 설계 및 구현에 대해 설명한다.
