• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제15권7호
• /
• pp.2476-2495
• /
• 2021

Model-based software architecture verification and test scenarios generation are becoming more and more important in the software industry. Based on the existing temporal graph grammar, this paper proposes a new formalization method of the context-sensitive graph grammar for aiming at UML activity diagrams, which is called the UML Activity Graph Grammar, or UAGG. In the UAGG, there are new definitions and parsing algorithms. The proposed mechanisms are able to not only check the structural correctness of the UML activity diagram but also automatically generate the test scenario according to user constraints. Finally, a case study is discussed to illustrate how the UAGG and its algorithms work.

• 한국주거학회논문집
• /
• 제19권1호
• /
• pp.9-16
• /
• 2008

This study aims to construct the design competence by means of a topological approach. To this end, the linguistic concept of 'competence and performance' in Chomskian sense is borrowed and applied to the study. The usability of this method is then tested against the sample apartment plans from Gangnam-gu area in Seoul, and it is found that this enabled a middle-ground approach to a more productive grammar that overcomes the limits in Glassie's and Stiny's grammar systems. Through a series of analyses on the sample plans, it could be clarified that there appear classificatory levels in the competence that controls the planning of the building, zoning of the unit, and layout of LDK combination. At the end, it is evaluated that the generative grammar, constructed in this research, is the possible world in designers' minds, and this retrospective remodelling of the architectural competence could illuminate the 'design decision flow' that generates the sample plans.

• 전자공학회논문지B
• /
• 제30B권1호
• /
• pp.10-17
• /
• 1993

This paper analyzes succinct graph descriptions and its complexity of connectivity problems on context free graph languages under various restrictions. It defines SNLC(Simple Context Free Node Label Controlled) grammar and presents reduction method that solves graph problems without expanding the hierarchical description. It exemplifies the method by giving efficient solutions to connectivity problems on graphs and presents parallel algorithm for reduction and analyzes the complexity. Its results will help application of desing for NETWORK. CAD. VLSI and other engineering problems.

• Architectural research
• /
• 제21권1호
• /
• pp.9-20
• /
• 2019

In the spatial configuration of a unit plan, two rules exist: one that governs the arrangement of spaces, and one that controls the design process of generating a unit plan. This study defines space grammar as an integration of the two rules that give birth to a given spatial configuration and as the process of the generation of unit plans. To understand the distinctive features of Indonesian row houses, this study analyzes the unit plans of row houses in new towns of the metropolitan cities of Indonesia, derives a common space grammar from the unit plans, and interprets the sociocultural background that has produced this space grammar. This study employs Seo's (2007a; 2007b) graph-theoretic methodology to analyze the spatial configurations of unit plans along with a topographical approach to systematically illustrate the design process. The guest space was found as the most unique space of Indonesian houses, which cannot be found in other Southeast Asian houses. Kitchen was clearly seperated from the dining and living spaces, following traditional custom. Dining space was found to serve as a circulation center, connecting the entrance, the lving area and the kitchen. This study locates the basic orders of primary space and the design principles that dictate the unique spatial configurations of Indonesian row houses. This study reveals the basic space grammar that underpins the forms of Indonesian row houses, explaining the sociocultural and geo-climatic factors affecting this space grammar and proposing unique characteristics of Indonesian contemporary houses.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권3_4호
• /
• pp.268-277
• /
• 2003

문서내의 태그를 정의하는 문서타입정의(DTD)는 구문구조를 정의하는 XML 문서문법으로 이문법에 따라 작성되는 XML 문서는 파싱처리로 적합성을 확인해야 한다. XML 문서의 적합성을 확인하기 위한 파싱 방법으로서 프로그래밍 언어의 결정적 파싱은 표준에서 언급한 모든 엘리먼트선언에 대한 결정적 내용 모델에 대한 정의를 만족할 수 없다. 이에 본 논문에서는 적합한 XML 문서 처리를 위하여 구문 편집환경에 초점을 맞추고 구문편집에 기본이 되는 DTD의 내부표현과 그에 따른 알고리즘에 대하여 기술한다. 문자열로 표현되는 DTD의 엘리먼트선언과 어트리뷰트선언의 문서 논리구조는 본 논문에서 제시하는 알고리즘에 의해 그래프구조와 데이블구조로 변환되고, 특히 테이블구조의 구문정보는 속성값을 갖는 문맥자유문법형태로 구문지향적 편집기에 이용되는 문법이 된다. 이 문법을 XML 추상문법이라고 하고 문법생성결과 및 구문편집 예를 보인다.

• 한국인터넷방송통신학회논문지
• /
• 제9권3호
• /
• pp.61-67
• /
• 2009

