• Proceedings of the KSR Conference
• /
• 2006.11b
• /
• pp.947-953
• /
• 2006

ATC on-board equipment require realtime embedded software with high level of safety and reliability. To satisfy these requirements, many techniques are applied to the development of software during the lifecycle. In case of software modeling, object-oriented methodology is widening its niche replacing traditional structured methodology and modeling in UML using a CASE tool is a growing trend. In this paper, we modeled ATC on-board software in UML using Rhapsody, which is a modeling tool for realtime embedded software. We modeled the behavior of ATC on-board equipment based on state machine diagram and validated the model using the animation feature provided in the tool. According to our study, the CASE tool based on UML showed high level of applicability in modeling and verifying the software with complex behavioral characteristics.

• International Journal of Precision Engineering and Manufacturing
• /
• v.1 no.2
• /
• pp.76-83
• /
• 2000

A study on the robust control of a composite beam with a distributed PVDF sensor and piezo-ceramic actuator is presented in this paper. $1^{st}$ and $2^{nd}$ natural frequencies are considered in the modeling, because robust control theory which has robustness to structured uncertainty is adopted to suppress the vibration. If the controllers designed by $H_{\infty}$ theory do not satisfy control performance, it is improved by $\mu$-synthesis method with D-K iteration so that the $\mu$-controller based on the structured singular value satisfies the nominal performance and robust performance. Simulation and experiment were carried out with the designed controller and the verification of the robust control properties was presented by results.

• Journal of the Korea Society for Simulation
• /
• v.21 no.2
• /
• pp.19-30
• /
• 2012

In recent decades, it has been known that the Discrete Event System Specification, or DEVS, formalism provides sound semantics to design a modular and hierarchical model of a discrete event system. In spite of this benefit, practitioners have difficulties in applying the semantics to real-world systems modeling because DEVS needs to specify a large size of sets of events and/or states in an unstructured form. To resolve the difficulties, this paper proposes an extension of the DEVS formalism, called the Structured DEVS formalism, with an associated graphical representation, called the DEVS diagram, by means of structural representation of such sets based on closure property of set theory. The proposed formalism is proved to be equivalent to the original DEVS formalism in their model specification, yet the new formalism specifies sets in a structured form with a concept of phases, variables and ports. A simplified example of the structured DEVS with the DEVS diagram shows the effectiveness of the proposed formalism which can be easily implemented in an objected-oriented simulation environment.

• Journal of Ocean Engineering and Technology
• /
• v.12 no.3 s.29
• /
• pp.103-111
• /
• 1998

This paper describes the initial hull form design process which generate a hull form using a neurofuzzy modeling. Neurofuzzy system is to combine the merits of fuzzy inference system and neural networks. Therefore it has structured knowledge representations as well as adaptive capacities. Initial hull form design stage is the process which generate an adoptable hull form from the limited design information and multi-decidions condidering correlations with design factors. It can be assidted efficiently by neurofuzzy system. This paper suggests two methods of an initial hull form generation using the neurofuzzy modeling and B-spline theory. and examines the usefulness of suggested method through its application examples.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.22 no.50
• /
• pp.91-103
• /
• 1999

This paper deals with effectiveness of Object-Oriented Modeling and Design(OOMD) through GroupSystems V which is a typical groupware or group decision support system(GDSS) to aid group work. Objective and subjective evaluations between traditional non-GDSS face-to-face group and GDSS-supported group have been performed in terms of modeling accuracy and subjective ratings, respectively. Experimental results indicate that the GDSS group shows much better performance than the traditional group in the realm of OOMD. In particular, when a modeling task is not simple or not structured, the former outperforms the latter. Based on the questionaire, the GDSS group feel more equal status and have less dominant voices than do the non-GDSS group. These facts show that GDSS can be used effectively for OOMD under Korean cultures.

• IE interfaces
• /
• v.20 no.1
• /
• pp.79-86
• /
• 2007

