• 제어로봇시스템학회:학술대회논문집
• /
• 1992.10a
• /
• pp.887-891
• /
• 1992

In this study, it is developed the interactive DNC(Direct Numerical Control) system, in using RS-232C cable and auxiliary computer, through the diagnosis of planning process and information evaluation. this DNC system recognize the Manufacturing planning and control it. This DNC system has a different notation. It can be done by an operator who hasn't knowledge about personnel computer. It is operated with automatic planning and measurement tec. by operator, using part program on the NC(Numerical Control).

• Journal of Korean Vacuum Science & Technology
• /
• v.7 no.1
• /
• pp.18-22
• /
• 2003

The optogalvanic effect is proposed and demonstrated as a technique for Penning ionization in a discharge of mixtures of metal vapors and rare gases. The gadolinium and argon mixture is used as a prototype. The lowest metastable of argon, 3P$_2$ (ls$\_$5/ in Paschen notation) at 93144 cm$\^$-1/, is within kT from the excited states of Gd ion. Thus Penning ionization occurs to an excited states of the ion. This process strongly alters the optogalvanic signal and has its own signatures.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2006.05a
• /
• pp.226-234
• /
• 2006

기업 활동의 근간을 이루는 비즈니스 프로세스들을 투명하게 관리하고 통제하기 위해 국내외 많은 기업들이 비즈니스 프로세스 관리(BPM: Business Process Management) 시스템을 도입하고 있다. 본 논문에서는 프로세스 모델링 및 표기법 측면에서 BPMN(Business Process Modeling and Notation), 프로세스 실행과 운영 측면에서 BPEL(Business Process Execution Language), 모니터링과 통제 측면에서 BPQL(Business Process Query Language)을 표준의 개요와 표준화 현황을 제시하였다. 또한, BPM 솔루션 공급업체들의 유형을 분류해 보고, 각 공급업체 유형별 장단점 분석을 기초로 BPM 표준을 자사 솔루션 개발에 적용하고자 하는 기업들에게 유용한 표준 도입 전략을 제시하였다.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2002.10a
• /
• pp.211-218
• /
• 2002

An entity-based integrated design product and process model uses product and process entities to describe design information and design activities, respectively. The concepts and notation for product and process entities in the entity-based integrated design model are similar to the concepts of object-oriented programming languages such as C++ and Smalltalk. This paper uses C++ to program an entity-based integrated design model for building frames structures. The design information and activities involved in the three dimensional building space, the locations of frames, and the grouping of frames represented as entities in the entity-based integrated design model are transformed to C++ codes. Each product or process entity can be basically transformed to an class. The attributes of an entity can be defined as variables and member functions of a class.

• TTA Journal
• /
• s.88
• /
• pp.105-120
• /
• 2003

본 논문은 워크플로우 기술의 표준화 및 기술 동향을 소개하는 세 번의 연재* 중 그 세 번째인 마지막 내용으로 지난 호에서 소개한 비즈니스 프로세스 관리(Business Process Management: BPM) 기술과 이의 기반기술인 워크플로우 관리기술과 연관된 국내외 표준화 기구와 그들의 활동 내용에 관하여 기술한다. 특히, 비즈니스 프로세스 관리 기술의 국제표준화 기구인 BPMI(Business Process Management Initiative)와 워크플로우 관리 기술의 국제표준화 기구인 WfMC(Workflow Management Coalition)는 최근에 웹서비스나 B2B 기술 등의 비즈니스 프로세스 관련 단일화된 표준안을 개발하고자 여러 번에 걸친 합동회의를 개최해오고 있어 이 합동회의에서 진행되고 있는 표준안 개발 활동 내용을 소개한다. 특히, 워크플로우 모델링 표준 언어인 XPDL(XML Process Definition Language)과 비즈니스 프로세스 모델링 언어인 BPMN(Business Process Modeling Notation) 그리고 대표적인 워크플로우 모델로서 연구분야에서 많이 이용되고 있는 ICN(Information Control Net)을 확장한 Kyonggi-ICN의 상호 매핑관계를 요약정리한다. 끝으로, 현재 국내의 워크플로우 기술관련 표준화기구인 한국정보통신기술협회 산하 표준화위원회인 워크플로우기술연구반의 표준화 활동과 이번에 새로이 정보통신부 표준화전략포럼중의 하나로 창립된 워크플로우 및 비즈니스 응용기술포럼(약칭 WABA 포럼: Workflow and Business Applications Technology Forum)을 소개한다.

• 한국IT서비스학회:학술대회논문집
• /
• 2008.05a
• /
• pp.529-534
• /
• 2008

