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

• Journal of Gifted/Talented Education
• /
• v.18 no.1
• /
• pp.53-77
• /
• 2008

This study was conducted with the focus on the process of constructing 3 definition and produced definitions as well as gifted students' conceptions of a mathematical definition In the study, the students made five types of regular polyhedrons (section1), observed them and stated their characteristics (section2) and then constructed a definition of regular polyhedrons based on their observations (section3). We divided students into two groups by analyzing students' definitions. One group made definitions that were consist with a mathematical definition of regular polyhedrons, the other one made definitions that were not. We checked if they fulfilled requirements for a mathematical definition. Researchers sought to gain various suggestions through the analysis of the observations and definition laid down by the students and through the characteristics shown by the students in the process of defining the concept.