• 대한수학회논문집
• /
• 제38권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.

• 대한수학회논문집
• /
• 제39권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.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권10호
• /
• pp.912-924
• /
• 2003

설계 재구조화는 설계 구성 요소들을 재조직함으로써 품질을 향상시켜 소프트웨어 유지보수 비용을 줄인다. 객체지향 메트릭은 설계 결함을 발견하고 설계 구성 요소들을 재조직하기 위한 변형을 찾는데 도움을 제공한다. 기본적으로 이러한 설계 변형은 초기 시스템의 행위를 보존해야 한다. 본 논문에서는 객체지향 설계 행위를 보존하는 메트릭 기반 재구조화 기법을 집합론에 기반하여 기술하고, 자바로 작성된 응용 프로그램에 적용하여 유효성을 확인한다. 그리고 재구조화의 효과성을 확인하기 위하여 시뮬레이티드 어닐링(simulated annealing) 알고리즘을 사용한 방법과 비교한다.

• 한국정보기술응용학회:학술대회논문집
• /
• 한국정보기술응용학회 2005년도 6th 2005 International Conference on Computers, Communications and System
• /
• 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.

• 한국정보처리학회논문지
• /
• 제6권3호
• /
• pp.589-602
• /
• 1999

객체 지향 개념에 토대를 둔 어플리케이션 개발에는 여러 가지 이점이 있으나, 그 중 하나로서, 기존 성과물의 재이용을 들 수 있다. 유효한 재이용 수법 중의 하나로서, 본 논문에서는 클래스 계층 구조를 바탕으로 하는 확장 재구성법에 대해 논한다 우선, 클래스 계층 구조를 보다 형식적인 형태로 정의하고 이론적인 논술이 가능토록 하기 위해서, 클래스 계층 구조를 유한 유방향 그래프 형태인 클래스 계층 그래프로 나타낸다 또한, 클래스 계층 그래프간의 순서관계로써 객체 확장관계 를 정의한다. 객체 확장관계를 만족하는 클래스 계층 그래프의 재구성법으로써, 다섯가지 기본조작을 정의하고, 정의된 기본 조작만을 이용하여 클래스계층 그래프를 확장 재구성할 수 있음을 보이기위해, 기본 조작의 정당성 및 완전성을 증명한다. 본 논문에서 제안한 객체 확장관계 및 기본 재구성기법은, 기존의 객체 지향 어플리케이션을 확장 재구성하고자 할 때 이론 적인 토대로서 이용할 수 있다.

• Journal of Mechanical Science and Technology
• /
• 제17권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.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 제13회 춘계학술대회 및 임시총회 학술발표 논문집
• /
• pp.735-740
• /
• 2000

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

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권3호
• /
• pp.255-266
• /
• 2004

웹 기반 정보 시스템의 데이타 구조 및 프리젠테이션 로직으로부터 비즈니스 프로세스 정보를 분리하는 것은 여러 가지 이점을 가져온다. 그러나 웹 애플리케이션에서 비즈니스 프로세스 로직과 프리젠테이션 로직을 분리하는 것은 쉽지 않다. 심지어는 프리젠테이션 로직으로부터 데이타가 분리되지 않는 경우도 있다. 그러므로 비즈니스 프로세스에 대한 추상적인 모델을 정의하고, 프로세스 로직, 데이타 구조 및 프리젠테이션 로직을 분리하는 전략을 이용하여 그것을 동적인 사용자 인터페이스에 매핑 시키는 작업이 요구된다. 본 논문에서는 데이타 구조 및 프리젠테이션 로직으로부터 비즈니스 프로세스 정보를 분리하고자 XSLT(Extensible Stylesheet Language Transformations)를 확장하여 프로세스를 인식하는 스타일 쉬트를 제안한다. 이를 위하여 비즈니스 프로세스의 추상적인 명세를 제공하고, 비즈니스 모델을 프로세스 관점에서 살펴보고자 페트리네트 표기법을 이용하여 비즈니스 모델 요소 및 상호작용 활동을 추출한다. 이것은 웹 애플리케이션의 프로세스 구조로부터 상호작용 웹 문서의 동적인 부분, 즉 비즈니스 프로세스에서 사용자와 상호 작용하는 부분을 분리하기 위한 시도이다. 본 연구에서 제안하는 아키텍처의 핵심은 XSLT 컨트롤러로서 이것은 워크플로 엔진과 웹 브라우저간의 인터페이스 역할을 한다. XSLT 컨트롤러는 XSLT 템플릿을 활성화시키는 인터프리터로서 프로세스 상태를 프리젠테이션 레이어에 매핑 시킨다. 이렇게 각 부분을 모듈화 하는 것은 사용자 인터페이스를 변경하여도 프로세스나 데이타의 논리적인 표현에 영향을 미치지 않도록 하며, 레이아웃 변형 명세서와 독립적으로 프로세스 로직을 변경할 수 있도록 한다. 즉, 웹 애플리케이션을 독립적인 방법으로 개발할 수 있어 개발을 보다 용이하게 하고 유지보수가 용이해진다.

