• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
• /
• pp.331-333
• /
• 2003

UML(Unified Modeling Language) 액티비티 다이어그램은 시스템의 동적인 측면을 표현하는데 적합하기 때문에 비즈니스 프로세스와 워크플로우를 모델링 하는데 유용하게 사용된다. 워크플로우 모델링은 이해하기 쉽고. 작업하기 쉬운 보편성을 갖고 있도록 개발되어져야 한다. 또한 모델링을 하는 기법 자체에는 정형적인 의미를 내포하고 있어야 하며 분석이 가능해야 한다. 이에 본 논문에서는 워크플로우 시스템의 특성에 맞도록 ASM(Abstract State Machine) 시멘틱을 이용하여 액티비티 다이어그램 기반의 워크플로우 모델링에 대한 시멘틱 표현을 제안한다. 이와 같은 ASM 시멘틱을 기반으로 하는 정형적인 시멘틱 표현을 통하여 보다 효율적인 워크플로우 모델링이 가능하다.

• International Journal of Computer Science & Network Security
• /
• 제23권5호
• /
• pp.21-32
• /
• 2023

The design of complex man-made systems mostly involves a conceptual modeling phase; therefore, it is important to ensure an appropriate analysis method for these models. A key concept for such analysis is the development of a diagramming technique (e.g., UML) because diagrams can describe entities and processes and emphasize important aspects of the systems being described. The analysis also includes an examination of ontological concepts such as states and events, which are used as a basis for the modeling process. Studying fundamental concepts allows us to understand more deeply the relationship between these concepts and modeling frameworks. In this paper, we critically analyze the classic definition of a state utilizing the Thinging machine (TM) model. States in state machine diagrams are considered the appropriate basis for modeling system behavioral aspects. Despite its wide application in hardware design, the integration of a state machine model into a software system's modeling requirements increased the difficulty of graphical representation (e.g., integration between structural and behavioral diagrams). To understand such a problem, in this paper, we project (create an equivalent representation of) states in TM machines. As a case study, we re-modeled a state machine of an assembly line system in a TM. Additionally, we added possible triggers (transitions) of the given states to the TM representation. The outcome is a complicated picture of assembly line behavior. Therefore, as an alternative solution, we re-modeled the assembly line based solely on the TM. This new model presents a clear contrast between state-based modeling of assembly line behavior and the TM approach. The TM modeling seems more systematic than its counterpart, the state machine, and its notions are well defined. In a TM, states are just compound events. A model of a more complex system than the one in the assembly line has strengthened such a conclusion.

• 정보처리학회논문지D
• /
• 제12D권7호
• /
• pp.1049-1064
• /
• 2005

내간형 시스템이 제공하는 기능이 다양해지고 그 구조가 복잡해짐에 따라, 이들 시스템을 설계하는 데에 객체 지향 설계 방법론이 널리 사용되고 있다. 객체로 설계된 시스템을 대상 하드웨어에서 수행시키기 위해서는 객체들로부터 태스크 집합을 유도해야 하는데, 여기에 몇 개의 태스크가 존재하며 각 태스크가 어떤 객체들로 도착한 어떤 이벤트를 처리하느냐에 따라 시스템의 응답성이 크게 좌우된다. 그럼에도 불구하고 객체와 태스크의 상이함 때문에 최적의 태스크 집합을 유도하는 것은 매우 어려운 일이며, 그로 인해 지금까지는 여러 태스크 집합을 반복적으로 시도해 보는 것이 보편적인 방법이었다. 본 논문에서는 이 문제를 해결하는 Scenario-based Implementation Synthesis Architecture(SISA)를 제안한다. SISA는 객체로 설계된 시스템에서 태스크 집합을 유도하는 방법, 그리고 이를 지원하는 개발 도구와 런타임 시스템 아키텍처를 총칭한다. 이를 이용하여 개발된 시스템은 가능한 적은 개수의 태스크들로 이루어져 있으면서도 시스템의 각 이벤트에 대한 응답 시간이 최소임이 보장된다. 우리는 UML 2.0을 모델링 언어로 사용하는 개발도구인 ResoRT를 확장하여 SISA를 구현했으며, 기 개발된 산업용 PBX(사설교환기) 시스템에 이를 적용했다 이 시스템의 성능 평가 결과, 지금까지 알려진 최선의 태스크 유도 방식을 이용하여 개발되었을 때에 비해 ,시스템의 최대 응답 시간이 평균 $30.3\%$ 단축된다는 것을 확인할 수 있었다.

