• Title/Summary/Keyword: Design Formalization

Search Result 42, Processing Time 0.021 seconds

A Design of Constructing Diagram Repository for UML Diagram Tools (UML 다이어그램 도구를 위한 다이어그램 정보의 구축과 설계)

  • Kim, Yun-Ho
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.24 no.2
    • /
    • pp.244-251
    • /
    • 2020
  • This paper presents a design of the Meta-Class Repository (MCR) which maintain syntactically analyzed and structured meta-class information from UML diagrams, and then proposes 'meta-class,' also known as super-class, to construct structured information analyzed syntactically. The MCR is a collection of these meta-classes which contains the information extracted from diagrams. This paper also presents a design of the Code Generation Engine (CGE) which roles generating codes corresponding classes from UML diagrams based on the MCR maintaining a collection of meta-classes which is syntactically-analyzed and constructed in previous process. The logics of CGE are designed to generate codes collaborated with MCR and CGE with integration. The logics of CGE mechanism is presented with the form of finite state machine to present the algorithms of code generation formally and have the advantages of simplicity and easiness in development.

A study on ontology design for NCS "Application SW Engineering" supporting intelligent knowledge management and search reasoning (NCS "응용SW엔지니어링" 직무의 지식 관리 및 검색추론 지원을 위한 온톨로지 설계 연구)

  • Jin, Youngl-Goun;Lee, Won-Goo
    • Journal of the Korea Convergence Society
    • /
    • v.8 no.9
    • /
    • pp.17-23
    • /
    • 2017
  • The National Competency Standards (NCS) is a standard that allows korea to efficiently organize the training of national talents by systematically classifying the knowledge, skills, and attitudes necessary for the job of industry groups. Ontology is a discipline that allows the abstract information in the human concept to be expressed in a form that enables computing to be done. There is a need to formalize the knowledge management by converting the NCS system currently stored in the simple DB into an ontology. This study design and implement NCS ontology for the task of "Application SW Engineering" among vast NCS jobs, enabling intelligent knowledge management and inference search of the job. In addition, it provides consistency with the formalization specification of the learning contents structure of the competency unit elements of the job, and provides the basis for extension to the whole NCS job ontology.

Analysis on Space and Architecture Examples of Toyo Ito from the Viewpoint of Functionalism - Focusing on Small-Sized Residental Spaces - (기능주의 관점에서의 이토 토요의 공간 및 건축 사례 분석 - 소규모 주거 공간 사례를 중심으로 -)

  • Han, Hyun Suk
    • Design Convergence Study
    • /
    • v.16 no.6
    • /
    • pp.59-74
    • /
    • 2017
  • Louis Sullivan insisted, "Form follows function." Functionality is one of the most fundamental elements for users to use product or space, and "function" in space and architecture has the meaning of the most important factor in determining its form. In this way, from the viewpoint of "Functionalism," the research selected Toyo Ito to see how important elements pursued by Functionalism are related to his forms of creation. Small residential space projects of Toyo Ito from the early 1970s to the present are selected, so that the structure, material and space type of space and architecture can easily grasped and analyzed. Space and architectural structures and surfaces were classified into the characteristics of materials and classified according to the strength of openness of space. As a result, the space and architecture that pursue the function use a method that can maximize the efficiency of the function while excluding the whole decoration in order to highlight the function. The characteristics found in Toyo Ito's small-scale residential space can be defined as the formalization and simplification of the form, the openness of space, and the versatility of each element.

