• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.2055-2058
• /
• 2002

병행 자바 프로그램의 슬라이싱 방법은 Jianjun Zhao에 의해 제안된 다중 쓰레드 종속성 그래프를 이용하여 Susan Horwitz, Thomas Reps, David Binkly가 제안한 2단계 마킹 알고리즘을 적용하여 슬라이스를 계산한다. 다중 쓰레드 종속성 그래프를 이용하는 방법은 쓰레드동기화 문장들 사이의 동기화 종속성과 서로 다른 쓰레드에 존재하는 공유객채들 사이의 통신 종속성 관계를 표현하여 병행 자바 프로그램의 슬라이스를 계산할 수 있는 것이다. 그러나 프로그램 종속성 그래프를 기반으로 하기 때문에 클래스 맴버 변수들에 대한 formal_in, formal_out, actual_in, actual_out정점들의 추가로 그래프의 복잡도가 증가하고 또한 부정확한 슬라이스 계산을 위한 다중 쓰레드 종속성 그래프를 개선하여 제안한다. 제안하는 개선된 다중 쓰레드 종속성 그래프는 주어진 슬라이싱 기준에 대한 2단계 마킹 알고리즘을 적용한 결과 정확한 슬라이스 계산과 복잡도 개선을 확인하였다.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.10
• /
• pp.2567-2574
• /
• 1998

Many software engineering tools and techniques rely on fraphic representations of software, such as control flow graphs, program dependene graphs, or system dependence graphs. Existing graphic representations for object-oriented programs are compkicated, reduplicated. We thus propose a new graphic representation for object-oriented programs. Object-oriented Program Dependency Graph (OPDG). An OPDG consists of class dependence graph, class hierarchy graph and procedure dependence graph. Other features of OPDG are (1) the representation is compact; (2) the representation is easy to extend for the incremental development of a program; and (3) the repreesentation can be extended to provide dynamic information.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.2
• /
• pp.261-274
• /
• 1999

Recently, automated business processing systems, so called workflow systems, have been studied. have been studied. even though each task has noticible duration inherently, most of previous models regard it as a simple finite automation where state transitions occur instantly. In this paper, we propose a modeling method for workflow each of whose component task has minimum processing time and due-date. Firstly we provide a priority function to choose the proper alternatives when tasks fail before their due-date. The priority function considers the time-relevant factor and the semantic compatibility level to decide the best alternative. secondly, we identify six different types of execution requirements for tasks with noticible durations. They are serial, parallel, simultaneous start simultaneous termination, interleaved and nested dependency. Note that previous models deal with only serial execution and parallel execution. Lastly, we also propose graph-based methods to detect logical conflicts in time constraint-based workflow specifications.

• The Korean Journal of Financial Management
• /
• v.13 no.1
• /
• pp.101-114
• /
• 1996

본 연구에서는 우리나라 주식시장에서 주가의 장기적 종속성이 존재하는지의 여부를 평가하기 위하여 Lo(1991)의 검증방법론을 이용하여 실증분석을 실시하였다. 본 연구에서 발견된 실증분석 결과는 다음과 같이 요약될 수 있다. 첫째, 일별수익률자료를 이용한 검증에서는 한국종합주가지수 등 대부분의 주가지수에서 단기적 종속성(short-range dependence)이 발견되고 있으나, 장기적 종속성(long-range dependence)의 증거는 나타나지 않고 있다. 둘째, 월별수익률자료를 이용한 검증에서는 일부 주가지수에만 단기적 종속성이 나타나고 있을 뿐, 대부분의 주가지수에서 랜덤웍 모형을 기각할 수 없었다. 이상의 실증분석 결과는 우리나라 주식시장에서 주가에는 장기적 중속성이 존재하지 않는다는 가설과 일관성을 갖는 것이다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.05a
• /
• pp.527-533
• /
• 1997

문헌자료 간의 종속성을 고려한 베이지안(Bayesian) 방법을 개발하였으며, 이를 바탕으로 원자력발전소의 일반 기기 신뢰도 데이타 베이스를 구축하였다. 기존에 개발되어 사용되어 온 3단계 베이지안 자료 분석 코드인 MPRDP (Multi-Purpose Reliability Data Process) [1,2,3]는 기존의 신뢰도 데이타 베이스 계산 코드들과는 달리 문헌자료를 2단계에서 처리한 후 3단계에서 발전소 고유 자료를 처리하여 계산하도록 개발되었다. 그러나 이전에는 일반 자료들간의 종속성을 고려하지 못하고 동일한 자료원을 근거로 만들어진 여러 자료원들을 모두 독립적인 것으로 처리하였다. 본 논문에서는 모수적 선험적 베이지안 방법의 일종인 ML-IIl(Type II Maximum Likelihood) 방법을 이용하여 자료들 간의 종속성을 처리[5]하였다. 솔레노이드 구동밸브를 예로 종속성 처리에 따른 분석 결과의 차이를 보여 주었으며, 또한 일부 기기에 대한 국내 고유 자료를 바탕으로 MPRDP를 통한 기기 신뢰도를 추정하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.115-117
• /
• 2002

