KR20000031541A - 탬플릿 기반의 시간 순서화 명세언어 편집방법 - Google Patents

Abstract

본 발명은 시간 순서화 명세언어(LOTOS)의 탬플릿 기반 편집방법에 관한 것이다. 시간 순서화 명세언어와 같은 정형 명세 언어는 아직 정보 통신 분야의 시스템 개발에 보편적으로 사용되지 못하고 있는데, 그 이유 중 하나는 정형 명세의 구문에 숙달되지 않은 사용자가 쉽고 편리하게 명세를 편집할 수 있도록 도와주는 지원 도구의 부재에 있다. 이러한 문제점을 해결하고자 본 발명은 편집 프로그램 화면상에 현재의 명세 편집 상태에서 입력 가능한 LOTOS 구문을 탬플릿 형태로 제공하고, 사용자가 이 중에서 원하는 것을 간단한 마우스 조작으로 입력하게 하며, 구문 입력 후 새롭게 바뀐 편집 상태에서 다시 입력 가능한 구문 탬플릿을 생성한 후 반복하여 탬플릿을 선택할 수 있게 함으로써 오류 없이 편리하게 LOTOS명세를 편집할 수 있게 하는 방법이다. 이러한 방법에 따라, 본 발명은 시간 순서화 명세 언어에 익숙치 않은 사용자들로 하여금 구문 오류 없는 명세를 간편하게 작성할 수 있도록 한다.

Description

탬플릿 기반의 시간 순서화 명세언어 편집방법

본 발명은 정형 명세 언어의 일종인 시간 순서화 명세언어(Language Of Temporal Ordering Specification, LOTOS)를 정확하고 간편하게 작성할 수 있도록 해주는 편집 도구 기술 분야에 관한 것으로서, 특히 시간 순서화 명세언어 사용자의 편의를 위한 탬플릿 기반의 시간 순서화 명세언어 편집방법에 관한 것이다.

현대 사회에서 컴퓨터 시스템은 산업의 전 분야로 활용 범위가 확대되고, 날로 복잡하고 거대한 시스템이 출현하면서 그에 대한 의존성 및 중요성이 점점 커지고 있다. 특히, 안정성이 요구되는 시스템의 경우에는 개발 초기, 시스템 명세 단계에서 심각한 문제를 포함하고 있다면 이 후 개발 과정에 지대한 영향을 끼칠 수 있다. 이와 같은 초기 명세상의 오류를 제거하기 위해 정형 명세 기법이 점차 그 중요성을 인정 받고 있으며 정형 명세 언어로 시스템을 명세하여 엄격한 분석을 적용하려는 시도가 늘고 있다.

이러한 편집 도구 기술 분야에 해당되는 종래 기술은 단순한 텍스트 편집 도구를 그대로 사용함으로써 사용자의 편의를 충분히 고려해 주지 못했고 정확한 구문의 입력이 필요한 정형 명세의 작성에 도움을 주지 못했다.

상기와 같은 단순 텍스트 입력 방식의 종래의 편집 기술은 작성하고자 하는 명세 언어에 익숙한 사용자에게는 별 문제가 없었으나, 그 명세 언어를 배우고자 하는 초보자나 구문의 정확한 표현에 익숙치 않은 사용자들에게는 편리하지 못한 방법이었다.

따라서, 본 발명은 상기와 같은 종래기술의 문제점을 해결하기 위해, 시간 순서화 명세 언어 사용자의 편의를 돕는 탬플릿 기반의 명세 편집방법을 제공함으로써, 기존의 단순 텍스트 입력에 의한 편집방법에 비해 빠르고 간편한 방법으로 구문 오류가 없는 정확한 LOTOS 명세를 편집할 수 있도록 하는데 그 목적이 있다.

본 발명은 상기 목적을 달성하기 위해 탬플릿 구축 방법과 탬플릿 입력 방법의 두 가지 구성 요소를 가진다.

먼저, 탬플릿 구축 방법은, 프로그램의 편집 윈도우에 나타나 있는 현재의 명세 편집 상태에서 커서(cursor)가 위치한 곳의 명세를 파악하여 입력 가능한 LOTOS 구문을 추출하고 이들을 트리 형태로 탬플릿 윈도우에 제시하는 방법으로서, 사용자가 필요한 구문을 한눈에 쉽게 파악하여 선택할 수 있게 한다.

