• 한국정보처리학회논문지
• /
• 제7권3호
• /
• pp.745-755
• /
• 2000

In designing distributed databases, DAP(Data Allocation Problem) is one of the key design issues. Because, however, most of previous researches on DAP have considered only cost aspect, they cannot increase the performance and availability and they are not proper to the system requiring high-availability or real-time processing. Therefore, we need a more formal data allocation model considering multiple aspects. In this paper, we propose the MAPN (Multiple Aspects Petri Net) modeling method for the distributed transaction modeling. The MAPN model, an extended classical petri net, is proposed for the formal modeling considering multiple aspects (cost, performance and availability) concurrently. We demonstrate that we can compose the valid DAP evaluation model considering not only cost but also performance and availability concurrently by using the MAPN structure and MAPN graph.

• 국제학술발표논문집
• /
• The 9th International Conference on Construction Engineering and Project Management
• /
• pp.1130-1137
• /
• 2022

The Industry Foundation Classes (IFC) provides standardized product models for the building construction domain. However, the current IFC schema has limited representation for infrastructure. Several studies have examined the data schema for road and highway modeling, but not in a sufficiently comprehensive and robust manner to facilitate the overall integrated project delivery of road projects. Several discussions have focused on slope engineering for road projects, but no solution has been provided regarding the formalized parametric modeling up to now. Iterative design, analysis, and modification are observed during the process of slope design for road projects. The practitioners need to carry out the stability analysis to consider different road design alternatives, including horizontal, vertical, and cross-section designs. The procedure is neither formalized nor automated. Thus, there is a need to develop the formal representation of the product and process of slope analysis for road design. The objective of this research is to develop a formal representation (i.e., an IFC extension data schema) for slope analysis. It consists of comprehensive information required for slope analysis in a structured manner. The deliverable of this study contributes to both the formal representation of infrastructure development and, further, the automated process of slope design for road projects.

• Genomics & Informatics
• /
• 제9권1호
• /
• pp.5-11
• /
• 2011

Treating genomes just as languages raises the possibility of producing concise generalizations about information in biological sequences. Grammars used in this way would constitute a model of underlying biological processes or structures, and that grammars may, in fact, serve as an appropriate tool for theory formation. The increasing number of biological sequences that have been yielded further highlights a growing need for developing grammatical systems in bioinformatics. The intent of this review is therefore to list some bibliographic references regarding the recent progresses in the field of grammatical modeling of biological sequences. This review will also contain some sections to briefly introduce basic knowledge about formal language theory, such as the Chomsky hierarchy, for non-experts in computational linguistics, and to provide some helpful pointers to start a deeper investigation into this field.

• 대한산업공학회지
• /
• 제37권2호
• /
• pp.96-104
• /
• 2011

Modeling and simulation of human-involved complex systems pose challenges to representing human decision makings into logical systems because of the nondeterministic and dynamic nature of human behaviors. In modeling perspectives, human's activities in systems can increase uncertainty and complexity, because he or she can potentially access all other resources within the system and change the system states. To address all of these human involvements in the system, this research suggests applying the Finite State Automata (FSA)-based formal modeling of human-involved systems that incorporates the ecological concept of affordances to an evacuation simulation, so that human behavioral patterns under urgent and dynamic emergency situations can be considered in the real-time simulation. The proposed simulation methodologies were interpreted using the warehouse fire evacuation simulation to clarify the applicability of the proposed methodology. This research is expected to merge system engineering technologies and human factors, and come out to the new predictive modeling methodology for disaster simulations. This research can be applied to a variety of applications such as building layout designs and building access control systems for emergency situations.

• 정보과학회 논문지
• /
• 제42권7호
• /
• pp.823-833
• /
• 2015

