• Journal of Korea Society of Industrial Information Systems
• /
• v.15 no.5
• /
• pp.149-158
• /
• 2010

A messenger program in this paper was designed and implemented using Use Case Diagram, Class Diagram, Activity Diagram, and Sequence Diagram. We selected total 7 major functionalities such as PC server, login, friends management, chatting, file transfer, account management, etc. The followings are various implementation results from this paper. First, developers could easily understand the desired product and programming flow from using UML Diagrams. Second, PDA users could communicate with developers for a long time without time constraints. Third, there was high usability of UML Diagram in the phase of objected-oriented analysis. Forth, it was easy to update and maintain a program.

• IE interfaces
• /
• v.16 no.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.

• 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.(')

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

Currently there are a variety of different tools may be used to analyze, model, describe and document a business process. However, it is difficult to exchange the information of a business process created in different tools because of the distinct information formats used in different tools. The XML Process Definition Language (XPDL) of the Workflow Management Coalition (WfMC) forms a common interchange standard that enables products to continue to support arbitrary internal representations of process definitions with an import/export function to map to/from the standard at the product boundary. Generally a business process model can be represented by the UML activity diagram, but there is a difficult task to directly generate an XPDL document from a business process model represented by the standard activity diagram. In the paper we will propose an approach to generate an XPDL document from a business process model represented by the extended UML activity diagram.

• IE interfaces
• /
• v.17 no.2
• /
• pp.200-207
• /
• 2004

Because the designed workflow may contain potential errors which may result in deadlocks, livelocks and so on, it is important to analyze the correctness of a workflow definition before it is put into the run time environment. Proposed in this paper is a transformation procedure of an UML activity diagram into a Petri net for the analysis of a workflow. By combining the strengths of easy-to-use functionality of an activity diagram and the analysis power of a Petri net, workflow analysts in the enterprise can model and analyze various kinds of workflow definition more easily and accurately.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.18 no.3
• /
• pp.633-652
• /
• 2024

Software testing is an important phase as it ensures the software quality. The software testing process comprises of three steps: generation, execution, and evaluation of test cases. Literature claims the usage of single and multiple 'Unified Modeling Language' (UML) diagrams to generate test cases. Using multiple UML diagrams increases test case coverage. However, the existing approaches show limitations in test case generation from UML diagrams. Therefore, in this research study, we propose an approach to generate the test cases using UML State Chart Diagram (SCD), Activity Diagram (AD), and Sequence Diagram (SD). The proposed approach transforms UML diagrams into intermediate forms: SCD Graph, AD Graph, and SD Graph respectively. Furthermore, by integrating these three graphs, a System Testing Graph (STG) is formed. Finally, test cases are identified from STG by using a traversal algorithm such as Depth First Search (DFS) that is an optimization method. The results show that the proposed approach is better compared to existing approaches in terms of coverage and performance. Moreover, the generated test cases have the ability to detect faults at the unit level, integration, and system level testing.

• 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.04c
• /
• pp.112-114
• /
• 2003

In order to survive in today's competitive world, understanding the business process and how it works can be a key to success. Visualization improves understandability of business process for developers, and accompanies modeling. There are two modeling methods that are often used in the industry - standard BPMN (Business Process Modeling Notation) and UML activity diagram. This paper shows whether the activity graph of UML 2.0 draft can support business process modeling or not through comparing it with the BPMN features.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2003.05a
• /
• 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.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.15 no.7
• /
• pp.2476-2495
• /
• 2021

Model-based software architecture verification and test scenarios generation are becoming more and more important in the software industry. Based on the existing temporal graph grammar, this paper proposes a new formalization method of the context-sensitive graph grammar for aiming at UML activity diagrams, which is called the UML Activity Graph Grammar, or UAGG. In the UAGG, there are new definitions and parsing algorithms. The proposed mechanisms are able to not only check the structural correctness of the UML activity diagram but also automatically generate the test scenario according to user constraints. Finally, a case study is discussed to illustrate how the UAGG and its algorithms work.