인터넷의 발달로 전자문서가 증가함에 따라, 정보검색기술의 중요성도 함께 증가하게 되었다. 본 연구는 비정형 텍스트 웹 문서로부터 사용자가 요구하는 핵심 의미 지식을 추출하기 위하여 LGG(Local Grammar Graph) 구축에 기반 하여 보다 효율적이고 정확한 지식구축을 가능하게 한다. 주가등락이라는 특정 분야의 패턴을 추출하여 만든 패턴 문법을 사용해서 OWL(Web Ontology Language) 기반의 온톨로지를 구축하였다. 특정 분야의 온톨로지를 구축함으로써 기존 검색에서 할 수 없었던 지식의 의미 검색이 가능하며 나아가 사용자가 원하는 질의에 대한 정보의 추론이 가능할 것이다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2011년도 제23회 한글 및 한국어 정보처리 학술대회
• /
• pp.49-54
• /
• 2011

본 논문에서는 회의공지 이메일을 대상으로 하는 개최장소 추출시스템에 대하여 소개한다. 개최장소 추출 시스템은 두 단계로 구성되는데, 첫 번째 단계는 본문에 포함된 개최장소의 추출이고, 두 번째 단계는 추출된 개최장소의 Geocoding이다. 개최장소의 추출을 위하여 문맥 패턴을 분석하여 개최장소가 포함된 문장 주변의 패턴을 반영하는 Local-Grammar Graph를 구축하며, 개최장소의 Geocoding을 위하여는 Addr2Geocode API를 사용한다. 본 논문은 일정공지메일의 개최장소를 추출하기 위한 LGG 방법론 기반의 어휘-통사적 언어 정보를 기술하는 것을 목적으로 한다.

• 한국멀티미디어학회논문지
• /
• 제6권6호
• /
• pp.1088-1099
• /
• 2003

의미 수행 코드를 이용한 문법-지시적 변환 방법은 컴파일러 설계자가 원시 언어의 구문 구조에 따라 직접 컴파일러의 후단부를 표현할 수 있는 효과적인 방법으로 텍스트 프로그래밍 언어에서는 컴파일러 구축 방법으로 널리 사용되고 있다. 그럼에도 불구하고 시각언어의 경우에는 통합된 파스 트리 노드 표현 방법의 부족과 구문 구조의 모델링 방법의 결여로 인하여, 의미 수행 코드를 이용한 문법 지시적 변환 방법에 기반을 둔 컴파일러 구축에 어려움이 있다. 본 연구에서 는 Pictorial Class Grammar의 시각언어 구문 정의를 캡슐화 하는 방법과 And-Or-Waiting Graph를 이용한 구문 분석 방법을 기반으로 하여, 구문 요소를 하나의 클래스형태로 구성함으로써, 구문 요소의 표현에 사용되는 의미와 구문의 미 (syntax-semantics)를 분리 할 수 있는 방법을 제시한다. 이 방법에 기초하여 기존 연구들의 문법-지시적 시각언어 컴파일러 구축의 문제점을 극복하고, 구문 명세와 분리된 의미 수행 코드 명세 방법을 제시하여, 유지보수성을 보다 향상시킨 문법-지시적 변환 방법을 이용한 시각언어 컴파일러 자동 생성 방법을 제공한다.

• 한국주거학회논문집
• /
• 제18권2호
• /
• pp.121-128
• /
• 2007

The investigation of the apartment housing as a dwelling type has become the most important and popular research subject to understand the housing culture in Korea. In their methods of typological analysis, it is found that most studies represent each unit plan as a simplified architectural drawing. This type of typology, however, has difficulties in processing a large scale of data set because each representation of a plan contain too many informations. To deal with this problem, this study suggests a new graph-theoretical method by which apartment plans can be represented in a more simple and effective way. This new method is also tested against the sample plans from Gangnam-gu area in Seoul to reveal the design logic hidden in plan configuration. Through a series of analyses, it is verified that there exist a design strategy that guides the particular pattern of zoning and allocation of each room in the plan.

• 대한전자공학회논문지
• /
• 제14권5호
• /
• pp.15-21
• /
• 1977

본 논문은 Syntactic법에 의한 한글의 인식 algorithm에 대하여 논한 것으로 인식절차는 크게 나누어 전처리, graph화, 분할의 3단계로 구성되어 있다. 전처리과정에서는 Hilditch의 thinning algorithm을 이용하여 입력문자의 골격패턴을 얻었다. graph화 단계에서는 세선화패턴으로 부터 4종류의 특징점을 추출하여 입력패턴을 기본패턴의 구성관계로 나타냈다. 분할단에서는 tree문법에 의한 패턴해석을 수행, 입력패턴을 구성하는 각 자모를 순차적으로 추출하였다. 본 algorithm의 효용성을 검토하기 위하여 전자계산기를 이용, 511자의 인쇄체 한글에 대하여 인식실험을 행하였다. 그 결과 약 90%의 정인식율을 얻었다.