• KIPS Transactions on Software and Data Engineering
• /
• v.3 no.5
• /
• pp.169-178
• /
• 2014

In this paper, we present a research utilizing decentralized LTL specifications for ensuring a quality for interaction-centralized system. In this system, for ensuring the quality, we need to validate interactions between modules of the system and then we should check whether the system achieves the expected requirements. This task remains difficult and labor-intensive and requires an expert. In this paper, we present a method to assist such a task. First of all, the requirements of the system is written as multiple LTL specifications. Interactions between modules mean that behaviors of one module are related with other one's behavior. We generate the automaton model fully achieving specification through GR(1) synthesis. And we simulate them using the simulator based on the software agent for checking behaviors of the system. Finally, we validate the whole system whether it achieves given requirements.

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

데이터베이스에 대한 제약사항들은 소프트웨어의 개발 및 사용에 있어 개발자와 사용자가 모두 참고해야 하는 중요한 사항임에도 불구하고 데이터베이스 모델링괴 소프트웨어 모델링의 불일치 및 표현 방법의 차이로 인해, 일관성 있는 제약사항 명세 및 설계에 많은 어려움을 겪어왔다. OCL(Object Constraint Language)은 객체의 제약사항을 표현하는 언어로서 UML(Unified Modeling Language)의 일부분이다. 본 논문은 객체의 제악사항을 표현하는데 사용하던 OCL을 데이터베이스의 제악사항을 설계에 일관성 있게 표현, 반영하기 위하여 사용하는 기법을 제시하고, 이에 대한 검증을 수행하는 방법에 대한 연구이다. 본 논문에서는 요구사항에서 추출한 데이터베이스의 제악사항을 정의한 규칙에 따라 추출해내고, 이를 OCL의 표현법을 이용하여 정형적으로 표현한다. 그리고 그 OCL의 형식적 표현을 ODL(Object Description Language)로 정의하는 기법을 정의함으로서 이에 대한 일관성 검증을 수행하는 기법을 제안한다.

• Journal of KIISE:Software and Applications
• /
• v.35 no.7
• /
• pp.424-430
• /
• 2008

Identifying crosscutting concerns during requirements engineering phase is one of the most essential parts in Aspect-Oriented Software Development. Considering crosscutting concerns in the earlier phase of the development improves consistency among requirements so that it can help maintain software systems efficiently and effectively. It also provides a systematic way to manage requirements changes by supporting traceability throughout the software lifecycle. Thus, identifying tangled and scattered concerns, and encapsulating them into separate entities must be addressed from the early phase of the development. To do so, first, functional and non-functional concerns must be clearly separated. Second, a pointcut where a main concern meets crosscutting concerns should be defined and specified precisely. Third, it is required to detect conflicts being occurred during composition of crosscutting concerns from the earlier phase. Therefore, this paper proposes a systematic approach to identifying and specifying crosscutting concerns using goal-scenario based requirements analysis. And we demonstrate the applicability of the approach by applying it into the intelligent service robot system.

• Journal of KIISE:Software and Applications
• /
• v.32 no.12
• /
• pp.1178-1191
• /
• 2005

In this paper, we propose a synthesis method of software fault tree from software requirements specification written in NuSCR formal specification language. The software fault tree, proposed in this paper, reflects requirements on both structure and behavior and it is an integrated form. The software fault tree can be used for analyzing safety in the view of structure and behavior. We propose templates for each components in NuSCR specification language and a synthesis method of software fault tree using the templates. The research was applied into the main trip logic of the reactor protection system of ARP1400, the Korean next generation nuclear reactor system, developed by KNICS. And we evaluate feasibility of our approach through this case study.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2000.10a
• /
• pp.223-226
• /
• 2000

현재의 소프트웨어들은 그 요구사항이 늘어나고 규모 역시 커져서 여러 사람이 팀을 이루어 개발하는 것이 일반적이다. 이런 개발과정에서 서로 다른 개발자가 구현한 코드를 통합하는 것은 무척 어려운 일이며 이렇게 구현한 소프트웨어에 대한 명세를 작성하거나 분석하는 것 또한 많은 노력을 필요로 한다. 특히 ERP 어플리케이션과 같이 많은 수의 개발자들이 분산 환경에서 협력 작업을 통하여 프로그램을 개발하는 경우에 있어서는 개발자 상호간의 의견교환과 정보 공유는 물론, 서로 다른 개발자가 자신이 필요로 하는 코드를 찾아내고 분석하여 통합하는 일은 필수적이면서도 많은 시간과 노력을 요구한다. 따라서 견고한 어플리케이션을 위해서는 개발 도구가 이러한 요구사항들을 충분히 반영하여야 한다. 본 논문에서는 컴포넌트 기술을 이용한 ERP 패키지 시스템인 SEA+의 개발 도구에 포함되어 있는, 분산 협력 개발시 요구되는 이와 같은 사항을 반영하여 설계 개발한 순차 다이어그램 편집기에 대하여 설명한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.469-471
• /
• 1998

