• Communications of the Korean Mathematical Society
• /
• v.38 no.3
• /
• pp.725-731
• /
• 2023

Following the new description of an oriented full transformation on a finite chain given recently by Higgins and Vernitski in [4], in this short note we present a refinement of this description which is extendable to partial transformations and to injective partial transformations.

• Communications of the Korean Mathematical Society
• /
• v.39 no.3
• /
• pp.643-645
• /
• 2024

In this note, we aim to correct some of the results presented in [1]. Namely, the statements of Proposition 2.1, Corollary 2.2, Corollary 2.3, Theorem 2.4 and Theorem 2.6, concerning only the monoids 𝓞𝓟_n and 𝓟𝓞𝓟_n, have to exclude transformations of rank two. All other results of [1], as well as those mentioned above but for the monoids 𝓞𝓡_n and 𝓟𝓞𝓡_n, do not require correction.

• Journal of KIISE:Software and Applications
• /
• v.30 no.10
• /
• pp.912-924
• /
• 2003

Design restructuring improves software quality by reorganizing design elements and reduces maintenance cost. Object-oriented metrics can help to detect design flaws and find transformations to reorganize design elements. Basically, the transformations must preserve the behavior of an initial system. This paper describes a metric based restructuring technique preserving the behavior of object-oriented designs, founded on set theory, and gives its validity by applying the technique to applications written in Java. This paper also compares the technique with a technique using simulated annealing algorithm to show its effectiveness.

• Proceedings of the Korea Society of Information Technology Applications Conference
• /
• 2005.11a
• /
• pp.1-6
• /
• 2005

The purpose of this paper is to propose a novel modeling approach called Services Ecosystem that applies the concept of ecosystems in ecology to Service-Oriented Software Development and Integration. For this purpose, an ecological system for software systems is proposed for the emerging Service-Oriented Computing paradigm, describing how participants interact with each other within their environments. Three emerging concepts, Service-Oriented Programming, Software Factories, and Service Grid, are employed to explain biotic and abiotic environments. Based upon the Services Ecosystem model, we demonstrate Services Ecosystem Model transformations by using a case example. The Services Ecosystem model is a novel approach for envisioning the Service-Oriented Computing paradigm in terms of an ecosystem in which the roles/perspectives of each participant and their relationships/interactions to environments are clearly described with a holistic view.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.3
• /
• pp.589-602
• /
• 1999

There are some advantages of developing applications based on the object oriented concepts. One os them is that it is possible to reuse the existing designs and products. This paper provides a formal method for the reorganization of class hierarchies for the object extension in the object oriented design phase. In this paper, we introduce classes, and edges to represent the inheritance and aggregation relationship between classes. Based on the graph, we define an order relation(called the object extension) between class hierarchy graphs. And also we present a set of five basic transformations preserving the object extension relation. The set is proven to be correct and complete. The results of this paper help form a theoretical basis for the extension and reorganization object-oriented application systems.

• Journal of Mechanical Science and Technology
• /
• v.17 no.2
• /
• pp.269-279
• /
• 2003

The anti-plane shear problem of bonded elastic materials containing a crack at an arbitrary angle to the graded interfacial zone is investigated in this paper The interfacial zone is modeled as a nonhomogeneous interlayer of finite thickness with the continuously varying shear modulus between the two dissimilar, homogeneous half-planes. Formulation of the crack problem is based upon the use of the Fourier integral transform method and the coordinate transformations of basic field variables. The resulting Cauchy-type singular integral equation is solved numerically to provide the values of mode 111 stress intensity factors. A comprehensive parametric study is then presented of the influence of crack obliquity on the stress intensity factors for different crack size and locations and for different material combinations, in conjunction with the material nonhomogeneity within the graded interfacial zone.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.735-740
• /
• 2000