• Spatial Information Research
• /
• 제7권2호
• /
• pp.175-190
• /
• 1999

최근 GIS 관련 기술이 급속도로 발전되고 안정화됨에 따라 기 구축된 우수한 GIS 기술들의 재사용 문제가 제기되고 있다. 현재 이러한 재사용 문제들은 GIS 모듈의 컴포넌트화와 표준 인터페이스 제정을 기본 방향으로 하는 GIS의 표준화 연구 방향으로 해결책을 모색하고 있다. [1] 현재 GIS 표준화 연구는 초기 단계로서 GIS 하부구조의 표준화, 다시 말하면 범세계적으로 통용될 수 있는 GIS 정보의 표준 하부구조의 구축에 역점을 두고 있다. 이러한 표준화 작업은 국제적인 GIS 선도 업체 위주로 구성된 개방형 GIS 정보의 표준 하부구조의 구축에 역점을 두고 있다. 이러한 표준화작업은 국제적인 GIS 선도 업체 위주로 구성된 개방향 GIS 컨소시엄(OGC : Open GIS Consortium)을 주축으로 하여 국제적인 GIS의 표준모델을 제시하고 있다. 특히 본 연구에서는 개방형 GIs 컨소시엄(OGC ; OpenGIS Consortium)에서 제안한 OLE/COM Simple Feature 구현 사양 1.1을 주축으로 하여 응용 시스템에 표준화된 방식으로 GIS 데이터를 서비스할 수 있는 데이터 제공자(Data Provider) 컴포넌트의 구축에 관한 사항을 종합적으로 살펴보고자 한다. 다양한 데이터베이스 시스템 또는 파일 시스템을 GIS 데이터의 기반으로 하여 표준화된 인터페이스를 제공할 수 있는 데이터 제공자 컴포넌트의 구축 방법, 데이터 제공자 컴포넌트들간의 GIS 데이터의 공유 방법 그리고 응용시스템에서의 데이터 제공자 컴포넌트 이용 방법에 관하여 중점적으로 살펴볼 것이다. 특히 이러한 OGC 사양의 데이터 제공자 컴포넌트를 구현하는 과정에서 야기되는 문제점들을 리스트하고 이의 해결방안에 대하여서도 논의할 것이다. 그리고 본 연구에서는 데이터 제공자 컴포넌트의 설계 및 분석과정을 수행함에 있어서 UML(Univied Modeling Language)을 이용함으로서 향후 타데이터 제공자 컴포넌트 개발을 위한 모델을 제시하고 있다.

• 한국지리정보학회지
• /
• 제11권1호
• /
• pp.31-44
• /
• 2008

우리나라의 국가지리정보체계(NGIS) 제1단계 기본지리정보 구축사업은 권역별 수정주기가 5년인 1/5,000 수치지도를 사용하여 권역별 최신성이 결여 되었으며, 이는 기본지리정보 데이터베이스의 활용에 저해되는 주요 요인으로 지적되었다. 따라서 본 연구에서는 기본지리정보의 효율적인 갱신을 위하여 위치기반의 객체 기반의 데이터 관리 방법 및 시스템을 구현하는 기술적인 방법을 제시하였다. 주요 내용으로는 첫째, 위치 기반 지형지물 식별자(UFID: Unique Feature IDentifier)를 이용한 객체 기반의 데이터모델과 데이터베이스를 설계하고, 둘째, UML(Unified Modeling Language)을 적용하여 위치 기반의 UFID 생성, 입 출력, 공간 및 속성 편집, 객체 기반의 데이터 처리를 하는 갱신시스템을 개발하였으며, 셋째, 시범지역을 선정하여 시스템을 적용하여 품질검수에서 정확도 99%의 우수한 양질의 데이터를 생산하였고, 기존 방법보다 35%의 인건비 절감 효과가 있음을 도출하게 되었다. 본 연구에서 제안한 방법은 사용자 요구에 만족하는 최신의 기본지리정보 데이터베이스를 제공하여 민간 GIS 및 생활 GIS의 활용극대화를 창출하고, 국가 기본지리정보의 유지관리와 GIS 시장의 활성화 촉진에 기여할 것이며, 또한 객체 기반의 데이터 관리로 지형지물 변화 모델링과 지형지물 모니터링 방법도 가능할 것으로 기대된다.

• 경영정보학연구
• /
• 제4권2호
• /
• pp.209-222
• /
• 2002

