• The KIPS Transactions:PartD
• /
• v.12D no.7 s.103
• /
• pp.1007-1016
• /
• 2005

A key issue for process language design is balancing the need for semantic richness with the need for ease of use. Most process modeling languages fail to satisfy above two conflicting aspects, which is an impediment to the widespread adoption of process modeling languages in the software industry despite of a variety of software process language studies. This paper describes a process modeling language RAiSE attempting to resolve such problem and presents the result of applying RAiSE to a well-known benchmark process, ISPW-6 software process example. RAiSE provides rigorous, yet clear semantics through combing essential features in various modeling paradigms and defining them in a well-structured graphical notation. Process models represented in RAiSE are interpreted and enacted by process engine implemented using CLiPS, a rule based expert system tool.

• Proceedings of the Korean Institute Of Construction Engineering and Management
• /
• 2004.11a
• /
• pp.543-547
• /
• 2004

Visualization of construction process simulation and physical modeling were considered to overcome the limitations of current graphical simulation. The output of discrete-event simulation programs which are the most common mathematical statistical simulation tool for construction processes were analyzed for the visualization of earthmoving process that dealing with objects without fixed. Object-oriented models for equipment, material and work environments were devised to effectively visualize the numerical simulation results of the working time, the queuing time as well as the amount resources etc. The oscillation of the crane's cable and the lifted material that should be considered to rationally modeled and simulated by construction graphical simulation. The derived equation of motion was solved by numerical analysis procedure. Then obtained results was used for physical modeling.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2018.05a
• /
• pp.131-134
• /
• 2018

Structural equation modeling is pointing to statistical procedures that simultaneously perform path analysis and confirmatory factor analysis. Today, this statistical procedure is an essential tool for researchers in the social sciences. There are as (AMOS, LISREL and PLS) representative tools that can perform structural equation modeling analysis. AMOS provides a convenient graphical user interface for beginners to use. PLS has the advantage of not having a constraint on normal distribution as well as a graphical user interface. Therefore, we compared and analyzed the three most commonly used tools in social sciences. This study suggests practical and theoretical implications based on the results.

• The KIPS Transactions:PartA
• /
• v.17A no.4
• /
• pp.203-212
• /
• 2010

Recently, in automotive industry, there have been many researches related with hardware components and embedded software which controls hardware components. Since most of embedded software is tightly dependent on car manufacturers, there were some problems in reusability and interoperability of automotive software. In order to solve these problems, AUTOSAR standardized the component-based software architecture of automotive software. In AUTOSAR, several modeling diagrams should be described and their dependencies are also checked. Currently, a few company developed the prototypes of tools supporting AUTOSAR. In this paper, a component modeling tool based on AUTOSAR 3.0 is developed for enhancing the usability of existing tools using Eclipse GMF. The tool is composed of a graphical component modeling tool and a graphical network topology tool. Since these tools are generated based on GMF without hard coding, it is relatively easy to customize the tools for adopting company‘s needs and easy to follow the improvement of the standard and development environments.

• The KIPS Transactions:PartD
• /
• v.15D no.4
• /
• pp.505-512
• /
• 2008

In order to do requirement-based testing of embedded system, we must have correct requirement specifications. But, natural language requirements of a client have ambiguity, inaccuracy, and inconsistency. To solve these problems, natural language requirements are modeled with modeling language such as UML and Simulink. During a modeling phase, the requirements are rearranged and retranslated in use-case. These activities are disadvantages of modeling. In this paper, we propose the technique, which is how to model a embedded system requirement into a model without rearranging and retranslating. This technique 1) represent a embedded system requirement with graphical language, and 2) model a requirement into a model. Because this technique only describes "what-to-do" of the requirement, this technique is useful to not only the low-level requirements but also the high-level requirements. We show some example systems modeled by REED, which has adopted this technique.

• Journal of Information Processing Systems
• /
• v.8 no.1
• /
• pp.55-66
• /
• 2012

