• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 1998.03a
• /
• pp.229-233
• /
• 1998

이 논문에서 우리는 분산환경의 결함허용 응용소프트웨어 개발을 위한 명세방법을 제안한다. 즉, 시스템의 오류시에도 복구 가능한 논리전달을 위한 명세언어를 제공하는데 분산환경에 적합한 package개념과 객체에 기반하여 시스템을 이끈다. 이 명세방법을 이용하면 triple modular redundancy 나 voted-process pairs 등이 쉽게 명세 가능하다. 특히 , 본 논문은 DARTS 설계방법의 모듈객체와의 접목을 통하여 자연스럽게 실시간 설계로 유도한다.

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

이동 분산 실시간 시스템(MDRTS:Mobile Distributed Real-time Systems)은 분산 네트워크 상에서 협력 동작하며 특정 시간 내에 요구하는 정보를 제공하는 이동 시스템이다. MDRTS는 시간, 이동성, 분산성 등을 표현하기 때문에 명세 복잡도가 높고, MDRTS의 성공적인 동작을 보장하기 위해 보다 정확하고 효율적인 시스템의 설계가 중요하다. 특히 시스템의 분산성과 이동성에 의해 발생하는 다양한 종류의 제약 사항을 표현한 수 있는 정형기법이 필요하다. 본 논문에서는 MDRTS을 명세하기 위해 PATM(Probabilistic Abstract Timed Machine)[1]을 확장하여 정의한 DATM(Distributed Abstract Timed Machine)에 대해 기술한다. DATM은 PATM에서 표현하기 힘들었던 이동하는 기계의 분산 정보를 명세할 수 있도록 하였고, 시간, 거리, 확률, 보안에 대한 제약 사항을 명세할 수 있도륵 정의하였다. MDRTS가 가진 제약사항들은 영역을 정의하여 표현하였다. 영역의 종류에는 시간영역, 거리영역, 확률영역, 보안영역이 있다. 각 영역의 속성에 시간적인 제약을 표현할 수 있으며, 시간과 공간 논리를 사용하여 모델링하였다.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 1998.10a
• /
• pp.623-635
• /
• 1998

이 논문에서 우리는 분산 실시간 소프트웨어 설계방법인 CODARTS/DA(Concurrent Design Approach for Real-Time Systems/Distributed Application)를 위한 타스크 행위 명세방법을 제안한다. 각 타스크는 CODARTS/DA 모듈들, 즉, 다수 클라이언트/서버 모듈(Multiple Client/Sever Module), 단일 클라이언트/서버 모듈(Single Client/Server Module), 그룹 통신모듈(Group Comm. Module), 우선 순위 모듈등과 통신을 수행하는데, 분산환경의 동기, 비동기 문제들을 제안한 방법으로 설계 명세할 수 있다. 또한 제안된 명세방법은 C언어와 비슷한 문법구조를 제공하므로 쉽게 문서들이 구조적 프로그램으로 변환될 수있다.

• Journal of Digital Contents Society
• /
• v.11 no.4
• /
• pp.453-461
• /
• 2010

Specifying and designing the election algorithm in mobile ad hoc distributed systems is very difficult task. It is because mobile ad hoc systems are more prone to failures than conventional distributed systems. The aim of this paper is to propose a specification and design of the election algorithm in a specific ad hoc mobile computing environment. For this aim, we specify and design an election algorithm in this paper. In addition, we formally verify it and show that it is correct. This solution is based on the nodes detection algorithm that is a classical one for synchronous distributed systems.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2002.11b
• /
• pp.396-399
• /
• 2002

현재의 컴포넌트기반 개발(CBD:Component Based Development)을 통한 비즈니스 영역의 개발과 응용에 많은 연구가 진행되고 있다. 기업이나 조직은 분산환경을 통한 비즈니스 기능의 확대와 통합을 빠르고 효과적인 방법을 요구하고 있다. 에이전트는 분산환경의 유연한 서비스를 제공하고, 컴포넌트 기술은 개발의 효율성을 보장함으로써 이러한 요구를 해결할 수 있다. 본 논문에서는 비즈니스 영역에 대한 에이전트의 효과적인 개발과 적용을 위해 e-비즈니스 에이전트지향 컴포넌트기반 개발 프로세스(ebA-CBD:e-business Agent oriented Component Based Development)를 통해 ebA의 명세와 ebA 개발을 위한 컴포넌트 명세를 제안한다. 특히, e-비즈니스 에이전트의 식별과 명세를 위해 ebA-CBD 매트릭스, ebA Architecture Model과 ebA-Spec.을 제시하며, 사례를 통해 명세의 이해성 및 사용성을 제공하고자 한다.

