• Journal of KIISE:Software and Applications
• /
• v.33 no.1
• /
• pp.17-31
• /
• 2006

Software architecture is the high level model of a software system. It should be specified with ADLs (Architecture Description Languages) for its clarity and preciseness. Most ADLs such as C2SADL have not come into extensive use in industries since ADL users should learn a distinct notation specific to architecture, and ADLs do not address all stakes of the development process that is becoming diversified everyday. On the other hand, UML is a do facto standard general modeling language for software developments. UML provides a consistent notation and various supporting tools during the whole software development cycle. But, UML is a general modeling language and does not provide all concepts that are important to architecture description. UML should be extended in order to precisely model architecture. In this paper, we defined a C2 architecture modeling language as a UML2.0 profile. We applied the defined C2 architecture modeling language to the modeling of a restaurant reservation system.

• Journal of KIISE
• /
• v.42 no.11
• /
• pp.1339-1348
• /
• 2015

In a distributed system environment based on a service-oriented architecture, separate systems collaborate to achieve the goals of the entire system by using services provided other systems. A service quality violation from using one service can cause runtime system failure in the environment. The existing self-adaptation methods follow fault tolerance mechanism that responds to a failure after a service quality violation. In other words, these methods are limited to responsive action. Therefore, a service-dependability-case based self-adaptation mechanism is necessary to preserve the dependability of the self-adaptive system. This paper demonstrates that the service-dependability-case based self-adaptation mechanism is better than QoS(quality of service)-based self-adaptation with fault tolerance to preserve the dependability of the self-adaptive system. Additionally, this paper suggests a method to present and analyze service dependability by using GSN(Goal Structuring Notation) which is the existing modeling method for the presentation of assurance cases, an action mechanism adapted using an analysis result of service-dependability-cases, a methods of leveraging the service-dependability-case based self-adaptation mechanism by following the service's life cycle, and the framework architecture including the major components and the interactions between the components in the control loop of the self-adaptation process.

• Journal of Information Management
• /
• v.43 no.2
• /
• pp.199-222
• /
• 2012

Due to the increase of international business and activities, Koreans nowadays have higher needs to present their personal identity to the foreigners. In this process, the first requirement is to exchange personal names with foreigners. Therefore, the phonetic translation of Korean names into Roman alphabetic notation is frequently required, in order to deliver Korean personal names to the people who do not understand Korean alphabet. However, some confusions have been witnessed in the way of transforming Korean names into Roman (English) alphabet notation, due to the fact that there are many different ways to put Korean pronunciation into Roman (English) alphabet. This study examines different formats of Romanization of Korean personal names to find and suggest an optimal one. It first examines structures of and differences between Korean and Western personal names and usage patterns, reviews the issues surrounding Romanization of Korean personal names, and patternizes diverse Romanization formats currently used. Based on these examinations and consequent findings, I would like to suggest a format for the Romanization of Korean personal names which is considered to be the best.

• Journal of the Korea Society for Simulation
• /
• v.18 no.2
• /
• pp.1-8
• /
• 2009

Enterprise security management system proposed to properly manage heterogeneous security products is the security management infrastructure designed to avoid needless duplications of management tasks and inter-operate those security products effectively. In this paper, we defined the security policies using Z-Notation and the detection algorithm of policy conflict for managing heterogeneous firewall systems. It is designed to help security management build invulnerable security policies that can unify various existing management infrastructures of security policies. Its goal is not only to improve security strength and increase the management efficiency and convenience but also to make it possible to include different security management infrastructures while building security policies. With the process of the detection and resolution for policy conflict, it is possible to integrate heterogeneous security policies and guarantee the integrity of them by avoiding conflicts or duplications among security policies. And further, it provides convenience to manage many security products existing in large networks.

• 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.

• Journal of the Korean Mathematical Society
• /
• v.38 no.2
• /
• pp.227-274
• /
• 2001