다음으로, 탬플릿 입력 방법은, 사용자로 하여금 탬플릿으로 표시된 구문 트리상에서 필요한 구문을 마우스 버튼의 더블 클릭만으로 간편하게 편집 중인 명세에 추가할 수 있게 한다.

이와 같은 탬플릿 구축 방법과 탬플릿 입력 방법은 서로 교대로 작용하면서 전체적인 편집방법을 구성하여 구문 오류 없는 시간 순서화 명세의 편집을 지원할 수 있는 것이다.

도 1은 본 발명의 편집방법을 나타내는 흐름도.

이하, 첨부된 도면을 참조하여 본 발명을 상세히 설명하면 다음과 같다.

도 1은 본 발명의 주 대상이 되는 시간 순서화 명세 언어의 편집방법을 나타내는 흐름도이다.

먼저, 명세를 로딩(10)한 후, 편집 상태를 파악하고(20) 현재 커서가 위치한 부분에 입력 가능한 LOTOS 구문을 추출(30)한다. 상기의 방법으로 추출된 LOTOS 구문을 탬플릿 트리 형태로 구축(40)하여 사용자에게 제시하고 사용자의 입력이 있을 때까지 대기(50)하였다가 사용자 입력이 발생하면(60) 편집 상태를 변경(70)하여 변경된 편집 상태를 다시 파악(20)한다. 상기 편집 상태 파악(20)에서부터 편집 상태 변경(70)까지의 과정을 계속 되풀이 하다가 편집 끝에 이르면 더 이상 진행하지 않고 LOTOS 명세의 편집을 마친다(80).

다시 말하면, 본 발명은 편집 프로그램 화면상에 현재의 명세 입력 상태에서 입력 가능한 LOTOS 구문을 탬플릿 형태로 제공하고, 사용자가 이 중에서 원하는 것을 간단한 마우스 조작으로 입력하게 하며, 구문 입력 후 새롭게 바뀐 편집 상태에서 다시 입력 가능한 구문 탬플릿을 생성한 후 반복하여 탬플릿을 선택할 수 있게 함으로써 오류 없이 편리하게 LOTOS명세를 편집할 수 있게 하는 방법이다.

이상과 같은 본 발명은 시간 순서화 명세언어의 탬플릿 기반 편집방법을 제공함으로써 종래의 단순 텍스트 입력 방식의 편집 기술에 비해 빠르고 간편하게 구문 오류 없는 정확한 LOTOS 명세를 편집할 수 있는 효과를 가진다.

Claims (4)

1. 컴퓨터 시스템의 편집 도구를 이용한 편집방법에 있어서,

   프로그램의 편집 윈도우에 나타나 있는 현재의 명세 편집 상태에서 커서가 위치한 곳의 명세를 파악하고, 그 파악된 편집 상태에서 입력 가능한 LOTOS 구문을 추출하며, 그 추출된 LOTOS 구문을 일정 자료 형태로 탬플릿 윈도우에 구축하는 탬플릿 구축 과정과;

   상기 구축된 탬플릿 자료 형태에서 사용자로 하여금 필요한 구문을 명세에 추가하게 하는 탬플릿 입력 과정으로 이루어져, 구문 오류 없는 시간 순서화 명세의 편집을 지원하는 것을 특징으로 하는 탬플릿 기반의 시간 순서화 명세언어 편집방법.
2. 제 1 항에 있어서,

   상기 탬플릿 구축과정에서 상기 자료형태는 트리 형태로 구축하는 것을 특징으로 하는 탬플릿 기반의 시간 순서화 명세언어 편집방법.
3. 제 1 항에 있어서,

   상기 탬플릿 입력과정에서 필요한 구문은, 사용자에 의해서 마우스 버튼의 더블 클릭으로 간편하게 편집 중인 명세에 추가하는 것을 특징으로 하는 탬플릿 기반의 시간 순서화 명세언어 편집방법.
4. 제 1 항에 있어서,

   상기 탬플릿 구축과정과 탬플릿 입력과정을 서로 교대로 수행하여 편집을 수행하는 것을 특징으로 하는 탬플릿 기반의 시간 순서화 명세언어 편집방법.