• Proceedings of the CALSEC Conference
• /
• 2004.02a
• /
• pp.318-326
• /
• 2004

The ebXML (Electronic Business using eXtensible Markup Language) Specification Schema is to provide nominal set of specification elements necessary to specify a collaboration between business partners based on XML. As a part of ebXML Specification Schema, BPSS (Business Process Specification Schema) has been provided to support the direct specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPSS is available in two stand-alone representations, a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, current ebXML BPSS specification is insufficient to specify formal semantic constraints of modeling elements completely. In this study, we propose a classification schema for the BPSS semantic constraints and describe how to represent those semantic constraints formally using OCL (Object Constraint Language). As a way to verify a Business Process Specification (BPS) with the formal semantic constraint modeling, we suggest a rule-based approach to represent the formal constraints and to use the rule-based constraints specification to verify BPSs in a CLIPS prototype implementation.

• Journal of the Korean Data and Information Science Society
• /
• v.16 no.4
• /
• pp.943-949
• /
• 2005

An economic design of specification limits for production process of ham is considered for a given process mean in a complete inspection plan. Each ham is inspected, and if it meets the specification, it is accepted. The ham less than the lower specification limit are changed another products or at a discounted price, and those greater than the upper specification limit are reworked. A profit model is developed which involves selling price, production cost, rework cost and the cost which is incurred by imperfect quality. Methods for finding the optimal specification limits are derived for the case of piecewise linear loss function with an industrial case study.

• Journal of Information Technology Services
• /
• v.11 no.2
• /
• pp.275-289
• /
• 2012

Although the specification of packaging box is one of the most important process to be considered before deciding cost in terms of production and logistics, there are no efficient services in our country at this time as such the making decision only through the empirical knowledge. In this research, we have developed the packaging specification design system based on the web online packaging IT service. The developed system was advanced from the existing-inefficient process of deciding the specification of packaging box, and which can decide the specification of packaging box considering the efficiency of logistics through use of IT based tool. Therefore, this study shows applied cases of normalized packaging process through the obtained packaging design simulation program. The packaging specification design system can provide the simulation and user interface. Those could calculate the specification of packaging box(packaging box size, packaging box quantity, packaging box pattern, packaging compressive strength, packaging cost etc.) considering the efficiency of logistics.

• The Journal of the Korea Contents Association
• /
• v.5 no.5
• /
• pp.51-58
• /
• 2005

Software development process evolves by component based development(CBD) process and introduction to configuration management system is risen recently. In this paper, we explained component configuration management system evolved out of CBD methodology and focused on the specification management in component configuration management. The component specification is being based on XML that is a normalization document. Also, component version management and dependency management are achieved by a component name. And component dependency information is just the integration information using a component specification name used in the composition when component specification is composed. Thus we confirmed possibility of version management and dependency management using the specification.

• Asia pacific journal of information systems
• /
• v.14 no.1
• /
• pp.79-100
• /
• 2004

As a part of ebXML(Electronic Business using eXtensible Markup Language) framework, BPSS(Business Process Specification Schema) has been provided to support the direct specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPS,' is available in two stand-alone representations, a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, current ebXML BPSS specification fails to specify formal semantic constraints completely. In this study, we propose a constraint classification scheme for the BPSS specification and describe how to formally represent those semantic constraints using OCL(Object Constraint Language). As a way to validate p Business Process Specification(BPS) with the formal semantic constraints, we suggest a rule-based approach to represent the formal constraints and demonstrate its detailed mechanism for applying the rule-based constraints to the BPS with a prototype implementation.

• Journal of the military operations research society of Korea
• /
• v.33 no.1
• /
• pp.135-155
• /
• 2007

A performance specification states requirements in terms of the required results, such as performance, environment and interchangeability, but without stating the methods for achieving the required results, such as material and process. therefore the performance specification is applied to attain economic efficiency and high reliability by using the advanced commercial Technology for the weapon systems and The development of performance specification and conversion into performance specification have been activated in the advanced nations. The Ministry of National Defence of Korea has regulated the specification to make performance type in developing specification and prepared performance specification guide. but the result of the development of and conversion into performance specification is very unsatisfactory, To efficiently develop and convert into performance specification, this study gives the way of market research, the creation of the performance specification from development of weapon system and part localization, the process and method for conversion of detail specification into performance specification, the use of hybrid type of performance and detail specification.

• Journal of Korean Society for Quality Management
• /
• v.25 no.4
• /
• pp.57-70
• /
• 1997

Consider a production system where all manufactured products are screened through automatic inspection equipment. The products for which the measured value of quality characteristic is larger than the lower screening specification limit (SL) and smaller than the u, pp.r screeing specification limit(SU) are accepted. Those smaller than SL are reworked and those larger than SU are excluded from the process. Assuming that the quality characteristic is normally distributed with known variance, this paper suggests cost models which involve inspection cost, production cost, rework cost, exclusion cost and quality cost, and presents the methods of finding the optimal values of the screening specification limits and the process target. Numerical example is given to demonstrate the a, pp.icability of the cost models suggested in this paper.

• The Journal of Society for e-Business Studies
• /
• v.12 no.2
• /
• pp.195-217
• /
• 2007

B2B registries provide spaces to register and retrieve information which is necessary to support B2B transactions among business partners or potential business partners. Business process specifications are one of important contents in B2B registries, and there is high complexity of representation due to complex and dynamic characteristics of business processes. Also, currently there exist several competing specification frameworks such as ebXML BPSS, WSBPEL, BPMN, and so on. This paper proposes a metadata schema to register business process specifications which are represented by different specification frameworks. The proposed schema has extensibility to register business process specifications which are represented by various different specification frameworks. Also, it extends reuse level from whole business specification processes to their components. To show the usefulness of the proposed schema, this paper demonstrates metadata extraction from business process specifications which are represented by two representative XML-based business process specification languages, ebXML BPSS and WSBPEL.

• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.3
• /
• pp.337-344
• /
• 2000

In this paper, we define a Process Algebra ACSMR(Algebra of Communicating Shared Multiple Resources) for system specification and verification using multiple resources. ACSMR extends a concept of multiple resources in ACSR that is a branch of formal methods based on process algebra. We'll show that two specification and verification examples. One is the specification of system behavior in multiprocessor using EDF(Earliest-Deadline-First) which is a scheduling algorithm of a real-time system. The other is the specification of describing timing analysis and resources restriction in a super scalar processor using multiple ports registers.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.16 no.28
• /
• pp.173-180
• /
• 1993

This paper is to propose the procedure for improving the level of product specification in statistical process control using loss function. The procedure proposed in this paper is extended to the Taguchi's Quality engineering concept This procedure will be useful in establishing product specification. This paper is aimed to provide customer satisfaction for consumer and quality management for producer.