-
公开(公告)号:KR100279754B1
公开(公告)日:2001-02-01
申请号:KR1019970060082
申请日:1997-11-14
Applicant: 한국전자통신연구원
IPC: G06F17/40
Abstract: 본 발명은 엄격한 구조적 분석 지원 자동화 시스템에서의 모형 정보 저장 및 삭제시의 처리 방법에 관한 것으로, 먼저 모형 정보의 저장 전에 저장 정보에 대하여 본 발명이 실현되는 엄격한 구조적 분석 자동화 시스템에서 지원하는 문법 및 의미 규칙의 검증을 거쳐 올바르고도 정확한 모형 정보만이 저장될 수 있도록 하고, 모형 정보의 삭제에서는 해당 모형뿐만 아니라 관련되어 있는 나머지 모형 정보까지도 함께 삭제되도록 하고, 모형 정보의 삭제에 따라 더 이상 의미 없는 모형 정보도 함께 삭제되도록 한다. 이와 같은 모형 정보의 삭제시에는 해당 객체에 대한 특성 모형을 비롯한 객체의 모든 정의 정보가 삭제되고, 특히 자료 항목의 삭제시에는 자료 항목의 최하위 구성 단위인 자료 원소 및 미정의 자료까지 삭제되도록 함으로써 순수하고 일관성 있는 분석 모형이 유지되도록 하여 모형 정보에 대한 모형 내부의 작성 규칙 및 모형 사이의 일관성 규칙의 검증 등에서의 엄격한 분석이 가능하도록 하였다.
-
公开(公告)号:KR1019990039852A
公开(公告)日:1999-06-05
申请号:KR1019970060082
申请日:1997-11-14
Applicant: 한국전자통신연구원
IPC: G06F17/40
Abstract: 본 발명은 엄격한 구조적 분석 지원 자동화 시스템에서의 모형 정보 저장 및 삭제시의 처리 방법에 관한 것으로, 먼저 모형 정보의 저장 전에 저장 정보에 대하여 본 발명이 실현되는 엄격한 구조적 분석 자동화 시스템에서 지원하는 문법 및 의미 규칙의 검증을 거쳐 올바르고도 정확한 모형 정보만이 저장될 수 있도록 하고, 모형 정보의 삭제에서는 해당 모형뿐만 아니라 관련되어 있는 나머지 모형 정보까지도 함께 삭제되도록 하고, 모형 정보의 삭제에 따라 더 이상 의미 없는 모형 정보도 함께 삭제되도록 한다. 이와 같은 모형 정보의 삭제시에는 해당 객체에 대한 특성 모형을 비롯한 객체의 모든 정의 정보가 삭제되고, 특히 자료 항목의 삭제시에는 자료 항목의 최하위 구성 단위인 자료 원소 및 미정의 자료까지 삭제되도록 함으로써 순수하고 일관성 있는 분석 모형이 유지되도록 하여 모형 정보에 대한 모형 내부의 작성 규칙 및 모형 사이의 일관성 규칙의 검증 등에서의 엄격한 분석이 가능하도록 하였다.
-