• Journal of the Korean Society of Systems Engineering
• /
• v.12 no.2
• /
• pp.69-80
• /
• 2016

The purpose of this study is to establish a component reutilization system in Nuclear Power Plant (NPP) by Object-Oriented Systems Engineering Method (OOSEM). Unified Modeling Language (UML) is mainly used for OOSEM. Operational Concept (OpsCon), Use cases, Structure Diagrams, and Behavior Diagrams are developed to analyze stakeholders needs, system requirements, logical architecture, and physical architecture. Based on the current decommissioning and purchasing system of the component, some activities from their systems were excepted and additional new activities were developed for a component reutilization system.

• Proceedings of the KIEE Conference
• /
• 2002.11b
• /
• pp.193-195
• /
• 2002

This paper presents the methods to solve the problem about Power System Protection Program(PROSET) and describe the database relation and schema with UML. PROSET is a overall program system to protect power system and correct it. In the context of the PROSET it is so difficult to edit database data when topology is changed. When the renewal of data is performed. all changed values are disappeared. Therefore, it will not be expected to know the present situation by using the information of the databases data. So it is necessary to solve this problem. Solution is copy of the user. Only E.R diagram is used to express database schema and relation. So, in this paper, UML(Unified Modeling Language) will be used to express PROSET and database of MCD-H and MDT-H.

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

최근 XML 문서가 급증함에 따라 웹-기반 XML 응용 문서의 중요성이 많이 부각되고 있는 실정이다. 웹-기반 XML 응용 문서의 대표적인 예로 OSD, CDF가 있다. OSD 포맷은 소프트웨어 패키지와 그들간의 관계를 정의하는 것으로 CDF 문서 등에서 많이 사용되고 있다. 그러나 아직까지 이에 대한 객체 모델링이 제안된 바 없어, 소프트웨어를 재사용하려는 사람들마다 별도의 양식으로 이들 관계를 표현하고 있는 실정이다. 따라서, 본 논문은 UML의 다양한 관련성을 이용하여 OSD와 CDF 문서를 클래스 다이어그램으로 표현하고자 한다. 이를 위한 CDF와 OSD로부터 글래스 다이어그램 구성 요소로의 사상 규칙과 알고리즘을 제안한다. 본 연구의 의의는 소프트웨어 패키지간의 구현과 실체 관계를 UML 형태로 일관되게 표현하고 클래스 다이어그램 형태로 출력하여, 객체지향적인 문서 관리의 기반이 되도록 하는 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.397-399
• /
• 2002

1980년대 이후 많은 연구 개발 성과가 있는 객체 지향 패러다임의 활성화에 이어서 수년 전부터 컴포넌트 기술의 보급이 확산되고 있다. 2000년부터 한국전자통신연구원의 컴포넌트 공학 연구팀 주관으로 개발되고 있는 COBALT 시스템은 EJB 기술을 기반으로 상업성있는 컴포넌트를 개발하기 위한 환경 구축을 목적으로 한다. COBALT 시스템은 UML을 이용한 영역 모델링 기능 컴포넌트 생성 및 배치 기능, 기존의 자바 코드에 대한 역공학 기능 등을 갖추고 있다. 본 논문은 COBALT 시스템의 부 시스템으로 구현된 역공학 기능 중에서 시퀸스 다이어그램 추출 기능의 설계 및 구현 결과를 다룬다 UML 시퀸스 다이어그램은 객체들 간의 메시지 전달 상황을 모델링하기 위한 것으로 시스템의 실행 흐름을 표현한다. 본 논문에서 구현된 시퀸스 다이어그램 추출 기능을 통하여 컴포넌트 개발자는 기존에 작성된 자바 코드를 쉽게 이해할 수 있게 되므로 자바 코드의 재사용성을 향상시킬 수 있으며 재사용된 자바 코드를 이용하여 EJB 컴포넌트를 개발할 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.11a
• /
• pp.567-570
• /
• 2006

Statechart 는 상태 기반의 시각적 명세 언어로 UML 에 포함되어 매우 널리 사용되고 있다. 하지만 UXL 의 특성에 의해 그 의미론이 비정형적이 되었으며, 시스템의 행위를 불안하게 만드는 비결정적인 경우가 발생하게 된다. 본 논문에서는 UML 지원 도구인 Rhapsody의 statechart diagram 중 코어 부분을 정형적 의미론을 가지는 명세로 변환함으로써 비결정적 명세를 찾아낼 수 있음을 보였다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.14 no.12
• /
• pp.2707-2715
• /
• 2010