The Formalization of a Temporal Object Oriented Model Based on an Attribute versioning (속성 버전화에 기반한 시간지원 객체지향 모델의 형식화)

  • 이홍로;김삼남;류근호
    • Proceedings of the Korea Database Society Conference
    • /
    • 1997.10a
    • /
    • pp.483-503
    • /
    • 1997
  • One important question that arises when dealing with temporal databases in context of object-oriented systems is the method that associates time with attributes relationship semantics. Results of previous work about attribute versioning, particularity extending flat(First Normal Form: FNF) or nested(Non-First Normal Form: NFNF) relational models. are not applicable to temporal object-oriented databases. This is because object-oriented models provide more powerful constructs than traditional models for structuring complex objects. Therefore, this paper presents an formal approach for incorporating temporal extension to object-oriented databases. Our goal in this paper is to study temporal object-oriented database representation according to generalization, aggregation and association among objects. We define tile concepts of attribute versioning in temporal object-oriented model, and we concentrate on the representation of temporal relationship among objects. Another contribution of this paper is to specify time constraints on relationship semantics and analyze our model based on representation criteria. By means of formalizing tile temporal object oriented model, this paper can not only provide tile robust operating functions that design algebraic operators, but also entrance the reuse of modules.

  • PDF

A Design and Implementation of National R&D Reference Information Ontology Based on URI Server (URI 서버에 기반한 국가 R&D 기반정보 온톨로지 설계 및 구현)

  • Jung, Han-Min;Kang, In-Su;Koo, Hee-Kwan;Lee, Seung-Woo;Sung, Won-Kyung
    • Journal of Information Management
    • /
    • v.37 no.2
    • /
    • pp.109-136
    • /
    • 2006
  • The development of Semantic Web basically requires knowledge which is induced by the formalization and semantization of information, and thus ontology should be introduced as a knowledgization tool. URI(Uniform Resource Identifier) is an indispensible scheme to uniquely indicate individuals on ontology. However, it is difficult to find the use cases of identifiers or URIs in real data sets including science & technology publications. This paper describes the method to construct, manage, and serve reference information based on URI which is a crucial component on establishing national R&D reference information ontology. We expect the reference information which was acquired from about 7,000 proceeding papers would be adopted to Semantic Web applications such as researcher network analysis and outcome statistics.

Effect of Organizational Structure Variable on Social Welfare's dual commitment to Organization and Career by Parallel Model (평행모델을 이용한 조직구조화 변인의 사회복지 조직과 경력에 대한 이중몰입 효과)

  • Kang, Jong-Soo
    • The Journal of the Korea Contents Association
    • /
    • v.12 no.2
    • /
    • pp.301-309
    • /
    • 2012
  • Prior research has shown empirically that organizational and career commitment may also be highly compatible with each other. The purpose of this study is to examine the effects of social welfare's organizational structure variable on the dual commitment to the organization and career. Dual commitment is analyzed by using multiple regression analysis of parallel model. For the research, organizational structure was consisted of complexity, formalization and decentralization. The results showed that social worker have high correlation to organizational commitment and career commitment. Especially, decentralization and complexity have a positive effects on the dual commitment to organizational and career commitment. This study finally discusses theoretical implications for future study and practical implications for structure design strategies on the results.

A Design and Implementation on Ontology for Public Participation GIS (시민참여형 GIS를 위한 온톨로지 설계 및 구현)

  • Park, Ji-Man
    • Journal of the Korean Geographical Society
    • /
    • v.44 no.3
    • /
    • pp.372-394
    • /
    • 2009
  • This study investigates the ontology-based public participation GIS(PPGIS). The major reason that ontology-based GIS has attracted attention in semantic communication in recent year is due to the wide availability of geographical variable and the imminent need for turning such recommendation into useful geographical knowledge. Therefore, this study has been focused on designing and implementing the pilot tested system for public participation GIS. The applicability of the pilot tested was validated through a simulation experiment for history tourism in Guri city Gyeongi-do, Focused on the methodology, the life cycle model which involves regional statues and user recognition, can be viewed as an important preprocessing step(specification, conceptualization, formalization, integration and implementation) for recommended geographical knowledge discovery by axiom. Focusing on practicality, ontology in this study would be recommended for geographical knowledge through reasoning. In addition, ontology-based public participation GIS would show integration epistemological and ontological approach, and be utilized as an index which is connected with semantic communication. The results of the pilot system was applied to the study area, which was a part of scenario. The model was carried out using axiom of logical constraint in the meaning of human-activity.

