• Journal of Information Technology Services
• /
• v.10 no.2
• /
• pp.309-327
• /
• 2011

Even though several methodologies for SOA(Service Oriented Architecture) have been proposed, in practical aspects most of them have some problems since they fail to propose specific policies in definition and identification of a service. This paper proposes a service modeling methodology. SOMO(Service Oriented Modeling using Ontology), which draws proper services in the process of defining and identifying services. SOMO defines a service ontology based on service definition and characteristics in SOA. The service drawing process consists of 3 steps : requirement analysis, service identification, and service definition. SOMO is expected to increase the degree of reuse and facilitates the definition and search of services by using service ontology. In addition, it clearly allows the definition and identification of services, satisfying the user requirements.

• Journal of Educational Research in Mathematics
• /
• v.12 no.4
• /
• pp.557-579
• /
• 2002

The purpose of this study is to find out the problems which are caused when the limit concept of sequences is learned through an intuitive definition and to suggest a way of solving those problems. Students in Korea study the limit concept of sequences through an intuitive definition. They fail to apply the intuitive definition properly to the problems and they are apt to have misconception even though the Intuitive definition is applied properly. To solve these problems, this study examined the develop- mental process of the limit concept of sequences from the Intuitive definition to the formal definition, and looked into the way of students' internalization of the process through a field study. In this study, the levels of the limit concept of sequences possessed by the students at ZPD are as follows; level 0 : Students understand the limit concept of sequences through the intuitive definition. level 1 : Students understand the limit concept of sequences as 'The difference between $\alpha$$_{n}$ and $\alpha$ approaches 0' rather than 'The sequence approaches $\alpha$ infinitely.' level 2 : Students understand the limit concept of sequences through the formal definition. The levels of students' limit concept development were analysed by those criteria. Almost of the students who studied the limit concept of sequences through the intuitive defition stayed at level 0, whereas almost of the students who studied through the formal definition stayed at level 1. Through the study, I found that it was difficult for the students to develop the higher level of understanding for themselves but the teachers and peers could help the students to progress to the higher level. Students' learning ability was one of major factors that make the students progress to the higher level of understanding as the concept was developed hierarchically from Level 0 to Level 2. If you want to see your students get to the higher level of understanding in the limit concept, you need to facilitate them to fully develop understanding in lower levels through enough experiences so that they can be promoted to the highest level.

• 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.

• Communications for Statistical Applications and Methods
• /
• v.18 no.4
• /
• pp.527-535
• /
• 2011

This study proposes a modified definition about $C_{pk}$ based on median as the centering parameter in order to more easily control the process since the mean does not represent any quantile of the asymmetric process distribution. Then we consider an estimate and derive the asymptotic normality for the estimate of the modified $C_{pk}$. In addition, we provide an example with asymmetric distributions and discuss the estimation for the limiting variance that are followed by some concluding remarks.

• 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.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.9 no.4
• /
• pp.167-175
• /
• 2013

This study is the process of making high-definition TV broadcast color correction affects the end result comparison is focus on implement through study. In the production process and the impact on the color Correction in the video as an study for UHD, 4K, 6K video production workflow improvement of an effective program in the present and time and cost in the post production process, color correction for the final video through the production and overcome the failure of further in-efficient color correction study will help you to solve the problem. This study is the color changes over the course of the final video to see how much influence color correction of post-production. Color correction using a program of courses in Visual quality, regularly presented the possibility to retain and make on high definition video production post-production process for color correction method is utilized as the basis of 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.(')

• The Mathematical Education
• /
• v.47 no.3
• /
• pp.373-386
• /
• 2008

In highschool probability education, this study analyzed conflicts between intuitive concept and formal definition which originates from the process of establishing the concept of statistical independence. In judging independence, completely different types of problems requiring their own approach was analyzed by dividing them into two types. By doing so, this study researched a way to view independence as an overall idea. That is purposed to suggest a solution to a conflicts between intuitive concept and formal definition and to help not to judge independence out of wrong intuition. This study also suggests that calculation process which leads to precise perception of sample space and event be provided when we prove independence by expressing events with assembly symbols.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.3
• /
• pp.1702-1721
• /
• 2019

A workflow process (or business process) management system helps to define, execute, monitor and manage workflow models deployed on a workflow-supported enterprise, and the system is compartmentalized into a modeling subsystem and an enacting subsystem, in general. The modeling subsystem's functionality is to discover and analyze workflow models via a theoretical modeling methodology like ICN, to graphically define them via a graphical representation notation like BPMN, and to systematically deploy those graphically defined models onto the enacting subsystem by transforming into their textual models represented by a standardized workflow process definition language like XPDL. Before deploying those defined workflow models, it is very important to inspect its syntactical correctness as well as its structural properness to minimize the loss of effectiveness and the depreciation of efficiency in managing the corresponding workflow models. In this paper, we are particularly interested in verifying very large-scale and massively parallel workflow models, and so we need a sophisticated analyzer to automatically analyze those specialized and complex styles of workflow models. One of the sophisticated analyzers devised in this paper is able to analyze not only the structural complexity but also the data-sequence complexity, especially. The structural complexity is based upon combinational usages of those control-structure constructs such as subprocesses, exclusive-OR, parallel-AND and iterative-LOOP primitives with preserving matched pairing and proper nesting properties, whereas the data-sequence complexity is based upon combinational usages of those relevant data repositories such as data definition sequences and data use sequences. Through the devised and implemented analyzer in this paper, we are able eventually to achieve the systematic verifications of the syntactical correctness as well as the effective validation of the structural properness on those complicate and large-scale styles of workflow models. As an experimental study, we apply the implemented analyzer to an exemplary large-scale and massively parallel workflow process model, the Large Bank Transaction Workflow Process Model, and show the structural complexity analysis results via a series of operational screens captured from the implemented analyzer.

• Management & Information Systems Review
• /
• v.5
• /
• pp.33-59
• /
• 2000

Problem definition is as important as problem solving in decision making. Decision makers, however, tend to see problem partly or to define it unclearly. The researchers on decision making tend to lay a focus only on the Process of solving the given problem. This dissertation empirically studied the Problem diagnosis and definition in the decision making process. This study developed three kinds of DSS(Decision Support System) for the research and analyzed the effectiveness of the problem diagnosis and definition using DSS developed in this study. The three kinds of DSS are K-T(Kennel and Tregoe) DSS which is a method of table-styled information Presentation, and F-N(Fact-Net) DSS and C-E(Cause and Effect) DSS which are methods of graphic-styled information presentation. The empirical study was conducted twice; the pilot test and the main test. The samples of experiment are 218 students for the pilot test and 259 students for the main test. The author used K-T DSS and F-N DSS for the pilot test, and the revised K-T DSS and C-E DSS for the main test. A questionnaire survey method was included in the main test process The result of the study shows that the group using DSS in problem diagnosis and definition is more effective than the group not using DSS. A table-styled information presentation DSS, K-T, turns out more effective than a graphic-styled information presentation DSS, F-N, K-T DSS and C-E DSS showed no significant differences in the effectiveness in the main test. These results indicate that the use of DSS in the stage of problem diagnosis and definition is very effective and the methods and types of system design are a significant factors for DSS development.