This paper suggests a implements and a design of class diagram authorization tool based on the MVC pattern. It defines and descries the structure of ClassInformation, ScreenDisplay and ToolManager. ClassInformation is responsible for processing or handling information of a diagram. ScreenDisplay is responsible for GUI to configure the screen of the authorization tool. ToolManager is responsible for event handling to process I/O of the authorization tool. Based on MVC pattern, ClassInformation, ScreenDisplay and ToolManager of the authorization tool are assigned each role independently. It is flexible to new requirement, because of loose coupling.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.24 no.7
• /
• pp.857-865
• /
• 2020

This paper presents a method for code generation of UML sequence diagrams based on message patterns. In the sequence diagrams, it is shown that messages are some types of forms typically. This paper classifies according to type as three patterns, and construct meta-information for code generation analysing structural infomation for each patterns. The meta-message of structural information (MetaMessage) is stored in the MetaMessage datastore and the meta-method information from the MetaMessage is stored in the MetaMethod datastore. And then, the structural information of MetaClass and MetaObject is constructed in each datastore too. For each pattern, this paper presents a method for code generation based on the meta information of message patterns and the syntax of target progamming language. Also, branching and looping that has been seldom handled integratedly in the previous works are handled as same as the basic patterns by classifying the branching pattern and the looping pattern for code generation integratedly.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10c
• /
• pp.246-248
• /
• 1998

본 논문에서는 대화형 시스템을 시험하기 위한 시험 사례를 마코프 연쇄의 통계적 확률 과정으로 생성하는 방안을 제시한다. 객체지향 방법론의 통합안인 UML에서는 클래스도(Class Diagram)가 표현할 수 없었던 시스템의 동적인 관점을 상태 전이도(State Transition Diagram)는 구체적으로 표현할 수 있다. 시스템의 사용법을 상태 전이도로 표현하고, 상태간의 전이 확률(Transition Probability)을 계산하여 사용법 연쇄(Usage Chain)를 구성한다. 사용법 연쇄는 다음 상태가 과거의 상태에 영향을 받지 않고 현시점의 상태에만 의존하는 이산 시간형 확률과정인 마코프 연쇄(Markov Chain)가 된다. 본 논문에서는 사용법 연쇄를 분석하여 상태 전이도의 상태와 원호가 어떤 범위에서 시험될 것인지 결정되었을 때, 사용법 연쇄의 전이 확률이 높은 순서별로 연결하여 시험 사례를 생성하는 방안을 제시하고, 예제를 설명한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06c
• /
• pp.172-174
• /
• 2006

본 연구에서는 시간 요소를 고려한 무기체계 소프트웨어의 시스템 테스트 모델을 제시한다. 이를 위해 컴포넌트 기반의 UML 표기법과 무기체계의 시간 제약 특징을 고려한 무기체계 소프트웨어의 시스템 테스트 모델인 TFM(Time Factor Method) 모델을 제안한다. TFM 모델은 세 가지 요소인 (X.Y,Z)으로 구성되어 있는데. "X" 에서는 최대시간경로를 선정하는 알고리즘을 통해 테스트 케이스가 도출되고, "Y" 에서는 Sequence Diagram과 관련된 컴포넌트(오브젝트)를 식별하고, "Z"에서는 Timing Diagram을 통하여 식별된 각각의 컴포넌트의 실행시간을 측정한다. 또한 제안된 TFM 모델의 적용사례를 들어 테스트 케이스를 도출한다.

• IE interfaces
• /
• v.20 no.1
• /
• pp.79-86
• /
• 2007

In B2B e-commerce environments, many initiatives for process modeling have made efforts to design business processes correctly. Especially, Petri nets have been widely used as a good theory to design and verify process models. Therefore, we propose the process modeling method for the B2B e-commerce based on Petri nets. First of all, a B2B process model based on BPSS is represented by the UML activity diagram. Second, the activity diagram is transformed to a Petri net model. For the transformation, well-behaved building blocks/control structures and the modeling rules for inter-organizational workflow processes are proposed. Third, the process is partitioned into sharable processes for individual business partners. Finally, according to needs of individual business partners, the sharable processes are modified by well-structured refinement rules. The whole procedure is explained with the purchase process of an e-bookstore.