A Component storage Design Supporting formalization of Game Engine Development Process (게임엔진 개발 공정의 정형화를 지원하는 컴포넌트 저장소의 설계)

  • Song, Eui-Cheol
    • Journal of Korea Game Society
    • /
    • v.3 no.2
    • /
    • pp.35-41
    • /
    • 2003
  • There arose problems of double investment about the game engine part when a lot of game software similar to the property and procedure processed in the game engine develop new game without the reference or reuse in the other games. In particular, using various software development processes is one of main problems of double investment when the enterprises for the game software development develop games now Accordingly, because it does not make standardization of process about the game engine, it does not understand and reuse products created in process of the other software development process in development now. Accordingly, the newly analyzed and designed software was big problems with the present game software about the game engine process similar to the other game software when the enterprises for any game software develop a special game. For solving these problems, this study is to suggest the process improvement about the game engine development, analysis of structure and relation, classification and combination method by the class and module, implementation of storage, and processor model in order to apply the development method based on the component.

  • PDF

Design of Teacher's Folding Back Model for Fundamental Theorem of Calculus (미적분학의 기본정리에 대한 교사의 Folding Back 사고 모형 제안)

  • Kim, Bu-Mi;Park, Ji-Hyun
    • School Mathematics
    • /
    • v.13 no.1
    • /
    • pp.65-88
    • /
    • 2011
  • Epistemological development process of the Fundamental Theorem of Calculus is considered in a history of mathematical notions and the genetic process of the Fundamental Theorem is arranged by the order of geometric, algebraic and formalization steps. Based on this, we studied students' episte- mological obstacles and error and analyzed the content of textbooks related the Fundamental Theorem of Calculus. Then, We developed the "Folding Back Model" of the fundamental theorem of calculus for students to lead meaningful faithfully. The Folding Back Model consists of "the Framework of thou- ght"(figure V-1) and "the Model of genetic understanding of concept"(figure V-2). The framework of thought in the Folding Back Model is included steps of pedagogical intervention which is used "the Monitoring working questions"(table V-3) by the mathematics teacher. The Folding Back Model is applied the Pirie-Kieren Theory(1991), history of mathematical notions and students' epistemological obstacles to practical use of instructional design. The Folding Back Model will contribute the professional development of mathematics teachers and improvement of thinking skills of students when they learn the Fundamental Theorem of Calculus.

  • PDF

A Reconstruction of Probability Unit of Elementary Mathematics Textbook Based on Freudenthal's Reinvention Method (Freudenthal의 재발명 방법에 기초한 제7차 초등수학교과서 확률 단원 재구성)

  • Kang, Ho-Jin;Kang, Heung-Kyu
    • Journal of Elementary Mathematics Education in Korea
    • /
    • v.12 no.1
    • /
    • pp.79-100
    • /
    • 2008
  • Freudenthal has advocated the reinvention method. In that method, the pupils start with a meaningful context, not ready-made concepts, and invent informative method through which he could arrive at the formative concepts progressively. In many face the reinvention method is contrary to the traditional method. In traditional method, which was named as 'concretization method' by Freudenthal, the pupils start with ready-made concepts, and applicate this concepts to various instances through which he could arrive at the understanding progressively. Through analysis, it turns out that Korea's seventh elementary mathematics textbook is based on concretization method. In this thesis, first of all, I will reconstruct probability unit of seventh elementary textbook according to Freudenthal's reinvention method. Next, I will perform teaching experiment which is ruled by new lesson design. Lastly, I analysed the effects of teaching experiment. Through this study, I obtained the following results and suggestions. First, the reinvention method is effective on the teaching of probability concept and algorithm. Second, in comparison with current textbook strand, my strand which made probability concept go ahead and combinatorics concept let behind is not deficiency. Third, tree diagram is effective matrix which contribute to formalization of combinatorics calculation. Lastly, except for fraction, diverse representation of probability, for example percentage or informal ratio expression must be introduced in teaching process.

  • PDF