객체지향 프로그램 슬라이싱을 위한 Loren D Larsen and Marry Jean Harrold가 제안하는 방법은 절차적 프로그램 슬라이싱을 위한 시스템 종속성 그래프 표현방법에 객체지향 패러다임을 표현할 수 있도록 확장하며 2단계 마킹 알고리즘을 적용하여 슬라이스를 계산한다. 시스템 종속성 그래프를 이용한 슬라이싱 방법은 클래스 멤버 변수와 전역변수 및 인스턴스 변수에 대하여 각 메소드 호출 및 진입정점에 actual_in, actual_out, formal_in, formal_out 정점들이 추가되어 복잡도가 증가한다. 본 논문에서는 이들 변수를 클래스 정점의 멤버간선으로 연결하여 각 메소드의 문장에서 사용하면 진출간선 정의하면 진입간선으로 연결하여 정점과 간선들의 개수를 최소화할 수 있도록 시스템 종속성 그래프를 개선하였다. 제안하는 시스템 종속성 그래프는 그래프 복잡도의 최소화와 2단계 알고리즘에 의한 정확한 슬라이스 계산이 장점이다. C++ 예제 프로그램을 적용하여 그래프 복잡도의 감소와 정확한 슬라이스 계산을 기존의 방법과 비교하여 개선됨을 확인하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.574-576
• /
• 2001

컴포넌트에 기반한 소프트웨어 개발(CBSD)에 관한 연구가 활발히 진행 중에 있다. 시스템 개발 시 컴포넌트를 활용하여 개발기간과 신뢰도를 향상시키기 위해서는 무엇보다 이들 컴포넌트의 탐색과 선택을 효과적으로 지원할 수 있는 방안이 요구된다[11]. 이를 위하여 컴포넌트 명세기법과 검색시스템에 관한 연구가 지속적으로 수행되고 있으나, 다수의 연구에서 컴포넌트의 기능과 인터페이스에만 초점을 두어 종속성에 대한 고려는 부족한 실정이다. 컴포넌트는 본질적으로 완벽하게 독립적이지 못하며 내부와 외부 요소간 종속성을 맺기 때문에 [5]. 종속성에 관한 명세와 정보제공은 컴포넌트 재사용과 활성화를 위해 필수적이다. 따라서, 본 연구에서는 XML을 이용한 자바빈즈 컴포넌트의 내부 종속성 명세기법을 제시하고자 한다.

• The Journal of Korean Association of Computer Education
• /
• v.8 no.1
• /
• pp.93-103
• /
• 2005

Since the most program execution time is consumed in a loop structure, extracting parallelism from sequential loop programs is critical for the faster program execution. Conventional studies for extracting the parallelism are focused mostly on a uniform data dependence distance. In this paper, we proposed data dependency elimination method for a nested loop and extended data dependency elimination method to extract parallelism from the loop with procedure calls. The data dependency elimination method and the extended data dependency elimination method can be applied to uniform and non-uniform data dependency distance. We compared our method with conventional methods using CRAY-T3E for the performance evaluation. The results show that the proposed algorithms are very effective.

• Communications of Mathematical Education
• /
• v.16
• /
• pp.67-80
• /
• 2003

함수적 사고는 수학적 문제 해결에 있어 기본적인 사고이다. 함수적 사고에서는 변수 사이의 종속성 파악이 그 핵심이 된다. 이는 DGS 동적 기하의 동적(변화), 종속적(구성)이라는 특성에 잘 부합한다. 이에 우리는 동적 기하 환경에서 타당한 종속성 부여를 통해 primitive한 생성자를 알아보고, 이들의 조작과 역 조작, 합성 조작하는 과정을 통해 함수적 사고에 접근하는 방법을 연구해 보려 한다. 나아가 자취 기능을 이용함으로써 시각화를 통해 종속적 관계를 표현해 보고자 한다. 이것은 MicroWorld 환경에서 학습자가 스스로 대상을 구성하는 경험을 통해 함수적 사고를 자연스럽게 형성하도록 하는 것이 바람직하다는 관점에 바탕을 두고 있다.

• Journal of KIISE:Databases
• /
• v.30 no.2
• /
• pp.197-208
• /
• 2003

Abstract Workflow is not appropriately applied to coordinated execution of applications(steps) that comprise business process such as a collaborative series of tasks because of the lacks of network infra, standard of information exchange and data consistency management with conflict mode of shared data. Particularly we have not mentioned the problem which can be occurred by shared data with conflict mode. In this paper, to handle data consistency in the process of rollback for failure handling or recovery policy, we have classified rollback dependency into three types such as implicit rollback dependency in a transactional workflow, implicit rollback dependency in collaborative transactional workflows and explicit rollback dependency in collaborative transactional workflows. Also, we have proposed the rollback dependency compiler that determines above three types of rollback dependency. A workflow designer specifies the workflow schema and the resources accessed by the steps from a global database of resources. The rollback dependency compiler generates the enhanced workflow schema with the rollback dependency specification. The run-time system interprets this specification and executes the rollback policy with data consistency if failure of steps is occurred. After all, this paper can offer better correctness and performance than state-of-the-art WFMSs.