일반적으로, 기존의 소프트웨어에 대한 확장 또는 재구성 등의 요구변화에 의해 소프트웨어는 진화한다. 설계패턴은 객체지향 소프트웨어를 확장하기 위한 적합한 방법들을 표현한 것으로서, 소프트웨어 설계에 있어서 목표치에 가장 이상적인 상태를 제공하고 있다. 본 논문에서는 주어진 소프트웨어에 대하여 일련의 기본적인 프로그램 변환조작들을 적용하여 목표상태로 재구성하여 진화시키기위한 몇가지 설계패턴 변환기법들을 제안한다. 기존의 객체지향 어플리케이션의 재구성 및 진화를 위하여, 설계자가 클래스 다이어그램에 적용할 수 있는 자동화도구의 개발에 본 논문의 연구결과를 이용할 수 있다.

• Journal of KIISE:Software and Applications
• /
• v.31 no.3
• /
• pp.255-266
• /
• 2004

In the Web-based information systems, separating the business process logic from the data and presentation logic brings about a wide range of advantages. However, this separation is not easily achieved; even the data logic may be not separated from the presentation layer. So, it requires to define an model for business processes, and then to map the model into the user's dynamic interface using the logic separating strategy. This paper presents a stylesheet method to recognize the process by extending XSLT (Extensible Stylesheet Language Transformations), in order to achieve the logic separation. To do this, it provides an specification of the business process, and a scheme that extracts business model factors and their interactions using a Petri-net notation to show the business model into the process point of view. This is an attempt to separate users' interaction from the business process, that is, dynamic components of interaction Web document from the process structure of Web applications. Our architecture consist mainly of an XSLT controller that is extended by a process control component. The XSLT controller is responsible for receiving the user requests and searching the relevant templet rule related to different user requests one by one. Separation of concerns facilities the development of service-oriented Web sites by making if modular. As a result, the development of service-oriented Web sites would be very easy, and can be changed without affecting the other modules, by virtue of the modularization concept. So, it is easy to develop and maintain the Web applications in independent manner.

• Journal of the Economic Geographical Society of Korea
• /
• v.12 no.4
• /
• pp.421-437
• /
• 2009

China has transformed her strategies for economic development from exogenous development founded on foreign capitals to endogenous development based on enhancing technology innovation capabilities since 2000. More specifically, Chinese business activities have coupled with new institutional settings which enable them to facilitate advanced technology and management methods. As a result, the characteristics of the spatial economy in China are likely to transfer from export-led developmental space to technology-oriented developmental space. In this context, this paper aims to identify the characteristics of technology-oriented space by investigating intra-, inter- and extra-firms relations of Korean FDI firms in Shanghai, China. In terms of intra-firm relations, Korean FDI firms adopted strategies for maximizing business efficiency and effectiveness by transforming their personal networks into formal networks. In terms of inter-firm relations, the distinction of Korean FDI firms' networks has been found in accordance with firm size, industrial sectors, ways of investment etc. Finally, Korean FDI firms has formal networks resulted from institutional involvement, as well as informal (personal) networks based on guanxi (inter-personal relations) in extra-firm relations. Therefore, two types of processes affecting the networks and institutional legacies of the Soviet system can be identified. First is the interaction of institutions and restructuring of pre-existing networks. Second is the insulated institutions and endurance of preexisting networks. And these two governance types have created regional economies which are embedded and over-embedded.

• The Transactions of the Korea Information Processing Society
• /
• v.1 no.3
• /
• pp.299-310
• /
• 1994

Re-engineering tools can substantially increase software maintenance productivity and the quality of maintenance work. Re-engineering usually involves changing the form(e.g.changining objects names and definitions, restructuring process logic) of a program. In this paper, we describe the design and implementation of InMaC＋＋ that is a software tool oriented towards maintenance of C＋＋ object oriented programs. With InMaC＋＋, programms can be displayed and edited in two forms : as the code and as the diagram InMaC＋＋ also contains transformations in both directions, i,e. from code to diagram and from diagram to skeletons of code. Hence, it is suitable for re-engineering and maintenance of existing code. Specially designed browsers implement the graphical interface. InMaC＋＋ contains a database that is based on a simple but effective data model of InMaC＋＋ programs. The model contains only four object classes and three relations, which makes the tool small, and easy to implement and use. A simple query language allows browsing through the database.