• Journal of KIISE:Software and Applications
• /
• v.32 no.6
• /
• pp.473-485
• /
• 2005

UML activity diagram is useful to model business process and workflow by reason of its suitability to present dynamic aspect of system. However it Is difficult to present precise semantics which is taken as important in workflow system with the guide provided by OMG to the UML activity diagram. This paper suggests workfolw system modelling methodology by applying ASM semantics to the activity diagram after extending its semantics to correspond to workflow system characteristics. Through the exact definition to formal semactics based on ASM it is possible to effectively model workflow.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.331-333
• /
• 2003

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

• Journal of KIISE:Software and Applications
• /
• v.32 no.6
• /
• pp.486-501
• /
• 2005

XPDL is a XML-based language for process definition exchange that is proposed by WfMC. This paper propose a model which model XPDL document structure (Schema) using UML in order to define and to exchange workflow process, and make business flow understanding ease for inter-business cooperation. So, we define mapping rules in which map XPDL documents into UML class diagram and UML activity diagram. By these mapping rules, elements composing XPDL process meta-model are mapped into UML class diagram, and process activities are mapped into UML activity diagram. Also, we apply proposed mapping technique to model a workflow of (')Credit card state check system.(')

• Journal of the Korea Computer Industry Society
• /
• v.6 no.3
• /
• pp.551-558
• /
• 2005

Although OMG gives a textual semantics for UML activity diagrams, some ambiguities can be caused due to the lack of rigorous semantics. That is to say it is difficult to present precise semantics which is taken as important in workflow system with the guide provided by OMG to the n activity diagram. In this paper, the alternative approach of using Abstract State Machine(ASM) to formalize UML activity diagrams is presented. It suggested that ASM semantics is extended corresponding the workflow system characteristics.

• KIISE Transactions on Computing Practices
• /
• v.22 no.1
• /
• pp.32-37
• /
• 2016

In model-based testing using sequence diagrams, test cases are automatically derived from the sequence diagrams. For the generation of test cases, scenarios need to be found for representing as a sequence diagram, and to extract test paths satisfying the test coverage. However, it is hard to automatically extract test paths from the sequence diagram because a sequence diagram represents loop, opt, and alt information using CombinedFragments. To resolve this problem, we propose a transformation process that transforms a sequence diagram into an activity diagram which represents scenarios as a type of control flows. In addition, we generate test cases from the activity diagram by applying a test coverage concept. Finally, we present a case study for test cases generation from a sequence diagram.

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

본 논문에서는 UML 다이어그램으로부터 시맨틱 웹 서비스 기술 표준인 OWL-S문서를 생성하는 방법을 제안한다. 특히 온톨로지의 기술을 위해 클래스 다이어그램을 사용하고, 프로세스의 흐름을 기술하기 위해 시퀀스 다이어그램 및 액티비티 다이어그램을 사용한다. 제안된 방법은 UML 모델의 재사용 및 기존 연구들이 처리하지 못하는 복합프로세스의 생성이 가능하다는 장점을 가진다.

• Journal of KIISE
• /
• v.43 no.9
• /
• pp.1015-1025
• /
• 2016

Currently, software testing is becoming increasingly important in the industrial field and a large body of research supports the improvement of efficient software testing. Model-based testing is generally used to formalize user requirement data for test design. Complex system that includes loop and concurrency has a high probability of path explosion problem. Specially, as threads are added to concurrency, test scenarios have also increased exponentially. However, it is difficult to solve this problem using existing techniques. In this paper, we propose novel path-search technique that focuses on behavioral features of concurrency path in order to avoid path explosion problem. A system that contains concurrent paths is represented by activity diagram in case study section. Efficiency of our study is shown through comparison with several generated test scenarios of other studies. The result indicate that our approach is efficient for finding faults in loop and concurrency with fewer test scenario.

• Korean Institute of Interior Design Journal
• /
• v.15 no.1 s.54
• /
• pp.20-29
• /
• 2006

The concept of a 'place' in contemporary cities has been fundamentally challenged by the social, economical changes as well as the global digital network. The complex and multi-layered contemporary everyday life blur the boundaries of the existing architectural programs. In contemporary architecture, various proposals have attempted to overcome the physical limitations. 'Activity Diagram' is one of them. Activity diagram is a diagrammatized design process In which the given program is analyzed into individual activities, then it is re-organized and finally spatialized based on the analysis. In many projects by Manuel Gausa, Ben Van Berkel and Vicente Guallart, the activity diagram is applied in various forms and they are explained with theoretical backgrounds. Based on how the given program is re-organized into assembly of activities and how diagram is applied, five analytical elements were selected to critically analyze three chosen architects' case projects. In this study, it is found that architects attempt to construct an open networked world where diverse activities are freely interconnected in spite of some fundamental limitations of activity diagrams.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11b
• /
• pp.701-704
• /
• 2003

약 만여개의 벤처기업 정보를 획득하여 분석, 분류와 필요한 데이터 필드를 정의하였다. 필드 정의는 구축할 데이터베이스의 기업정보로서 기업주요정보와 기업부가정보로 나누어 시스템을 설계하였다. 설계 시, 사용자 요구사항 분석은 객체지향 설계 기법을 적용하여 사용자 입장에서 본 시스템의 행동을 나타내는 유즈케이즈 다이어그램을 작성하였고 시스템의 동적인 측면을 활동의 순차적인 흐름 및 제어 흐름으로 표현한 액티비티 다이어그램을 만들었다. 기업의 TLO 기술분야와의 연결을 위하여 TLO 기술 데이터베이스 분석을 수행하였으며 데이터베이스 모델링은 요구사항 분석, 개념적 데이터베이스 모델링, 논리적 데이터베이스 모델링, 물리적 데이터베이스 모델링을 수행하였다. 그리고 웹 기반의 사용자 서비스 구현은 기업정보관리 기능, 기업정보검색 기능, 데이터베이스관리 기능, 사용자관리 기능, 환경설정 기능, 정보도우미 기능을 수행할 수 있게 시스템을 구축하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.04a
• /
• pp.564-566
• /
• 2015

안드로이드 어플리케이션은 인텐트를 이용하여 다른 어플리케이션의 컴포넌트를 실행시킬 수 있다. 이러한 상호작용이 정상적으로 호출되거나 처리되지 않으면 기대한 컴포넌트가 실행되지 않는 등의 문제점이 발생할 수 있다. 본 논문에서는 이와 같은 어플리케이션간의 상호작용 문제점을 검사하기 위해 어플리케이션들의 소스코드와 매니페스트 파일로부터 컴포넌트 다이어그램과 인텐트 목록을 각각 추출하여 결합된 액티비티 다이어그램을 생성하고 이로부터 테스트 시나리오를 생성하는 기법을 제안한다.