• Journal of Software Engineering Society
• /
• v.26 no.2
• /
• pp.45-52
• /
• 2013

A cloud computing service provider must assure Service Level Agreement (SLA) to provide reliable and consistent quality of service to a user. The SLA is a contract between the user and the service provider that connects to assure constant level such as availability to target provided service. The cloud computing is classified into IaaS, PaaS, and SaaS according to IT resources of the various cloud service. The existing SLA is difficult to reflect quality factors of service because it only considers factors about the physical Network environment. In this paper, we suggest the UDDI-based interchange process with the architecture and the specification language having a XML schema for the SLA specification. The quality requirements of SaaS are defined by a proposed specification language in the cloud environment. It is stored in the repository of a quality specification and exchanged on during the service binding time based on the exchange architecture.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.04b
• /
• pp.1005-1008
• /
• 2001

이 연구에서는 웹 기반 시스템의 분산되어 있는 자료 활용이 미비하고 시스템을 개발 할 때 시스템 사용자(여기에서는 교수 - 학습자)들의 요구사항이 충분히 반영되지 못하는 점을 개선하기 위해 WBSE(Web Based Software Engineering)개념을 웹 기반 시스템에 도입하여 요구사항을 반영하고 기존에 개발되어 사용되고 있는 소프트웨어를 컴포넌트화 하는 작업을 시도하여 이를 재사용 통합함으로써 새로운 시스템을 개발하는데 재사용 하고자 한다. 특히 기존 웹 기반 시스템에서 재사용 할 수 있는 컴포넌트를 추출하여 특정 시스템(웹 기반 교육 시스템)에 재사용하는 일련의 과정에 대하여 연구 기술하였다.

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.4
• /
• pp.161-168
• /
• 2015

It is difficult to provide proper cloud services for cloud users, because the number of cloud services are increasing and the type of cloud services are diversifying. To overcome this problem, the concept of cloud service broker is presented to mediate cloud services between cloud providers and tenant. The most important role of cloud service broker is to finding cloud services that fulfill requirements of tenant. However, current existing cloud service broker conduct passive requirements analysis process with cloud service expert's assistance. In addition, the systematic functional and non-functional requirement analysis is insufficient. Therefore, we need the new methods for requirement analysis to find nearest service that matches with requirement of tenant. In this paper, we apply pairwise comparison from AHP method to analyze requirement automatically and systematically. It calculates score of service by comparing requirement with service specification, calculating importance rate, and so on.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05a
• /
• pp.247-250
• /
• 2003

웹 기반 교육시스템에 컴포넌트 개념을 도입하여 재사용하는 연구는 소프트웨어 재사용 측면에서 생산성 증대에 기여한다. 이 논문에서는 웹 기반 교육시스템에 컴포넌트 개념을 도입하여 재사용성을 높이는 연구의 연장으로 컴포넌트를 인터넷상에 개방하면서 그 컴포넌트에 대한 검색을 하거나 컴포넌트를 이해하고자하는 사용자들에게 도움이 되는 정보들이 상세하게 기술되어야 함을 전제로 개발자의 WBI에서 요구 사항에 부합되는 컴포넌트를 검색하기 위한 컴포넌트 명세 모델과 아키텍쳐에 기반한 컴포넌트 검색 모델을 XML형태로 명세하고 클래스 다이어그램으로 표기하였다. 컴포넌트에 대한 표준명세서가 정의되지 않았기 때문에 본 시스템에서는 정의된 명세서 이외의 다양한 컴포넌트 명세서를 수용할 수 있는 유연성을 가진 검색 방법을 사용하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.854-856
• /
• 2003

웹 기반 교육시스템에 컴포넌트 개념을 도입하여 재사용하는 연구는 소프트웨어 재사용 측면에서 생산성 증대에 기여하지만 이러한 효과가 현실화되기 위해서는 기술적인 제반 요소들, 예를 들면 충분히 많은수의 사용 가능한 컴포넌트의 존재, 검색 및 등록 시스템의 지원, 효과적인 컴포넌트 서술 등의 문제가 해결되어야 하며 이 논문에서는 웹 기반 교육시스템에 컴포넌트 개념을 도입하여 재사용성을 높이는 연구의 연장으로 컴포넌트를 인터넷상에 개방하면서 그 컴포넌트에 대한 검색을 하거나 컴포넌트를 이해하고자 하는 사용자들에게 도움이 되는 정보들이 상세하게 기술되어야 함을 전제로 개발자의 WBI에서 요구 사항에 부합되는 컴포넌트를 검색하기 위한 컴포넌트 명세 모델과 아키텍쳐에 기반한 컴포넌트 검색 모델을 XML형태로 명세하고 클래스 다이어그램으로 표기하는 연구를 하였다.