In this paper we intended to discuss the following topics: (1) Notation, generalities, Markov processes. The close relationship between (generators of) Markov processes and the martingale problem is exhibited. A link between the Korovkin property and generators of Feller semigroups is established. (2) Feynman-Kac semigroups: 0-order regular perturbations, pinned Markov measures. A basic representation via distributions of Markov processes is depicted. (3) Dirichlet semigroups: 0-order singular perturbations, harmonic functions, multiplicative functionals. Here a representation theorem of solutions to the heat equation is depicted in terms of the distributions of the underlying Markov process and a suitable stopping time. (4) Sets of finite capacity, wave operators, and related results. In this section a number of results are presented concerning the completeness of scattering systems (and its spectral consequences). (5) Some (abstract) problems related to Neumann semigroups: 1st order perturbations. In this section some rather abstract problems are presented, which lie on the borderline between first order perturbations together with their boundary limits (Neumann type boundary conditions and) and reflected Markov processes.

• Journal of Biomedical Engineering Research
• /
• v.8 no.2
• /
• pp.171-176
• /
• 1987

Wiener filtering method was applied to the dual energy imaging procedure in digital radiography(D.R.). A linear scanning photodiode arrays with 1024 elements(0.6mm H 1.3mm pixel size) were used to obtain chest images in 0.7 sec. For high energy image acquisition, X-ray tube was set at 140KVp, 100mA with a rare-earth phosphor screen. Low energy image was obtained with X-ray tube setting at 70KVp, 150mA. These measured dual energy images are represented in the vector matrix notation as a linear discrete model including the additive random noise. Then, the object images are restored in the minimum mean square error sense using Wiener filtering method in the transformed domain. These restored high and low energy images are used for computation of the basis image decomposition. Then the basis images are linearly combined to produce bone or tissue selective images. Using this process, we could improve the signal to noise ratio characteristics in the material selective images.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.28 no.7
• /
• pp.970-976
• /
• 2004

For a long time, design methodologies strive to systematize the design process in order to make the practice more efficient and effective. One of such methodologies is Axiomatic Design. However, this design theory still has some problems and is not completely settled. In this paper, the new issue for the non-linear design in Axiomatic Design is suggested and the representation of system architecture by flow chart is corrected. In the case that the design equation varies as a function of the variation of DP ($\delta$DP), the design should be regarded as the nonlinear design because the design equation is not a constant. When system architectures are represented by a flow chart, all systems could not be independently represented. However, by adding the notation of the end of decoupling to the notations using in flow chart, those can be independently represented.

• Korean Journal of Ecology and Environment
• /
• v.38 no.spc
• /
• pp.76-83
• /
• 2005

The marked increase in the number of environmental problems, combined with the increase in their intensity and spatial extent, has resulted in an ever-increasing need for constant monitoring. This is complicated by the occurrence of new and complicated environmental issues that often prevent a thorough understanding of the entire monitoring framework. In the present study, a diagrammatic method was developed to present the entire framework of a monitoring plan. The diagram was separated into three sections- "Problem Section", "Research Process and Data Section" and "Entities Section" - to clearly present the disparate relationships between monitoring objectives and the monitoring procedure. Notation of the diagrams was undertaken using Unified Modeling Language (UML). A hypothetical monitoring plan for an environmental problem was designed to assess usefulness of the diagrammatic method. The diagram was capable of reviewing and revising the monitoring plan and could be used to select a monitoring procedure according to the monitoring objectives of the plan. The results suggested that this diagrammatic method was effective for designing an appropriate monitoring plan for a given monitoring objective.

• Journal of the Korean Graphic Arts Communication Society
• /
• v.1 no.1
• /
• pp.7-41
• /
• 1983

Reproduced colors which are half-tone printed at the rate of 10,20,30, ...100% half-tone dot area by each process ink- cyan, magenta, yellow and at the rates of 0,30,60, 100% half-tone dot areas by the mean color mixing of black, cyan, magenta and yellow, are colorimetric analyzed by make use of the 1931 CIE XYZ system of color specification and matching the Munsell color system. Espacially, magenta and secondary colors which are contained magenta, do not have good uniformity and proportionalization in the dominant wavelength and the excitation purity. Half-tone colors without reflection of blue light, are reproduced ideal color with the excitation purity 100% in wavelengths from 555nm to 600nm.