In B2B e-commerce environments, many initiatives for process modeling have made efforts to design business processes correctly. Especially, Petri nets have been widely used as a good theory to design and verify process models. Therefore, we propose the process modeling method for the B2B e-commerce based on Petri nets. First of all, a B2B process model based on BPSS is represented by the UML activity diagram. Second, the activity diagram is transformed to a Petri net model. For the transformation, well-behaved building blocks/control structures and the modeling rules for inter-organizational workflow processes are proposed. Third, the process is partitioned into sharable processes for individual business partners. Finally, according to needs of individual business partners, the sharable processes are modified by well-structured refinement rules. The whole procedure is explained with the purchase process of an e-bookstore.

• Journal of Intelligence and Information Systems
• /
• v.7 no.2
• /
• pp.179-193
• /
• 2001

A good modeling technique for system analysis and design is an essential area for the implementation of information system. Structured and object-oriented techniques are regarded as two standard in system modeling. This paper reviewed and implemented two system analysis and design techniques based-on IDEF3 and UML. IDEF3 is the first method used to analyze business process, which has the advantage of simplicity and brevity. UML provides visual standard which can represent the idea of system analysis from the people who participate in the system development process. UML is accepted as an industry standard from the object management group with the advantage of graphical representation of developer\`s view. This paper proposes system design and modeling perspectives based-on IDEF3 and UML techniques about the semi-structured business process for the medium-sized trading company.

• Proceedings of the Korea Database Society Conference
• /
• 1999.10a
• /
• pp.69-91
• /
• 1999

EC의 도입이 국가 및 기업의 국제경쟁력향상을 확보하기 위한 필연적인 해결책이라는 인식하에서, EC의 경쟁력 향상을 위한 유형별 전략모형을 제시함으로서 EC 도입전략의 가이드라인 제공을 목적으로 한다. 구체적으로는 1) Developing strategically classified models and Modeling the structured service of EC to verify the models. (중략)

• The Journal of Society for e-Business Studies
• /
• v.8 no.1
• /
• pp.85-102
• /
• 2003

Nowadays an information exchange on XML such as B2B electronic commerce is spreading. Therefore the systematic and stable management mechanism for storing the exchanged information is needed. For this goal there are many research activities for connection between XML application and relational database. But because XML data have hierarchical structures and relational database can store only flat-structured data, we need to make the conversion rule which changes the hierarchical architecture to 2-dimensional information. Accordingly the modeling methodology for storing each structured information in relational database is needed. In this paper, we introduce a XML modeling methodology to design W3C XML schema using UML and we propose a unified design methodology for relational database schema to store XML data efficiently in relational databases. In the second place, in order to verify objectivity of a unified design methodology. By the way of Ronald Bourret, First we introduce the method of the transformation from XML schema to object model and second we translate object model into relational database schema. Therefore we show the mutual consistency between those consequence, and so can verify a unified design methodology.

• The Journal of Information Systems
• /
• v.15 no.4
• /
• pp.125-147
• /
• 2006

Internet shopping mall has dual nature of information technology features defined by the web-based application system and marketing features explained by the shopping marketplaces. The purpose of this study aims at analyzing the consumer's attempt to purchase and re-purchase intention to the internet shopping mall to combine the IT perspective and the marketing perspective. This paper develop the integrated research model with the acceptance behaviors of customers through consumer's purchase decision process(pre-purchase stage and post-purchase stage). The results from an empirical survey as follows: First, the integrated model is valid in predicting the acceptance of the internet shopping malls by using structured equation modeling. Second, there are the differences between pre-purchase stage and post-purchase stage by each conceptual constructs. Finally, the results of MSEM(Multi-group Structured Equation Modeling) indicate the perceived ease of use and perceived trust to the attitude to the internet shopping mall is more effectively predicted at the pre-purchase stage. Vice versa, the perceived usefulness to the intention to the purchase intention of internet shopping mall is more effectively predicted at the post-purchase stage. This study provides an integrative approach to develop the effective and successful internet shopping mall strategy.