This paper presents a dual modeling method that simulates the graphic and haptic behavior of a volumetric deformable object and conveys the behavior to a human operator. Although conventional modeling methods (a mass-spring model and a finite element method) are suitable for the real-time computation of an object's deformation, it is not easy to compute the haptic behavior of a volumetric deformable object with the conventional modeling method in real-time (within a 1kHz) due to a computational burden. Previously, we proposed a fast volume haptic rendering method based on the S-chain model that can compute the deformation of a volumetric non-rigid object and its haptic feedback in real-time. When the S-chain model represents the object, the haptic feeling is realistic, whereas the graphical results of the deformed shape look linear. In order to improve the graphic and haptic behavior at the same time, we propose a dual modeling framework in which a volumetric haptic model and a surface graphical model coexist. In order to inspect the graphic and haptic behavior of objects represented by the proposed dual model, experiments are conducted with volumetric objects consisting of about 20,000 nodes at a haptic update rate of 1000Hz and a graphic update rate of 30Hz. We also conduct human factor studies to show that the haptic and graphic behavior from our model is realistic. Our experiments verify that our model provides a realistic haptic and graphic feeling to users in real-time.

• Asia pacific journal of information systems
• /
• v.9 no.3
• /
• pp.47-73
• /
• 1999

Nowadays, the modeling of information systems have been enabled by various models and methodologies that are used for different purposes and perspectives upon the systems. The integrated modeling methodology that integrates these models and methodologies has become important concerns in system integration such as CIM and PDM. The primary objective of this paper is to propose a comprehensive integrated modeling methodology that integrates the OOIDEFO function model, OOIDEFO information model, node model, user interface model, and organization model for an effective analysis, design and implementation for system integration. This methodology covers the generic requirements of modeling methodology such as graphical notations, modeling processes, and abstraction mechanisms. Also, this methodology uses an 00 paradigm throughout the entire systems development life cycle. In order to prove the consistency and efficiency of the proposed methodology, the CIMS for ship production is modeled and prototyped.

• Proceedings of the KIEE Conference
• /
• 1997.11a
• /
• pp.109-112
• /
• 1997

A Discrete Event Dynamic System is a system whose states change in response to the occurrence of events from a predefined event set. A major difficulty in developing analytical results for the systems is the lack of appropriate modeling techniques. This paper proposes the use of Real-time Temporal Logic as a modeling tool for the modeling and control of fixed-time traffic control problem which by way of a DEDS. The Real-time Temporal Logic Frameworks is extended with a suitable structure of modeling hard real-time constraints. Modeling rules are developed for several specific situations. It is shown how the graphical model can be translated to a system of linear equations and constraints.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.397-399
• /
• 2001

Unified Modeling Language(UML)은 개발하고자 하는 시스템을 Visualizing, Specifying, Constructing, Documenting 화 해주는 graphical language 이다. 우리는 이러한 모델링 언어를 통하여, 객체지향 분석/설계 과정에 이용하고 있다. 그러나, EJB 로 Mapping 하기 위한 충분한 연구가 이루어지지 않아 개발자들이 EJB 로 UML 을 설계 및 구현을 명확하게 옮기지 못하였다. 본 논문에서는 이 점에 중점을 두고 UML Modeling 을 통해 설계 및 구현된 내용중 UML 의 Sequence Diagram 의 요소들을 EJB Bean으로의 구현시 Mapping 지침을 제시한다

• Proceedings of the KIEE Conference
• /
• 1997.07b
• /
• pp.590-592
• /
• 1997

A Discrete Event Dynamic System is a system whose states change in response to the occurrence of events from a predefined event set. A major difficulty in developing analytical results for the systems is the lack of appropriate modeling techniques. This paper proposes the use of Real-time Temporal Logic as a modeling tool for the analysis and control of DEDS. The Real-time Temporal Logic Frameworks is extended with a suitable structure of modeling hard real-time constraints. Modeling rules are developed for several specific situations. It is shown how the graphical model can be translated to a system of linear equations and constraints.