• Proceedings of the IEEK Conference
• /
• 2000.07a
• /
• pp.545-548
• /
• 2000

A fundamental tenet of CBD is that a component has a specification which describes what that component does, and how it behaves when its services are used. In general, the implementation may be written in a different programming language and execute on different technology platform, from the language and platform used by the client program. In order to implement practically the system that is designed by the Farmer model, there is need to have the ISM (Interface Specification Model) which explains specification about the functions of entities of the Farmer model, such as, entity node, aspect node and ILB/OLB. This paper suggests the transformation methodology from the concepts of the Farmer model to the mapping notions of the ISM. Also in reality, TMN agents system which is designed by the Farmer model is transformed to the ISM system design.

• Journal of KIISE:Software and Applications
• /
• v.31 no.7
• /
• pp.883-900
• /
• 2004

As object-oriented development technology that increases extensibility and reusability has been widely spread, it can shorten development period and enhance quality by reusing verified object-oriented artifacts. Thus we can construct high quality component-based system at short time transforming component-based model using verified object-oriented artifacts. In this paper, we propose techniques to transform available object-oriented design model into component-based model using formal specification techniques in order to increase accuracy of transformation. First, formal specification language for component is defined for formal specification of component-based design. And, techniques for formal specification of object-oriented design using Object-Z, a formal specification language, is proposed in structural, functional, and dynamic aspects. Next, we present techniques for transforming formal specification of object-oriented design into formal specification of component-based design. Through a case study we apply the proposed transformation techniques and show the transformation process of object-oriented formal specification into component-based formal specification.

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.1
• /
• pp.34-44
• /
• 1995

One of the most important problems faced by software developers and users is the prediction of the size of programming system and its development effort. This article define the identical characteristics for structured specification which is consisted of Data Flow Diagram, Data Dictionary and Mini Specification and apply quantitative estimation factor of structured specification to program code metrics, Moreover, concerning DFD which is made up of component element of structured specification executed quantitative estimation experiment. In the result, we propose man/month prediction model of lower progression with production on analysis phase of upper progression.

• Journal of Information Technology Services
• /
• v.1 no.1
• /
• pp.119-139
• /
• 2002

It is noteworthy that IMT -2000 communication network based on All-HP/AIN(Advanced Intelligent Network) should accomodate current and future wire/wireless AIN service easily through integration and gearing AIN construction elements. In this paper. Intelligent Farmer model(I-Farmer Model) and methodology are suggested in order to solve the several problems including standardization on implementation of Q3 interface in Telecommunication Management Network(TMN) agents which is caused by heterogeneous platform environment and future maintenance. Also this paper proposes ITI algorithm transforming the system which is designed by I-Farmer model to Interface Specification Model(ISM) applying the I-Farmer model. In addition to ITI algorithm. we suggest NTS(Node to SIB) algorithm converting entity node and ILB/OLB component in agent system designed by the I-Farmer model to SIB of AIN GFP(Global Functional Plane) and to ASIB for application program.

• Journal of the military operations research society of Korea
• /
• v.17 no.2
• /
• pp.100-112
• /
• 1991

Software system is a hierarchical structure with collection of program units. Software system can import external packages globally or locally depending on the usage within a system. If the imported package is used globally, the soft-ware system can be influenced globally by any change of package and programmer's debugging time for the program maintenance will be greater. To solve these problems, it is desirable to use the imported package locally right on the usage point within the system. The model presented in this paper analyzed entity usage of package in structure of program, identified the usage level to obtain localization and provided information for restructure of the program to localize package usage. To obtain localization, it identified declared entities inside the imported package and analyzed the specification and body part of program unit to identify entities referenced from the imported package. The proposed model can be used to improve the maintainability of software system and contributed to reduction of programmer's debugging time in program maintenance.

• Proceedings of the KOSOMBE Conference
• /
• v.1997 no.05
• /
• pp.145-149
• /
• 1997

This paper describes a methodology for the development of models of discrete event system. The methodology is based on transformation of continuous state space into discrete one to homomorphically represent dynamics of continuous processes in discrete events. This paper proposes a formal structure which can coupled discrete event system models within a framework. The structure employs the discrete event specification formalism for the discrete event system models. The proposed formal structure has been applied to develop a discrete event specification model for the complex spectral density analysis of strip for urin analyzer system. For this, spectral density data of strip is partitioned into a set of Phases based on events identified through urine spectrophotometry. For each phase, a continuous system of the continuous model for the urine spectral density analysis has been simulated by programmed C++. To validate this model, first develop the discrets event specification model, then simulate the model in the DEVSIM++ environment. It has the similar simulation results for the data obtained from the continuous system simulation. The comparison shows that the discrete event specification model represents dynamics of the urine spectral density at each phase.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.24 no.8
• /
• pp.1046-1055
• /
• 2000

The flow and thermal phenomena in flat tubes of radiator are analyzed numerically. To predict the characteristics of heat transfer and pressure drop, the flow analysis program for three-dimensional complex geometry is developed, which adopted an non-staggered grid system and Cartesian velocities as dependent variables of the momentum equations. Using the developed program, the effect of tube specifications on the heat transfer characteristics is investigated for various flat tubes. From this study, the following results are obtained; (1) For the same hydraulic diameter($D_h{\doteq}5.2$mm), the Nusselt numbers of three basic modeis(D, J, and H-model) are 8.71, 8.92, and 10.58, respectively, and the pressure drops of D-, J-, and H-model are predicted as $-3.08{\times}10^{-2}\;Pa,\;-3.12{\times}10^{-2}\;Pa,\;and\; -3.98{\times}10^{-2}$ Pa, (2) In case of the same flat tube specification, the fins must be brazed at upper tube surface because the heat is more vividly transferred. Therefore, it is found that the H- model is the most effective tube as a heat exchanger and these results are used as a fundamental data for the design of tube.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.4
• /
• pp.995-1004
• /
• 1998

This paper presents an implementation of model checking tool for LTS process specification, which checks deadlock, livelock and reachability for the state and action. The implemented formal checker using modal mu-calculus is able to verify whether properties expressed in modal logic are true on specifications. We prove experimentally that it is powerful to check, safety and liveness for the state and action on LTS. The tool is implemented by $C^{++}$ language and runs on IBM PC under Windows NT.

• Proceedings of the IEEK Conference
• /
• 1999.06a
• /
• pp.507-510
• /
• 1999

Data broadcasting service is essential for the widespread deployment of the emerging DTV which can provide various new services, especially program related, computer-like data services. We analyze DVB and ATSC efforts and propose a data broadcasting model which is supposed to be included in Korea DTV specification.

• Journal of the military operations research society of Korea
• /
• v.11 no.1
• /
• pp.55-78
• /
• 1985

This thesis provides the implementation of a simulation model for a particular Local Area Network (LAN), employs carrier sense multiple access (CSMA) bus architecture, which implements functions of the Stock Point Logistics Integrated Communication Environment (SPLICE). First, specifications of the model are identified based on the given functional specification and operating system design. Then the approach taken for modeling and programming in GPSS is discussed. Finally, the program and results of the simulation run are provided.