하이브리드 시스템은 연속 시스템과 이산 시스템으로 구성된 동적 시스템이다. 하이브리드 시스템은 자동차, 항공, 군사 방어 등 시스템을 명세 하는데 사용되고 있으며 이를 위해 다양한 모델링 언어와 지원 도구가 개발되고 사용되어 왔다. 제안되어 사용되고 있는 언어와 도구들은 목적에 따라 특정한 특징들을 갖고 있다. 한국전자 통신연구원에서 제안한 하이브리드 시스템 모델링 언어인 ECML (ETRI CPS Modeling Language)은 DEV&DESS (Differential Event and Differential Equation Specified System) 형식론을 CPS (Cyber-Physical System) 환경에 맞게 확장한 언어이며 모델링 및 시뮬레이션을 지원한다. 논문에서는 ECML을 소개하고 정형 정의를 제안한다. 또한 제안된 정의에 따라 간단한 차량 모델을 명세한 사례연구를 수행한다.

• 산업공학
• /
• 제4권1호
• /
• pp.71-81
• /
• 1991

Presented in this paper is a systematic approach to "modeling and simulation' of flow lines in mass production systems, using a tire trimming line as an example. The "modeling phase" consists of 1) generation of alternative line configurations, 2) construction of a reference model for each alternative, and 3) formal description of the target system. ACD(Activity Cycle Diagrams) are employed as a tool for formal description. In the "simulation phase'. block diagram models (provided by the simulation language SIMAN) and the next event methodology(implemented in FORTRAN 77) are combined in order to fully describe the flow line behavior.

• 한국컴퓨터정보학회논문지
• /
• 제10권3호
• /
• pp.161-171
• /
• 2005

SMIL(Synchronized Multimedia Integration Language)는 멀티미디어 객체들을 시간적인 동기화를 표현할 수 있는 마크업 언어이다. 본 연구에서는 SMIL 문서의 편집기 개발을 위해 시간에 따라 동기화 표현을 명확히 할 수 있는 도구인 UML의 사용 사례(Use case), 순서(Sequence), 다이어그램을 이용한 객체 모델링 방법을 제안한다. 이를 위해 SMIL 문서에서 UML 사용사례와 순서 다이어그램으로의 사상 규칙과 알고리즘, 형식 모델, 그리고, 모델링 함수를 제안한다. 본 연구의 의의는 손쉽게 SMIL 문서 편집기 개발을 할 수 있고, 형식 모델과 다이어그램 모델링 함수는 객체지향 데이터베이스 문서 관리의 기반이 된다는 것이다.

• 정보과학회지
• /
• 제25권11호
• /
• pp.16-25
• /
• 2007

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권4호
• /
• pp.357-369
• /
• 2000

SMIL(Synchronized Multimedia Integration Language)는 멀티미디어 객체의 집합으로 시간적인 동기화를 표현할 수 있는 마크업 언어이다. 본 연구에서는 SMIL 문서를 시간에 따라 동기화 표현을 명확히 할 수 있도록 객체 지향 기반의 시각화 도구인 UML의 사용 사례(Use case), 순서(Sequence), 다이어그램을 이용한 객체 모델링 방법을 제안한다. 이를 위해 SMIL 문서에서 UML 사용사례와 순서 다이어그램으로의 사상 규칙과 알고리즘, 형식 모델, 그리고, 모델링 함수를 제안한다. 본 연구의 의의는 SMIL 문서 개발자들이 손쉽게 문서 구조 파악 및 개발을 할 수 있으며, 형식 모델과 다이어그램 모델링 함수는 객체지향 데이타베이스 문서 관리의 기반이 된다는 것이다.

• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 2004년도 e-Biz World Conference
• /
• pp.318-326
• /
• 2004

The ebXML (Electronic Business using eXtensible Markup Language) Specification Schema is to provide nominal set of specification elements necessary to specify a collaboration between business partners based on XML. As a part of ebXML Specification Schema, BPSS (Business Process Specification Schema) has been provided to support the direct specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPSS is available in two stand-alone representations, a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, current ebXML BPSS specification is insufficient to specify formal semantic constraints of modeling elements completely. In this study, we propose a classification schema for the BPSS semantic constraints and describe how to represent those semantic constraints formally using OCL (Object Constraint Language). As a way to verify a Business Process Specification (BPS) with the formal semantic constraint modeling, we suggest a rule-based approach to represent the formal constraints and to use the rule-based constraints specification to verify BPSs in a CLIPS prototype implementation.