• Journal of Korea Multimedia Society
• /
• v.7 no.1
• /
• pp.113-125
• /
• 2004

Active networks aim to provide a software framework that enables active network applications to customize the processing their communications. Active security component architecture focuses on the support of reuse system by active security component. The architecture is standard layer to acquire, understand, and assemble component, and it has to support a guideline for component identification, search and customization. In this paper we present the active security architecture as a standard model of discrete active network solution, and we propose the method for component classification and specification.

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

Fault tree analysis is the most widely used saftly analysis technique in industry. However, the analysis is often applied manually, and there is no systematic and automated approach available to validate the analysis result. In this paper, we demonstrate that a real-time model checker UPPAAL is useful in formally specifying the required behavior of safety-critical software and to validate the accuracy of manually constructed fault trees. Functional requirements for emergency shutdown software for a nuclear power plant, named Wolsung SDS2, are used as an example. Fault trees were initially developed by a group of graduate students who possess detailed knowledge of Wolsung SDS2 and are familiar with safety analysis techniques including fault tree analysis. Functional requirements were manually translated in timed automata format accepted by UPPAAL, and the model checking was applied using property specifications to evaluate the correctness of the fault trees. Our application demonstrated that UPPAAL was able to detect subtle flaws or ambiguities present in fault trees. Therefore, we conclude that the proposed approach is useful in augmenting fault tree analysis.

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06b
• /
• pp.77-82
• /
• 2010

서비스 지향 아키텍처 기반의 소프트웨어 시스템은 서비스 단위의 컴포넌트 조합에 의해 기능이 수행된다. 이러한 조합된 서비스에 대한 테스팅은 주로 서비스 조합 명세서인 WS-BPEL 명세를 기반으로 기능적인 측면에 초점을 두어 수행 되었다. 최근에 서비스 지향 아키텍처가 임베디드 소프트웨어 분야에 적용되면서 서비스 조합에 대한 성능 관련 요구사항의 중요성이 부각되고 있다. 그러나 기존의 성능 테스트는 각 서비스의 응용 어플리케이션에 성능 측정을 위한 코드삽입을 필요로 함으로써 테스트 비용을 증가시킨다. 또한 시뮬레이션을 통한 성능 테스트가 이루어지기 때문에 정확한 성능을 테스트하기 어렵다. 따라서 본 논문에서는 WS-BPEL을 이용한 조합된 서비스의 효과적인 성능 테스트를 위해 WS-BPEL을 확장하는 방법을 제안한다. 제안하는 확장 기법은 관점 지향 프로그래밍의 Aspect 개념을 WS-BPEL에서 사용할 수 있도록 함으로써 WS-BPEL을 이용한 테스팅에서 조합된 서비스의 성능 테스트를 효과적으로 수행할 수 있는 기회를 제공한다. 또한 본 확장 기법은 성능 테스트뿐만 아니라 다른 비 기능적 요구사항에 대한 테스트에도 활용될 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.307-309
• /
• 2004

객체 관련 표준화 기구인 OMG 가 UML 을 산업 표준으로 채택한 이후, VML 은 산업계나 학계에서 널리 사용하게 되었다. 그래서, UML은 각종 과제나 프로젝트를 수행할 때 청사진을 제공하는 대표적인 모델링 언어로 자리매김하게 되었다 UML을 사용한 경험이 증가하고, 소프트웨어 모델링의 문제를 알게 됨에 따라, UML에 대한 새로운 요구 사항 나왔고, 개정판으로 UML 2.0이 발표되었다. 그러나 UML 2.0을 사용한 범용 프로세스의 명세가 부족하고, 다이어그램에 대한 지침도 부족하다. 본 논문에서는 UML 2.0에서 사용할 수 있는 범용 프로세스를 제시하고, 각 프로세스에서 필요한 주요 다이어그램에 대한 핵심 지침을 제안하겠다.

• Journal of KIISE:Software and Applications
• /
• v.29 no.7
• /
• pp.450-464
• /
• 2002

Many modern complex systems, including most object-oriented systems, have dynamic characteristics that their components are dynamical]y configured during run-time. However, few analysis techniques are available that consider the dynamic nature of systems explicitly. We propose a specification and analysis method for these dynamic systems. We design a new temporal logic, called HDTL, to specify the properties of dynamically evolving systems, and tune up the tableau method for this logic. HDTL incorporates variables and quantifiers that enable the automatic analysis. Using HDTL and the analysis method, we can specify the correctness requirements of systems and check whether the system actually agree with the requirements or not. An experiment shows that HDTL is suitable for specifying dynamic properties and the analysis technique works well.