소프트웨어 아키텍쳐의 정의는 소프트웨어 생명주기의 시금석과 같아서 수명주기 전반에 많은 영향을 미칠 수 있다. 특히 대규모의 소프트웨어를 짧은 시간에 개발할 경우, 기존 소프트웨어의 유지보수나 소프트웨어 부품의 재활용이 절실하게 요구되는 상황에서는 더욱 중요하다. 본 논문에서는 소프트웨어 아키텍쳐를 컴포넌트, 포트, 커넥터, 그리고 제한사항 등으로 정의하고, 이렇게 정의한 아키텍쳐를 시각적으로 표현함으로서 소프트웨어 개발의 효율성과 재사용성을 높이고자 하였다. 시각적으로 표현된 소프트웨어 아키텍쳐는 그 내용이 LOTOS 행위를 만족 시켜서 정형적 표현이 가능하며, 이러한 정형 명세에 대한 확인, 검증을 통해서 소프트웨어 아키텍쳐의 연결, 결합이 가능하여 소프트웨어 아키텍쳐 수준의 재사용성을 확인할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06a
• /
• pp.110-112
• /
• 2012

정형기법은 소프트웨어 및 하드웨어 시스템의 요구사항을 모순, 모호함 없이 정확하게 명세하고 검증할 수 있는 방법으로, 안전성이 중요한 소프트웨어에 많이 적용되어 반드시 보장되어야 할 속성을 소프트웨어가 만족하는지 확인하는데 사용되고 있다. 본 논문은 정형기법 커뮤니티에서 선정한 여러 도전 과제 중 하나인 인공 심장 박동기(pacemaker)를 실시간 속성을 표현할 수 있는 정형기법 도구인 UPPAAL을 사용하여 모델링하고 주요 속성을 검증하였다. 이를 통해 실시간 속성으로 인해 명세 및 검증하기 힘든 소프트웨어에 정형기법을 적용하여 안전성을 확인할 수 있음을 보인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.664-666
• /
• 2001

사용자의 다양한 요구사항에 따른 소프트웨어 구조의 방대함과 복잡함으로 인하여 소프트웨어 부품을 재사용 하는 방식의 컴포넌트 개발 방법이 최근 각광을 받고 있다. 이런 추세에 맞추어 IBM, SUN, 한국2전자통신연구원 등의 여러 기관에서 공용 컴포넌트 개발, 컴포넌트 생성 및 조립기술, 컴포넌트 시험 및 품질평가 기술, 컴포넌트 유통기술 등의 컴포넌트 관련 기술 사업을 추진 중에 있다. 특히 특정 영역에서 공통으로 사용될 수 있는 공용 컴포넌트를 개발하여 공용 컴포넌트 은행에 저장하고, 컴포넌트 사용의 공영 체제를 구축하는 것은 급변하는 사용자의 요구에 따른 소프트웨어 시장 변화에 신속하게 대처할 수 있는 중요한 방안이라 할 수 있다. 이 논문에서는 EJB(Java Enterprise Beans)컴포넌트 은행 구축 시 사용자의 요구사항에 적합한 컴포넌트를 선택하고 해당 컴포넌트에 대한 올바른 이해를 돕는데 중요한 확장된 EJB 컴포넌트 명세를 제안한다.

• Journal of KIISE:Software and Applications
• /
• v.31 no.7
• /
• pp.869-882
• /
• 2004

This paper proposes an effective method to create logically consistent and structured requirement model by applying consistency control approach of the formal method to the use-case modeling. This method integrates the multi-perspective scattered requirement segments that may overlap and conflict each other into a structured requirement model. The model structure can be analyzed based on context goal and concerned area overlap analysis. The model consistency can be achieved by using specification overlap-based consistency checking method as an integration vehicle. An experimental application to case study shows that the Proposed method can successfully identify requirement overlaps and inconsistency. It can also transfer multi-viewpoint requirement segments into a consistently integrated use-case model to clarify software behaviors and functionality This method helps users to enhance capability to identify specification inconsistency in the use-case modeling at the early stage of software engineering development. The proposed approach can also facilitate communication between users and developers to ensure customer satisfaction.

• Journal of KIISE:Software and Applications
• /
• v.34 no.5
• /
• pp.419-430
• /
• 2007

It is very important to track whether software is properly developed according to requirements. This study suggests a method to track requirements by using a tracking table. In this study, the tracking table indicates why such requirements are included by detailing the content of requests for proposals and proposals. The table also facilitates verification of the consistency between outputs and the integrity by having ID codes of each requirement mapped to each output. Furthermore, as this study was conducted, it was found that some factors were required to be added or supplemented to the outputs at the requirement gathering stage of MaRMI-Ⅲ v.4.0 methodology. Thus, this study seeks to present this additional result along with the enhanced tracking table. By verifying outputs, the tracking table presented in this study will help to reduce all kinds of risks and problems that may occur in software development due to the lack of management of requirements. In addition, the output of the requirement-gathering stage of MaRMI-Ⅲ v.4.0 methodology will be improved/supplemented according to the creation of tracking tables; this will increment the applicability of the MaRMI-III methodology.