국제 전자거래 표준 언어인 ebXML은 비즈니스 프로세스의 모델링과 구현이 독립되어 있다. 특히 ebXML의 비즈니스 프로세스 구현 언어는 UML (Unified Modeling Language)기반의 BPSS (Business Process Specification Schema)에서 BPMN (Business Process Modeling Notation)기반의 ebBP (ebXML Business Process Specification Schema)로 변경되었다. ebXML은 단일화된 e-비즈니스 시장의 형성을 목표로 하고 있다. 따라서 ebBP가 비즈니스 프로세스 모델링으로 표현되는 다양한 업무 흐름을 지원 할 수 있는지 ebBP의 코레오그라피(Choreography) 표현 능력을 평가하는 것은 중요한 문제이다. 본 논문에서는 ebBP의 표현력을 워크플로우 패턴 입장에서 기존의 BPSS와 비교한다. 이 분석을 토대로 비즈니스 프로세스 모델에서 ebBP로 변환하는 방법을 제시한다.

• Journal of the Korean Society of Systems Engineering
• /
• v.19 no.1
• /
• pp.29-38
• /
• 2023

Independent Safety Assessment (ISA) is a third-party assessment that is to confirm that the system satisfies the safety requirements in the defined operational context. The process of this assessment often brings about many complex arguments that should be supported by evidence and justification. The communication between arguments and evidence is of the most importance in the context of safety case. This study illustrates how NOR-STA can be used for ISA process, showing the effective structure of safety compliance. The study outlines the steps to breaks down the top goal into many elements such as arguments, sub-goals, justification, context and assumptions. It concludes that the evidence-based safety conformance process utilizing NOR-STA provides a more effective and systematic representation of the independent safety assessment process in conformance cases.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.11 no.2
• /
• pp.1217-1233
• /
• 2017

Effective monitoring and testing during each step are essential for document verification in research and development (R&D) projects. In software development, proper testing is required to verify it carefully and constantly because of the invisibility features of software. However, not enough studies on test processes for R&D projects have been done. Thus, in this paper, we introduce a Test Maturity Model integration (TMMi)-based software field R&D test process that offers five integrity levels and makes the process compatible for different types of projects. The Software & Systems Process Engineering Metamodel (SPEM) is used widely in the software process-modeling context, but it lacks built-in enactment capabilities, so there is no tool or process engine that enables one to execute the process models described in SPEM. Business Process Model and Notation (BPMN)-based workflow engines can be a solution for process execution, but process models described in SPEM need to be converted to BPMN models. Thus, we propose an approach to support enactment of SPEM-based process models by converting them into business processes. We show the effectiveness of our approach through converting software R&D test processes specified in SPEM in a case study.

• The KIPS Transactions:PartD
• /
• v.14D no.4 s.114
• /
• pp.435-446
• /
• 2007

B2B registries are information systems to register B2B related business information such as companies' profiles, business documents, business processes, and services and to provide query facilities to find information about potential business partners. Focusing on the design of the registry for B2B business processes, in this paper, a metadata ontology is designed to register B2B business processes. In practice, there are several competitive business process definition languages such as ebXML BPSS (Business Process Specification Schema), WSBPEL (Web Service Business Process Execution Language), BPMN (Business Process Modeling Notation), and so on. In order to register heterogeneous business processes based on different representation frameworks, the proposed metadata ontology consists of three layers, common metadata, language-specific metadata, and interrelationship metadata. To show the usefulness of the proposed metadata ontology, two examples which are represented by ebXML BPSS and WSBPEL respectively are described in order to show how the proposed metadata ontology is used to registry B2B business processes. To implement the proposed metadata ontology using ebXML registry, metadata mapping scheme to ebRIM (ebXML Registry Information Model) is also suggested.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2001.10a
• /
• pp.425-434
• /
• 2001

In this paper we introduce a general framework for the modeling, analysis and costing of logistic networks including supply chains (SCs). The employed modeling notation, the so-called Process Chain paradigm, is specifically developed for the application field of logistic networks which includes SCs. We view SCs as discrete event dynamic systems (DEDS) and apply corresponding simulative techniques in order to derive performance measures of the Process Chain model under investigation. For this purpose Process Chain models are automatically transformed into the input language of the simulation tool HIT. Subsequently, a cost accounting model using the performance measures is applied to obtain costs which are actually subject of interest. The usefulness and applicability of the approach is illustrated by a typical supply chain example. We investigate the impact of an additional SC channel between a manufacturer and web-consumers on the overall supply chain costs.