• Title/Summary/Keyword: Graph grammar

Search Result 20, Processing Time 0.028 seconds

UML diagram-driven test scenarios generation based on the temporal graph grammar

  • Shi, Zhan;Zeng, Xiaoqin;Zhang, Tingting;Han, Lei;Qian, Ying
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • v.15 no.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.

Topological Investigation of the Generative Grammar for the Balcony Access Type Apartment Houses in Seoul (서울시 편복도 아파트 생성문법의 위상학적 유추에 대한 연구)

  • Seo, Kyung-Wook
    • Journal of the Korean housing association
    • /
    • v.19 no.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.

Parallel Algorithm for Determining Connectedness of Context Free Graph Languages (CFGL 연결성 결정에 대한 병렬 알고리듬)

  • 방혜자;이철희
    • Journal of the Korean Institute of Telematics and Electronics B
    • /
    • v.30B no.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.

  • PDF

Identifying Space Grammar in the Unit Plans of Contemporary Indonesian Houses

  • Ju, Seo Ryeung;Maisarah, Maisarah;Kim, Min Kyoung
    • Architectural research
    • /
    • v.21 no.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.

An Abstract Grammar for XML Document Editing (XML 문서 편집을 위한 추상문법)

  • 신경희;최종명;유재우
    • Journal of KIISE:Software and Applications
    • /
    • v.30 no.3_4
    • /
    • pp.268-277
    • /
    • 2003
  • A document type definition(DTD) which defines tags for a document is a XML document grammar that defines syntactic structure of a document. An XML document keeps the rules and must be parsed to check validation. To parse XML document, the deterministic parsing method of programming language is irrelevant because it does not satisfy the definition of deterministic content model in element declaration. In this paper, we consider editing of a valid XML document in syntax-directed editing environment, and we suggest the internal storage representations of syntax in DTD and theirs algorithms. The consequence is that a syntactic structure of textual DTD is transformed into graph and table structures. The table structure of DTD is interpreted the context free grammar which has attribute values and is used in syntax-directed editor for XML. We called this the XML abstract grammar and showed generated results and examples.

A Study of Automatic Ontology Building by Web Information Extraction and Natural Language Processing (웹 문서 정보추출과 자연어처리를 통한 온톨로지 자동구축에 관한 연구)

  • Kim, Myung-Gwan;Lee, Young-Woo
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.9 no.3
    • /
    • pp.61-67
    • /
    • 2009
  • The proliferation of the Internet grows, according to electronic documents, along with increasing importance of technology in information retrieval. This research is possible to build a more efficient and accurate knowledge-base with unstructured text documents from the Web using to extract knowledge of the core meaning of LGG (Local Grammar Graph). We have built a ontology based on OWL(Web Ontology Language) using the areas of particular stocks up/down patterns created by the extraction and grammar patterns. It is possible for the user can search for meaning and quality of information about the user wants.

  • PDF

Construction of LGG for Extracting Meeting Location (개최장소 추출을 위한 LGG의 구축)

  • Kim, Kyoung-Ryol;Choi, Dong-Hyun;Kim, Eun-Kyung;Choi, Key-Sun
    • Annual Conference on Human and Language Technology
    • /
    • 2011.10a
    • /
    • pp.49-54
    • /
    • 2011
  • 본 논문에서는 회의공지 이메일을 대상으로 하는 개최장소 추출시스템에 대하여 소개한다. 개최장소 추출 시스템은 두 단계로 구성되는데, 첫 번째 단계는 본문에 포함된 개최장소의 추출이고, 두 번째 단계는 추출된 개최장소의 Geocoding이다. 개최장소의 추출을 위하여 문맥 패턴을 분석하여 개최장소가 포함된 문장 주변의 패턴을 반영하는 Local-Grammar Graph를 구축하며, 개최장소의 Geocoding을 위하여는 Addr2Geocode API를 사용한다. 본 논문은 일정공지메일의 개최장소를 추출하기 위한 LGG 방법론 기반의 어휘-통사적 언어 정보를 기술하는 것을 목적으로 한다.

  • PDF

Automatic Compiler Generator for Visual Languages using Semantic Actions based on Classes (클래스 기반의 의미수행코드 명세를 이용한 시각언어 컴파일러 자동 생성)

  • 김경아
    • Journal of Korea Multimedia Society
    • /
    • v.6 no.6
    • /
    • pp.1088-1099
    • /
    • 2003
  • The syntax-directed translation using semantic actions is frequently used in construction of compiler for text programming languages. it is very useful for the language designers to develop compiler back-end using a syntax structure of a source programming language. Due to the lack of the integrated representation method for a parse tree node and modeling method of syntax structures, it is very hard to construct compiler using syntax-directed translation in visual languages. In this Paper, we propose a visual language compiler generation method for constructing a visual languages compiler automatically, using syntax-directed translation. Our method uses the Picture Layout Grammar as a underlying grammar formalism. This grammar allows our approach to generate parser efficiently u sing And-Or-Waiting Graph and encapsulating syntax definition as one unit. Unlike other systems, we suggest separating the specification and the generation of semantic actions. Because of this, it provides a very efficient method for modification.

  • PDF

An Analysis of the Apartment House Plans in Seoul by Means of a New Graph-theoretic Method (그래프 기법에 의한 서울시 아파트 평면분석에 관한 연구)

  • Seo, Kyung-Wook
    • Journal of the Korean housing association
    • /
    • v.18 no.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.

A Study on the Pattern Recognition of Korean Characters by Syntactic Method (Syntactic법에 의한 한글의 패턴 인식에 관한 연구)

  • ;安居院猛
    • Journal of the Korean Institute of Telematics and Electronics
    • /
    • v.14 no.5
    • /
    • pp.15-21
    • /
    • 1977
  • The syntactic pattern recognition system of Korean characters is composed of three main functional parts; Preprocessing, Graph-representation, and Segmentation. In preprocessing routine, the input pattern has been thinned using the Hilditch's thinning algorithm. The graph-representation is the detection of a number of nodes over the input pattern and codification of branches between nodes by 8 directional components. Next, segmentation routine which has been implemented by top down nondeterministic parsing under the control of tree grammar identifies parts of the graph-represented Pattern as basic components of Korean characters. The authors have made sure that this system is effective for recognizing Korean characters through the recognition simulations by digital computer.

  • PDF