• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권9호
• /
• pp.773-784
• /
• 2007

관점지향 프로그래밍은 기존의 소프트웨어 개발 방법론으로 해결하기 어려운 횡단관심사를 모듈화 하는데 목적을 두고 있다. 초기 관점지향 프로그래밍은 프로그램 개발 단계에 초점을 맞추어 발전하다가 최근에는 요구사항 분석 및 설계부터 코드 구현 단계까지 전체 프로세스에 관점지향 프로그래밍 방법론을 적용하고자 많은 연구가 이루어지고 있다. 하지만, 관점지향 프로그래밍에서 필요한 교차점, 결합점, 충고 정의를 위한 표준화된 지침 및 명세가 없어 프로그램 개발 및 유지보수를 어렵게 하고 있다. 본 논문에서는 이와 같은 문제점을 해결하기 위하여 관점지향 프로그래밍 개발 및 유지보수를 지원하는 횡단관심사 명세 기법을 제시한다. 관심사 명시, 관심사 설계, 그리고 코드 구현 세 단계로 이루어지는 명세 단계는 요구사항 분석 단계에서 얻어지는 횡단관심사 정보를 코드로 개발할 수 있도록 단계별 지침을 제공한다. 명세 과정의 각 단계에서는 전체 횡단 관심사 목록, 횡단관심사 명세서, 애스펙트 클래스 참조 테이블, 핵심 클래스 참조 테이블을 구축하여 코드 개발 및 유지보수시 프로세스간의 추적 자료로 사용된다. 본 논문의 명세 기법은 관점지향 프로그래밍에서 해결하기 어려운 구현의 문제점, 프로그램 이해의 어려움, 재사용의 문제점을 해결함으로써 시스템 개발을 지원한다.

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

재사용성과 확장성을 높이는 객체지향 개발이 보편화되면서 새로운 소프트웨어를 개발할 경우 기 개발되어 검증된 객체지향 산출물을 재사용함으로써 개발기간을 단축하고 품질을 향상할 수 있다. 이렇게 성능이 검증된 기 개발된 객체지향 산출물을 이용하여 컴포넌트 기반 모델로 변환하면 짧은 기간에 고품질의 컴포넌트 기반 시스템을 구축할 수 있다. 본 논문에서는 이미 개발되어 있는 객체지향 설계 모델을 이용하여 컴포넌트 기반 설계로 변환하되 변환의 정확성을 위해 정형명세 기법을 사용한다. 컴포넌트 기반 설계를 정형명세하기 위해 컴포넌트 정형명세 언어를 정의한다. 그리고 객체지향 설계의 정적, 동적, 기능적 측면을 정형명세 언어 Object-Z를 사용하여 정형명세하는 기법을 제시한 후, 객체지향 정형명세를 컴포넌트 정형명세로 변환하는 기법을 제시한다. 사례연구는 제시된 변환 기법을 적용하여 객체지향 정형명세가 컴포넌트 기반 정형명세로의 변환과정을 설명한다.

• 한국기계가공학회지
• /
• 제20권5호
• /
• pp.47-54
• /
• 2021

In this study, systems and procedures for improving the research and development and purchasing projects for defense specifications were investigated, and the current situation was analyzed in terms of the disclosure and establishment of defense specifications. I would like to discuss the measures that need to be taken to improve the specification affairs of our defense sector in order to improve the production quality of military supplies. It should be noted that it is necessary to establish specifications and procedures for improving the quality of domestically purchased military supplies. Therefore, it is highly imperative to systematically establish detailed performance, and miscellaneous specifications in order to actively respond to the rapid development of superior private technologies. In addition, the barriers in the entry of the defense industry should be removed through active disclosure of the specification data, and the opportunities for participation should be expanded to promote a smooth follow-up logistics support and to improve the quality of military supplies

• 산업공학
• /
• 제16권2호
• /
• pp.156-166
• /
• 2003

Proposed in this paper is a standard-compliant business process modeling tool which is based on the UML(Unified Modeling Language) activity diagram and produces an XPDL(XML Process Definition Language) file as an output. The XPDL is a standard process definition exchange format by WfMC (Workflow Management Coalition). To develop an UML/XPDL-based modeling tool, the mapping of modeling elements between activity diagram and XPDL format is conducted after the detailed analysis of each modeling specification. As a result of this mapping, it is revealed that modeling elements of each activity diagram and XPDL must be expanded. So new modeling elements are identified and added to each specification. Based on this mapping, the prototype system is developed, and the usefulness of the developed system is shown through the case study.

• 한국시뮬레이션학회논문지
• /
• 제27권3호
• /
• pp.23-36
• /
• 2018

이산사건시스템명세(DEVS) 형식론은 이산사건시스템을 모듈러하고 계층적으로 모델링할 수 있는 잘 정의된 의미론을 제공하고 있어 이산사건시스템 모델링 시뮬레이션 (M&S)에 많이 사용되어 왔다. 이러한 수학적 표현 대신에 DEVS 다이어그램은 복잡한 시스템을 보다 직관적이며 편리한 표현력을 제공한다. 본 논문은 DEVS 다이어그램을 이용하여 표현된 모델을 시뮬레이션 코드로 체계적으로 구현하며 검증하는 DEVS 클린룸 프로세스를 제안하였다. 구체적으로, 주어진 다이어그램 모델의 적합성 검사, 테이블 DEVS 모델로의 변환, 마지막으로 시뮬레이션 소스코드로 변환하는 방법과 역으로 추적성을 기반으로 한 검사기법을 통해 정적 검증하는 구체적인 방법을 제시하였다. 간단한 예제를 통해 제안된 프로세스를 적용하는 구체적인 방법을 설명하였으며, 적용사례 통해 제안된 기법이 실용적으로 적용 가능한 효과적인 프로세스임을 확인하였다.

