• 한국정보시스템학회지:정보시스템연구
• /
• 제7권1호
• /
• pp.181-208
• /
• 1998

In many literatures of model management, various schemes for representing model base schema have proposed. Ultimately, the goal is to arrive at a set of mutually supportive and synergistic methodologies and tools for the modeling problem domain and model base design. This paper focus on how best to structure and represent conceptual model of problem domain and schema of model base. Semantic concepts and modeling constructs are valuable conceptual tools for understanding the structural relationships and constraints involved in an model management environment. To this end, we reviewed the model management literature, and analyzed the constructs of modeling tools of data model management graph-based approach. Although they have good tools but most of them are not enough for the representation of structural relationships and constraints. So we wanted more powerful tools which can represent diverse constructs in a decision support modeling and model base schema design. For the design of a model base, we developed object modeling framework which uses Object Modeling Techniques (OMT). In Object Modeling Framework, model base schema are classified into conceptual schema, logical schema, and physical schema. The conceptual schema represents the user's view of problem domain, and the logical schema represents a model formatted by a particular modeling language. The schema design, this paper proposes an extension of Object Model to overcome some of the limitations exhibited by the OMT. The proposed tool, Extended Object Model(EOM) have diverse constructs for the representation of decision support problem domain and conceptual model base schema.

• International Journal of Computer Science & Network Security
• /
• 제21권6호
• /
• pp.127-136
• /
• 2021

In the systems and software modeling field, a conceptual model involves modeling with concepts to support development and design. An example of a conceptual model is a description developed using the Unified Modeling Language (UML). UML uses a model multiplicity formulation approach, wherein a number of models are used to represent alternative views. By contrast, a model singularity approach uses only a single integrated model. Each of these styles of modeling has its strengths and weaknesses. This paper introduces a partial solution to the issue of multiplicity vs. singularity in modeling by adopting UML use cases and class models into the conceptual thinging machine (TM) model. To apply use cases, we adopt the observation that a use-case diagram is a description that shows the internal structure of the part of the system represented by the use case in addition to being useful to people outside of the system. Additionally, the UML class diagram is recast in TM representation. Accordingly, we develop a TMUML model that embraces the TM specification of the UML class diagram and the internal structure extracted from the UML use case. TMUML modeling introduces some of the advantages that have made UML a popular modeling language to TM modeling. At the same time, this approach supplies UML with partial model singularity. The paper details experimentation with TMUML using examples from the literature. Our results indicate that mixing UML with other models could be a viable approach.

• 대한수학교육학회지:학교수학
• /
• 제9권4호
• /
• pp.467-486
• /
• 2007

이 논문은 스프레드시트를 활용한 수학적 모델링에서 스프레드시트 환경이 수학적 모델의 정교화과정에 어떤 영향을 미치는 지를 고찰한 것이다. 좀 더 자세히 살피면 수학적 모델링에서 스프레드시트 모델의 활용은 학생이 분석 불가능한 수학적모델도 분석할 수 있도록 해줌으로써 모델을 단순화하지 않고, 대신 모델을 정교화 할 수 있는 기회를 제공하고 수학적 개념을 확장해 나갈 수 있음을 보였다. 또한 수학적 모델을 스프레드시트 모델로 변환하여, 수학적 모델로부터 수학적 결론을 얻는 단계를 거치지 않고도 실세계 상황을 해석하고 설명할 수 있는 기회를 제공할 수 있음을 보였다.

• International Journal of Computer Science & Network Security
• /
• 제21권3호
• /
• pp.153-164
• /
• 2021

The increasing importance of such fields as embedded systems, pervasive computing, and hybrid systems control is increasing attention to the time-dependent aspects of system modeling. In this paper, we focus on modeling conceptual time. Conceptual time is time represented in conceptual modeling, where the notion of time does not always play a major role. Time modeling in computing is far from exhibiting a unified and comprehensive framework, and is often handled in an ad hoc manner. This paper contributes to the establishment of a broader understanding of time in conceptual modeling based on a software and system engineering model denoted thinging machine (TM). TM modeling is founded on a one-category ontology called a thimac (thing/machine) that is used to elaborate the design and analysis of ontological presumptions. The issue under study is a sample of abstract modeling domains as exemplified by time. The goal is to provide better understanding of the TM model by supplementing it with a conceptualization of time aspects. The results reveal new characteristics of time and related notions such as space, events, and system behavior.

• 한국CDE학회논문집
• /
• 제5권4호
• /
• pp.293-300
• /
• 2000

The non-manifold geometric modeling technique is to improve design process and to Integrate design, analysis, and manufacturing by handling mixture of wireframe model, surface model, and solid model in a single data structure. For the non-manifold geometric modeling, Euler operators and other high level modeling methods are necessary. Boolean operation is one of the representative modeling method for the non-manifold geometric modeling. This thesis studies Boolean operations of non-manifold model with the data structure of selective storage. The data structure of selective storage is improved non-manifold data structure in that existing non-manifold data structures using ordered topological representation method always store non-manifold information even if edges and vortices are in the manifold situation. To implement Boolean operations for non-manifold model, intersection algorithm for topological cells of three different dimensions, merging and selection algorithm for three dimensional model, and Open Inventor(tm), a 3D toolkit from SGI, are used.

• 한국과학교육학회지
• /
• 제32권1호
• /
• pp.1-14
• /
• 2012