EDI(Electronic Data Interchange)는 빠른 정보 제공, 문서 작업 감소, 원활한 정보교환, 고객 서비스 향상 등의 장점을 지니고 있어 수년간 기업 활동을 지원하는 수단으로 널리 활용되어 왔다. 하지만 최근 인터넷을 통해 e-비즈니스 환경이 구현됨에 따라 EDI는 e-비즈니스를 수행하는 문서양식과 서식, 문서내용, 비즈니스 프로세스, 문서 처리방법 및 표현방법 등을 포함하는 정보활동의 총체적 개념인 ebXML(electronic business eXtensibleMarkup Language) 프레임워크(Framework)로 변화해 가고 있다. 이러한 ebXML 프레임워크를 산업에 적용하기 위해서는 비즈니스 프로세스(BP)나 핵심 컴포넌트(CC), 협력규약 프로필(CPP), 협력규약 합의(CPA)를 등록하는 등록저장소, 메세징 시스템 등이 필요하다. 본 연구에서는 타 산업에 비해 상대적으로 EDI를 많이 사용하고 있는 항만물류산업을 대상으로 EDI 시스템의 현황 및 문제점과 업무 프로세스를 분석하였다. 업무 프로세스 분석을 통해 ebXML프레임워크의 핵심요소인 등록저장소에 등록될 비즈니스 프로세스를 UN/CEFACT 모델링 방법론(UN/CEFACT Modeling Methodology)을 사용하여 정의하고 모델링 하였다. 본 연구에서는 ebXML 프레임워크를 항만물류산업에 적용하기 위해 UN/CEFACT 모델링 방법론에 따라 협업(Business Collaborations), 트랜잭션(Business Transactions), 문서흐름(Business Document Flows), 구성법(Choreography), 패턴(Pattem) 등을 UML(Unified Modeling Lanfuage)로 표현하였으며, 본 연구결과를 통하여 ebXML 프레임워크를 타 산업에 적용할 수 있는 메타방안을 제시하고 있으며, 항만물류산업에 속한 개별기업에서 실제 시스템을 구현할 수 있는 비즈니스 프로세스 설계를 목적으로 하고 있다.

• 디지털산업정보학회논문지
• /
• 제10권1호
• /
• pp.181-193
• /
• 2014

The environment of supply chains is rapidly changed to global and eco-freindly work process. However, at current environment, it is not easy to grasp work flow and to analyze energy efficiency. Improving energy efficiency and visibility for goods flow can contribute to increases in customer attitudes and reductions in overall production costs Additionally, it can lead to increases in work efficiency and reductions in overall production costs. Until recently, efforts to improve energy performance focused on manufacturing industry. Those efforts have expanded to the supply chain. In this paper, we perform business process modeling about supply chain for visibility and sustainability - information and component flows - from assembly plants to logistics. This paper defines the work and information flows by modeling the underlying logical structures of the supply chain and the business processes that determine impact of visibility and sustainability. We model processes using the modeling methodology specified by UN/CEFACT. This methodology explains business process functionality and business transactions by UML diagram. The output of this paper would be useful in grasping work flow and capturing the used energy.

• Journal of Astronomy and Space Sciences
• /
• 제25권2호
• /
• pp.227-238
• /
• 2008

위성항법 지상국 기술은 위성으로부터 위성항법신호를 받아 위성항법신호를 감시하고 분석하며 위성에 보정정보를 업로드하는 기술로써 위성항법 인프라 구축에 매우 중요한 기술이며 여러 응용분야에 적용할 수 있는 핵심 기술이다. 이 중 한국전자통신연구원에서 개발하고 있는 감시제어시스템은 GPS 및 갈릴레오 항법 위성으로부터 신호 감시 데이터를 수집하여 위성항법 제어센터로 제공하는 기능을 수행하는 소프트웨어 시스템이다. 이 논문에서는 위성항법 지상국의 구성과 감시제어시스템의 목적 및 형상을 소개한 다음, 감시제어시스템의 적용 알고리즘을 소개하고 감시제어시스템의 예비설계를 기술하였다. 감시제어시스템은 데이터 수집, 데이터 포맷팅 및 저장, 데이터 오차 보정, 항법해 결정, 독립 품질 감시, 시스템 운용 및 유지 등의 모듈로 구성되어 있다. 감시제어시스템의 예비설계는 유스케이스 모델, 도메인 설계, 소프트웨어 구조설계, 사용자 인터페이스 구조 설계 과정을 통하여 이루어진다. 각 단계별 설계과정은 UML(Unified Modeling Language) 표준 방식에 따라 이루어졌다. 이 연구에서 설계된 감시제어시스템은 지상국의 운용 능력을 향상시킬 뿐만 아니라 상세설계의 기초자료로 이용될 것이다.