• 한국정보처리학회논문지
• /
• 제5권4호
• /
• pp.904-914
• /
• 1998

비지니스 프로세스를 근본적으로 개선하는 접근방법으로 BPR이 주목받고 있으며 최근에는 비지니스 프로세스의 속도향상과 기술자의 생산성 향상을 목적으로 작업흐름 관리와 자동화에 특히 관심이 집중되고 있다. 소프트웨어공학 분야에서도 프로세스에 초점을 맞춘 접근방법으로 소프트웨어 프로세스 공학이 주목받기 시작하고 있으며 소프트웨어의 생산성 및 품질 향상과 개발기간의 단축을 위해 소프트웨어 프로세스를 근본적으로 개혁하기 위한 방안으로 SPR에 대한 연구가 진행되고 있다. 따라서 본 연구에서는 소프트웨어 프로세스 리엔지니어링 방법론 확립의 일환으로서 소프트웨어 프로세스의 작업흐름 관리 시스템 구축을 위한 작업흐름 분석과 설계방안을 구축하였다. 즉, SPR 프로세스와 소프트웨어 프로세스의 구조를 모델화하는 과정과 소프트웨어 프로세스의 구조를 분석하여 소프트웨어 프로세스의 작업흐름 모델을 구축하는 작업흐름 분석 기법과 작업흐름 소프트웨어의 명세정의 기법에 대한 방안을 강구하였다.

• 정보보호학회논문지
• /
• 제20권1호
• /
• pp.113-121
• /
• 2010

시스템 명세 기법은 시스템의 구조와 행위특성을 형식적인 표현을 통해 제시하기위해 사용되는 시스템 이론 기반의 정형화된 표현 기법이다. 시스템 명세 기법을 시스템의 설계 단계에서 활용할 경우, 계층적이고 모듈화된 시스템에 대한 정의와 유지보수의 용이성 확보가 가능하여 합리적인 개발이 가능하게 된다. 본 연구에서는 개인정보 사용의 위험 상황을 모바일 장치를 이용하여 정보의 소유자에게 알려주고, 이에 대한 응답을 관리하는 기술을 제시하고 있다. 특히, 모바일 장치가 갖는 제약사항을 해결하기 위한 메시지의 형식을 정의하여 제시하였다. 본 기술이 적용된 알람 시스템은 계층적이고 모듈화된 형태로 모델링하기 위해 시스템명세를 기반으로 하였다. 또한, 시스템 명세화 기법 기반의 설계를 통해 알람시스템을 개발하고 본 시스템의 효율성을 검증 하였다. 본 논문의 기여도는 시스템명세기법을 사용한 개인정보 유출상황의 유연성 있는 표현과 관리를 가능하게 한 시스템의 설계 및 구현에 있다.

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

객체지향 방법론에서 정적 및 동적 모델에 관한 구문(Syntax)과 의미론(Semantics)의 형식적 정의는 잘 이루어 졌으나 객체 상호작용의 행위에 대한 형식론은 아직까지 제시되지 않았다. 본 논문에서는 객체 상호작용을 묘사하는 UML의 순서(Sequence) 다이어그램을 토대로 프로세스 대수를 사용하여 객체 상호작용을 정의하고 객체 상호작용의 특성을 정규화 시킨다. 이러한 결과는 M. Snoeck과 G. Dedene[9]가 제시한 종속존재 관계의 개념을 상호작용 관계의 개념으로 대체하여 형식론을 전개할 수 있음을 보여준다.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회/대한산업공학회 2003년도 춘계공동학술대회
• /
• pp.1085-1092
• /
• 2003

Proposed in this paper is a standard-compliant business process modeling tool which is based on the UML(Unified Modeling Language) activity diagram and produces an XPDL(XML Process Definition Language) file as an output. The XPDL is a standard process definition exchange format by WfMC(Workflow Management Coalition). To develop an UML/XPDL-based modeling tool, the mapping of modeling elements between activity diagram and XPDL format is conducted after the detailed analysis of each modeling specification. As a result of this mapping, it is revealed that modeling elements of each activity diagram and XPDL must be expanded. So new modeling elements are identified and added to each specification. Based on this mapping, the prototype system is developed, and the usefulness of the developed system is shown through the case study.

• 대한안전경영과학회지
• /
• 제13권1호
• /
• pp.203-209
• /
• 2011

This study develops three new models that are practically applicable to three stages of Taguchi's robust design, which includes system design, parameter design and tolerance design. In system design, the Multiple Loss Function Analysis(MLFA) and Overall Loss Index(OLI) which reflect upon weight of characteristics and importance of specification are developed. Moreover parameter design presents Process Capability Index(PCI), $C_{PUK}$ and $C_{PLK}$, in order to segregate Signal-To-Noise Ratio(SNR) into accuracy and precision for an evaluation of relative comparison. In addition, tolerance design presents the new model of allowance computation for assembled product which is primarily derived from safety margin(SM) considering functional limit and specification. The guideline of those three new models, which include systematic charts and applicable illustrations, offers convenience for practitioners in the field. Hence, the practical applications could be made with the steps of robust designs such as system design, parameter design and specification allowance design.