대학교 1학년 학생들을 대상으로 모델링 탐구 실험을 적용하여 질적 연구 방법으로 학생들의 모델링 사고 유형을 알아보았다. 학생들의 모델링 과정은 'Refining tentative model(임시 모델 정교화)', 'Accepting alternative model(대안 모델 채택)', 'Discarding tentative model(임시 모델 폐기)', 'Failing to find causes(원인 규명 실패)', 'Disbelieving results(실험 결과 불신)'의 다섯 가지 유형으로 나누어진다. 학생들은 모델링 탐구 활동을 통하여 과학자의 사고 과정을 경험하여 모델의 본성과 의미를 이해하였고, 이것은 학생들이 과학 지식의 본성을 이해하고, 스스로 탐구할 수 있는 기초가 될 것이다.

• International Journal of Computer Science & Network Security
• /
• 제21권9호
• /
• pp.247-260
• /
• 2021

Data modeling is a process of developing a model to design and develop a data system that supports an organization's various business processes. A conceptual data model represents a technology-independent specification of structure of data to be stored within a database. The model aims to provide richer expressiveness and incorporate a set of semantics to (a) support the design, control, and integrity parts of the data stored in data management structures and (b) coordinate the viewing of connections and ideas on a database. The described structure of the data is often represented in an entity–relationship (ER) model, which was one of the first data-modeling techniques and is likely to continue to be a popular way of characterizing entity classes, attributes, and relationships. This paper attempts to examine the basic ER modeling notions in order to analyze the concepts to which they refer as well as ways to represent them. In such a mission, we apply a new modeling methodology (thinging machine; TM) to ER in terms of its fundamental building constructs, representation entities, relationships, and attributes. The goal of this venture is to further the understanding of data models and enrich their semantics. Three specific contributions to modeling in this context are incorporated: (a) using the TM model's five generic actions to inject processing in the ER structure; (b) relating the single ontological element of TM modeling (i.e., a thing/machine or thimac) to ER entities and relationships; and (c) proposing a high-level integrated, extended ER model that includes structural and time-oriented notions (e.g., events or behavior).

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1995년도 추계학술대회 논문집
• /
• pp.864-867
• /
• 1995

Presented in the paper is a structured approach to modeling automated manufacturing system (AMS) in the form of an event graph. The proposed two-phase procedure for formal modeling is 1) reference modeling by schematic supervisory control modeling and 2) event graph transformation from supervisory control model. Also described is a formal model for a small-sized FMS in the form of an event graph.

• Journal of Information Technology Applications and Management
• /
• 제18권4호
• /
• pp.95-118
• /
• 2011

In developing information systems, conceptual modeling is among the most fundamental means. The importance attributed to conceptual modeling has not only given rise to a lot of modeling methods, but also to the "yet another modeling approach (YAMA)" syndrome and the "not another modeling approach (NAMA)" hysteria. Criticism of conceptual modeling methods usually targets their lacking of theoretical foundations. In response to such criticism, various approaches towards theoretical foundations of conceptual modeling have been proposed so far. One of the recent responses to the quest for theoretical foundations of conceptual modeling is the reference to the philosophical ontology. The currently most prominent of diverse approaches towards ontological foundations of conceptual modeling appears to be the Bunge-Wand-Weber (BWW) ontology. Recent approaches attempt to regard BWW ontology as another conceptual data model as well as a criterion for evaluating various conceptual models. However, unfortunately, relatively few researches have been made on interoperability between the Entity-Relationship (ER) model, which is the most dominant conceptual data model, and ontology based model. In this paper, we investigate the interoperability between ontology and the ER model. In detail we (i) reclassify components of ER model with respect to ontology concepts, (ii) identify some components that cannot be directly represented in ontology notation, and (iii) present alternative representations to the components to acquire ontologically clear ER diagrams. Additionally, we (iv) present a set of mapping rules for converting the ontologically clear ER diagram into the corresponding ontology. In a case study, we show the process of converting an ER diagram for a concise Project Management System (PMS) into the ontologically clear ER diagram and the corresponding ontology. We also describe an experiment that we undertook to test whether users understand the Ontologically-Clear ER diagram better.

• 제어로봇시스템학회논문지
• /
• 제10권5호
• /
• pp.450-457
• /
• 2004

In this research, the automatic synthesis of knowledge models is proposed. which are the basis of the methods using qualitative models adapted widely in fault diagnosis and hazard evaluation of chemical processes. To provide an easy and fast way to construct accurate causal model of the target process, the Role-Behavior modeling method is developed to represent the knowledge of modularized process units. In this modeling method, Fault-Behavior model and Structure-Role model present the relationship of the internal behaviors and faults in the process units and the relationship between process units respectively. Through the multiple modeling techniques, the knowledge is separated into what is independent of process and dependent on process to provide the extensibility and portability in model building, and possibility in the automatic synthesis. By taking advantage of the Role-Behavior Model, an algorithm is proposed to synthesize the plant-wide causal model, Fault-Causality Graph (FCG) from specific Fault-Behavior models of the each unit process, which are derived from generic Fault-Behavior models and Structure-Role model. To validate the proposed modeling method and algorithm, a system for building FCG model is developed on G2, an expert system development tool. Case study such as CSTR with recycle using the developed system showed that the proposed method and algorithm were remarkably effective in synthesizing the causal knowledge models for diagnosis of chemical processes.