• 한국경제지리학회지
• /
• 제12권4호
• /
• pp.421-437
• /
• 2009

1978년 개혁 개방 이후, 중국은 해외 자본에 대한 의존도가 높은 '외생적 발전 전략'을 추진하였으나, 2000년 이후부터는 과학 기술 및 혁신 역량 강화에 초점을 둔 '내생적 발전 전략'을 추진하였다. 이제 중국에서의 기업 경영 활동은 선진 기술 및 경영 기법 이전을 촉진하는 새로운 제도와 조응하면서 차별적인 기업 혁신 네트워크를 형성하고 있다. 그 결과, 공간 경제의 성격은 초기 '수출 지향적 발전 공간'에서 '기술 지향적 발전 공간'으로 변화되었다. 이러한 맥락에서 본 논문은 중국 후기 사회주의 체제전환의 대표적 사례 공간인 상하이에 입지한 한국 투자 기업의 혁신 네트워크 특성을 기업내, 기업 간, 기업 외 관계 측면에서 분석함으로써, '기술 지향적 발전 공간'의 성격을 규명하고자 한다. 한국 투자 기업의 기업 내 관계에서는 사적 네트워크를 공적 네트워크로 전환함으로써 혁신 창출의 가능성과 경영 효율성을 극대화하려는 기업의 전략을 확인할 수 있었다. 기업 간 관계에서는 기업 규모, 산업 부문, 투자 유형 등에 따라서 차별적인 네트워크 특성을 보여주었다. 기업 외 관계는 외형적으로 제도적 개입 수준이 높은 공적 네트워크가 나타나고 있지만, 내면적으로는 ��시 관계(關係)에 기반을 둔 사적 네트워크가 나타났다. 결론적으로 중국 상하이의 공간적 특성은 외형적으로 '신 구제도 간의 상호작용과 구사회주의 체제 네트워크의 재구조화' 형태를 띠는 한편, 내면적으로 '신제도의 차단에 따른 구사회주의 체제 네트워크의 지속' 형태를 띠고 있어 '착근적' 성격과 '과잉 착근적' 성격이 함께 나타나고 있다.

• 한국정보처리학회논문지
• /
• 제1권3호
• /
• pp.299-310
• /
• 1994

소프트웨어 재공학 툴은 소프트웨어 유지보수 생산성과 그작업의 품질 향상에 기 여한다. 재공학은 프로그램의 구성요소에 대한 기능 변경이 아닌 행위 변경(객체의 이 름과 정의, 재구성프로세스 논리)을 일반적으로 관리한다. 본 논문은 객체 지향 프로 그램언어(C＋＋)로 작성된 원시 코드의 유지 보수를 위한 소프트웨어 재공학 툴인 InMaC＋＋(Interactive Maintenance for C＋＋)의 개발에 대해 서술한다. InMaC＋＋ 는 원시 코드와 다이어그램(설계정보) 형태 모두를 표현할 수 있고 편집 기능이 가능 하며 원시 코드에서 다이어그램으로 다이어그램에서 원시 코드로의 변형이 가능하다. 따라서 이들 변형을 통해 기존 코드의 유지보수와 재공학이 가능하다. 특히 시스템의 검색기능은 그래픽 인터페이스로 구현되었으며 InMaC＋＋는 객체 지향 프로그램의 메 소트, 속성, 클래스등의 구성 요소를 기반한 데이터베이스를 포함 하고 있으며, 이 모 델은 구현과 사용의 편리성과 툴의 구성을 용이하게 하기 위해 4가지의 객체 클래스와 3가지 관계를 정의하고 이들 객체 클래스의 검색을 위해 시스템 제공 단순 질의어가 제공한다.