• 한국산학기술학회논문지
• /
• 제19권10호
• /
• pp.410-417
• /
• 2018

현대의 시스템은 지속적으로 대형화, 복잡화되어 왔기 때문에 시스템의 오류 발생 가능성이 커졌다. 시스템의 고장은 안전 사고를 발생시키고, 인명과 재산상의 막대한 피해를 줄 수 있다. 이러한 이유로 미 국방성과 IEC 등의 국제표준기구에서는 시스템의 안전성을 확보하기 위한 안전 관련 국제표준을 제정하였고, 시스템 설계와 안전 활동이 통합적으로 수행되어야 함을 권고하였다. 이에 따라 최근의 연구들은 모델기반 시스템 설계를 진행함과 동시에 모델을 활용하여 시스템의 안전성 검증을 수행하였다. 하지만 시스템 설계를 위한 모델과 안전성 분석 및 검증을 위한 고장모델을 서로 다른 모델링 언어를 기반으로 생성하였기 때문에 시스템 설계와 안전 활동이 통합적으로 수행되지 못하였다. 또한, UML 또는 SysML 기반으로 고장모델을 활용하여 안전 요구사항을 도출한 연구들은 안전 분석 및 검증에 고장모델이 제한적으로 활용되었다. 이와 같은 문제점을 해결하기 위해서 기존의 고장모델 활용법을 확장 시킬 필요가 있다. 우선 시스템 설계와 안전성 검증 활동을 통합적으로 수행할 수 있는 개선된 SysML 기반의 고장모델을 생성해야 한다. 다음으로 이 고장모델을 활용하여 도출된 안전요구사항이 시스템 설계에 제대로 반영되었는지 검증할 수 있어야 한다. 따라서 본 논문에서는 개선된 SysML 기반 고장모델의 개념과 생성 절차를 제시하였고, 자동차 시스템에 대한 고장모델을 생성하였다. 또한, 자동차 시스템의 안전성을 검증하기 위해서 고장모델의 시뮬레이션을 수행하였다. 이를 통해서 개선된 SysML 기반 고장모델을 활용하여 시스템 설계와 안전성 검증 활동을 수행할 수 있음을 보였다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제8권2호
• /
• pp.174-182
• /
• 2002

실시간 시스템이 복잡해짐에 따라 이를 개발하는 과정에서 객체 지향 설계 방법론과 이를 지원하는 CASE 도구들이 널리 사용되고 있다. 그러나 이런 객체 지향 CASE 도구를 사용할 경우, 설계자들은 별도의 과정으로 객체 중심으로 설계된 모델을 실제 수행되는 주체인 태스크로 변환시켜야 한다. 불행하게도 객체 모델과 태스크는 특성이 근본적으로 다르고, 스케줄 가능성을 분석하기가 어렵기 때문에 이러한 과정을 자동화하기는 매우 어렵다. 이 문제를 해결하기 위하여 많은 CASE 도구에서는 개발자가 직접 수동으로 객체를 태스크로 변환시키도록 요구하고 있다. 결과적으로 개발자들은 자신의 경험을 바탕으로 하여 임시 변통적인 방법에 의존하여 태스크를 유도하고 있다. 유도된 태스크 집합은 결과 시스템의 스케줄 가능성에 직접적으로 중요한 영향을 미친다. 본 논문에서는 실시간 객체 지향 설계 모델을 스케줄 가능성을 고려해 다중 스레드 구현으로 자동적으로 변환하는 방법을 제안한다. 본 논문에서 태스크는 다른 주기와 종료시한을 갖는 상호 배타적인 트랜잭션들로 이루어진다. 이러한 새로운 태스크 모델에 대하여 스케줄 가능성 분석 알고리즘을 제시한다. 또한 제안된 방법을 지원하기 위하여 런 타임 시스템과 코드 생성이 어떻게 지원되어야 하는지에 대하여 설명한다. 사례 연구는 단일 태스크 매핑의 부적절성을 보여줌과 함께, 다중 태스크를 수동으로 유도하는 것이 매우 어렵고, 제안된 방법이 실질적으로 유용하다는 것을 명백하게 보여준다.