• Journal of Internet Computing and Services
• /
• v.6 no.5
• /
• pp.1-9
• /
• 2005

In a role based access control through attribute certificate, the use of role assignment certificates and role specification certificates can reduce management cost and the overhead incurred by changing roles, Highly distributed computing environments such as ubiquitous computing environments not having global or broad control. need another attribute certificate management technique, Actually just having role specification certificate separately reduce management cost, But for better performance we structure role specification, We group roles and make the role group relation tree, It results secure and efficient role renewing and distribution, For scalable role specification certificate distribution, the multicasting of packets is used, We take into account the packet lass and quantify performance enhancements of structuring role specification certificates.

• 한국공간정보시스템학회:학술대회논문집
• /
• 1999.06a
• /
• pp.9-18
• /
• 1999

지리정보 및 이와 관련된 프로세스의 표준화를 위해서 구성된 OGC에서는 개방형 GIS를 구현하기 위한 방법으로 CORBA, COM, 그리고 SQL의 세 가지를 제시하고 있다. 본 논문에서는 세 가지 구현방안 중 CORBA 구현명세를 바탕으로 하는 분산객체GIS에 대한 구현모델을 제시하고, 제시된 구현모델에 대하여 JAVA와 VisiBroker를 이용하여 서버와 클라이언트 측면에서 구현하는 방안을 제시하고자 한다.

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

객체기술의 확장, 분산처리기술의 발전과 더불어 주목받는 컴포넌트 기반 소프트웨어 구축기술은 기존의 프로그래밍 기술을 대체하는 효율적인 기법으로 평가받고 있다. 소프트웨어의 재사용 측면에서 이러한 컴포넌트들은 프로그램 개발의 생산성 증대에 기여하는 것은 사실이지만 이러한 효과가 현실화되기 위해서는 기본적인 제반요소 -검색 및 저장소, 효과적인 컴포넌트 서술- 가 해결되어야 한다. 이에 본 논문에서는 컴포넌트의 명세를 기반으로 한 컴포넌트 저장소 모델을 제안한다. 이러한 컴포넌트의 명세는 인터페이스 기술에 대만 명세, 상속등과 같은 재사용에 대한 정보, 인터페이스들을 포함하는 컴포넌트 명세들 간의 상호작용에 관만 정보를 포함한다.

• The KIPS Transactions:PartC
• /
• v.12C no.7 s.103
• /
• pp.1015-1024
• /
• 2005

A delegation of privileges is one of important processes that empower authority to relevant node to process job that user wants in large-stale distributed environment such as Grid Computing. However, existing delegation methods do not give suitable privilege about Job, and do not atomize range of delegation and exists delegation of access privilege for only resources itself that is not delegation about executing process of job itself. Also, they do not apply about process that needs delegation before and after. execution of job such as reservation of system resources or host access before and after execution. Therefore, this paper proposes a method and specification for restricted delegation in distributed environment. Proposed method separates delegation for job side and privilege side, and express specification and procedure of delegation using XML schema and UML and present restricted delegation scenario in distributed computing environment.

• Journal of KIISE:Software and Applications
• /
• v.29 no.12
• /
• pp.895-906
• /
• 2002

Due to increased concern about the distributed web application, the interest in EJB - server-side Java component architecture that enables to make out Business Logic without writing codes related to complicated distributed framework - is also increasing. Despite of these increased interest, However, efforts for reliability of these systems have been insufficient. Thus, in this paper, we propose specification technique for applying DbC approach, which can elevate the reliability of software in the Object-Oriented system development, in writing formal specification of EJB-based application. Through this specification technique, developers can gain reliability in the EJB-based application development.