• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 2004년도 e-Biz World Conference
• /
• 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
• /
• 제16권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.

• 한국IT서비스학회지
• /
• 제11권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.

• 한국콘텐츠학회논문지
• /
• 제5권5호
• /
• pp.51-58
• /
• 2005

소프트웨어 개발방법이 컴포넌트기반 개발방법으로 진화하고 최근 들어 형상관리 시스템의 도입이 대두되고 있다. 본 논문은 컴포넌트기반 개발방법론에서 발전한 컴포넌트 형상관리를 다루고 컴포넌트 명세는 정규화된 문서인 XML을 기반으로 하고 있다. 컴포넌트 버전관리와 의존관리는 컴포넌트 이름으로 수행하였다. 컴포넌트 의존정보는 컴포넌트 명세가 합성될 때 합성에 사용된 컴포넌트 이름을 사용하여 이를 반영하고 의존정보로 사용하여 명세서를 통한 버전관리와 의존관리의 가능을 확인하였다.

• Asia pacific journal of information systems
• /
• 제14권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.

• 한국국방경영분석학회지
• /
• 제33권1호
• /
• pp.135-155
• /
• 2007

성능형 규격이란 재료, 공정 등의 구체적인 사양에 대한 명시가 없이 최종적인 요구성능, 환경 및 연동되는 부분의 호환성 확보에 대한 규제만을 함으로써 우수한 민수기술의 도입을 통하여 경제적이고 높은 신뢰성을 달성하고자 활용되는 규격으로 이미 선진국에서는 많이 작성되어지고 기존의 상세형 규격의 성능형 규격 전환도 활성화되고 있는 실정이다. 그러나 우리나라의 경우 규격 작성시 성능형으로 작성토록 규정화하고 성능형 규격 작성지침을 마련하는 등 성능형 규격 작성의 활성화에 많은 노력을 기울이고 있으나 현재까지의 작성 및 활용 실적을 보면 매우 미흡한 실정이다. 따라서 성능형 규격의 효과적인 작성/전환을 위하여 시장조사 방안, 무기체계개발 또는 부품국산화에 따른 성능형 규격 작성 방안, 성능형 규격 전환 방안, 성능형 규격 전환을 위한 절차와 방법, 성능형 규격과 상세형 규격의 혼합형태 활용을 제시하였다.

• 품질경영학회지
• /
• 제25권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.

• 한국전자거래학회지
• /
• 제12권2호
• /
• pp.195-217
• /
• 2007

B2B 등록저장소는 효율적인 기업간 전자거래의 지원을 위해서 거래 기업 또는 잠재적 거래 기업들이 거래 관계를 맺는데 필요한 정보들을 등록하고 검색할 수 있는 공간을 제공한다. 비즈니스 프로세스는 B2B 등록저장소의 주요한 콘텐츠 중에 하나인데, 비즈니스 프로세스가 가지는 복잡성과 동적인 특성으로 인해서 표현의 복잡성이 높다. 또한 현재 ebXML BPSS, WSBPEL, BPMN 등 다양한 표현 방식들이 경쟁하고 있다. 본 논문에서는 B2B 등록저장소에 다양한 표현 방식으로 표현된 비즈니스 프로세스 정의를 체계적으로 등록하기 위한 메타데이터 스키마를 제시한다. 제시된 메타데이터 스키마는 다양한 형식으로 표현된 비즈니스 프로세스 정의를 등록할 수 있도록 확장성을 가지며, 재활용의 수준을 전체 비즈니스 프로세스 수준에서 비즈니스 프로세스의 구성요소 수준으로 확대하도록 설계되었다. 제시된 메타데이터 스키마의 유용성을 확인하기 위하여, 대표적인 XML 기반의 비즈니스 프로세스 정의 언어인 ebXML BPSS과 WSBPEL로 표현된 비즈니스 프로세스의 메타데이터 추출을 예시적으로 설명한다.

• 한국정보과학회논문지:시스템및이론
• /
• 제27권3호
• /
• pp.337-344
• /
• 2000

본 논문에서는 다중자원(multiple resource)을 사용하는 시스템의 명세와 검증을 위한 프로세스 대수 ACSMR(Algebra of Communicating Shared Multiple Resources)을 정의한다. ACSMR은 프로세스 대수 기반의 정형기법(formal methods)인 ACSR에 다중자원의 개념을 확장한 것이다. 명세와 검증의 예로 실시간 시스템의 스케줄링 기법의 하나인 Earliest-Deadline-First(EDF)를 멀티프로세서하에서의 시스템의 행동 명세와 다중 포트를 가진 레지스터를 이용한 수퍼스칼라 프로세서의 타이밍 특성과 자원 제한을 묘사하기 위한 명세방법을 제시한다.

• 산업경영시스템학회지
• /
• 제16권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.