• Journal of KIISE
• /
• v.43 no.3
• /
• pp.314-326
• /
• 2016

Some process algebras were applied to enterprise business modelling for formal specification and verification. ${\pi}$-calculus and mobile ambient can be considered for the distributed and mobile, especially to represent the movements of distributed real-time business processes. However there are some limitations to model the movements: 1) ${\pi}$-calculus passes the name of port for indirect movements, and 2) mobile ambient uses ambient to synchronize asynchronous movements forcefully. As a solution to the limitations, this paper presents a new process algebra, called ${\delta}$-calculus, to specify direct and synchronous movements of business processes over geo-temporal space. Any violation of safety or security of the systems caused by the movements can be indicated by the properties of the movements: synchrony, priority and deadline. A tool, called SAVE, was developed on ADOxx metamodelling platform to demonstrate the concept.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.825-826
• /
• 2009

서비스 지향 아키텍처(Service-Oriented Architecture)의 특징은 비즈니스와 IT 간의 차이를 줄여 일관성을 유지함으로써 급변하는 비즈니스 환경하에서 기업의 IT 서비스가 민첩하게 대응할 수 있도록 하는 것이다. 이러한 SOA의 특징을 만족시키기 위해서 서비스를 식별하는 시작점으로 비즈니스 프로세스가 무엇보다 중요하다고 할 수 있다. 하지만 비즈니스 프로세스를 분석하여 IT 관점의 서비스를 식별하기 위한 구체적인 절차, 활동, 산출물을 제시하는 방법에 관한 연구가 미흡한 실정이다. 본 논문에서는 BPMN을 이용한 비즈니스 프로세스 모델로부터 IT 관점인 유스케이스 모델을 도출하여 서비스를 식별하기 위한 구체적인 방법을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06c
• /
• pp.435-438
• /
• 2008

본 논문은 기업 온톨로지를 기반으로 하는 비즈니스 프로세스 컨설턴트 시스템(BUPCO)의 설계를 기술한다. BUPCO 시스템은 사용자 인터페이스, 프로세스 표현 도구, 프로세스 평가 도구, 프로세스 분석 도구, 워크플로우 영향분석 도구, 프로세스 시각화 도구로 구성된다. 그 기반에 기업의 프로세스 지식을 표현하기 위해 기업 온톨로지를 구축하고 온톨로지 추론을 위한 프롤로그 추론기를 개발하였다. BUPCO 시스템은 기업 업무 환경의 변화에 빠르게 적응할 수 있는 최적의 프로세스 개선안을 제공하는 것을 목적으로 한다. 이 시스템을 통해 기업은 내부의 각종 비효율성을 제거하고 프로세스와 자원을 최적화함으로써 기업의 경쟁력을 제고시킬 수 있을 것이다.

• 한국IT서비스학회:학술대회논문집
• /
• 2007.05a
• /
• pp.203-209
• /
• 2007

그동안 많은 솔루션 벤더들이 다양한 이기종 시스템들의 느슨한 연결 및 유연한 서비스 중개, 용이한 확장성까지 두루 갖춘 통합된 비즈니스 지원플랫폼 모델을 제시해 왔다. 최근 표준 웹서비스 기술과 SOA(Service Oriented Architecture) 개념이 확산되면서, 이를 ASP비즈니스의 서비스 어플리케이션 통합 및 비즈니스 프로세스 통합에 적용하는 사례도 증가하고 있다. KT는 현재 상용서비스 중인 ASP비즈니스 'bizmeka' 의 현황을 분석하고, 시장을 예측하여 다양한 경우의 비즈니스 프로세스들을 모듈화 및 웹서비스화한 후, 이를 메시지 라우팅 및 워크플로우 기능을 통해 실행하는 구조의 SOA 기반 ASP비즈니스 지원플랫폼을 개발하고 있다. 본 논문에서는 ASP비즈니스 지원플랫폼 구축의 기반 기술로서 SOA 및 관련 기술에 대해 살펴보고, KT가 개발 중인 플랫폼의 개념과 모델, 설계 및 구현 내용 등을 소개한다.

• The KIPS Transactions:PartD
• /
• v.10D no.3
• /
• pp.471-488
• /
• 2003

A web-based information system, that is a dominant type of information systems, suffers from the “web crisis” in development and maintenance of the system. To cope with the problem, a technology of reengineering to web-based business process, which is one of web engineering, is strongly needed. In this paper, we propose a BPN(Business Process Net) model and reengineering guides along with an application example, which are used for modeling web-based business processes and migrating to web-based information system. BPN model is a type of not only a Beta-distributed stochastics Petri net, but also an executable Activity diagram. BPN is modeled by using the Use Case analysis method and the Beta-distribution. The later is used for the purpose of modeling the uncertainty of execution time and cost of a business process. BPN model and reengineering heuristics might be used as a formal common model for business process specification languages, and analysis and design method for Web-based Information system, respectively.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.11a
• /
• pp.241-244
• /
• 2011

유비쿼터스 환경에서는 무선 네트워크 연결의 불안정으로 발생되는 비즈니스 프로세스의 부분 연결문제를 관리하는 네트워크 상황정보와 개인 취향 정보, 사무 환경 정보들을 지능적으로 취합, 상황분석, 및 관리하는 서비스 개발이 요구된다. 본 논문에서는 비즈니스 프로세스의 유연한 상황정보 추론을 위하여 온톨로지 기반 상황인식 구조인 상황인식 추론 시스템을 제안하였다. 가상공간에 대한 구조를 정의하고 재사용이 가능한 컴포넌트로 일반적인 상황인식 메커니즘을 제공함에 따라 어플리케이션 개발 시 가상공간에서 상황인식 어플리케이션 구현에 대한 비용을 절감하고 복잡성을 줄여 확장성을 갖게 되었다.

• Journal of Korea Society of Industrial Information Systems
• /
• v.15 no.3
• /
• pp.77-92
• /
• 2010

The purpose of this study is to explore how IT routines influence firm performances. To do this, a research model are proposed which includes 5 constructs: firm performance, business process performance, IT infrastructure flexibility, IT personnel knowledge, and IT routines. It is presumed that the IT routines enhance other IT capabilities (IT infrastructure flexibility and IT personnel knowledge) and subsequently business process performance which in turn influence firm performance. Then, with 243 firm level data, the proposed dynamics were empirically validated and tested using PLS. The study result revealed that all the routes proposed in the model are statistically significant.

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06c
• /
• pp.66-71
• /
• 2010

BPMS, ERP, SCM 등 프로세스 인식 정보시스템들이 널리 쓰이게 되면서 프로세스 마이닝에 대한 연구가 활발하게 이루어지고 있다. 프로세스 마이닝은 프로세스가 실행되는 동안 저장된 이벤트 로그로부터 정보를 추출하는 기법이다. 추출된 로그정보는 비즈니스 프로세스의 분석 및 재설계에 사용될 프로세스 모델을 생성하게 된다. 프로세스 마이닝 기법은 프로세스의 자동화 및 기업의 업무정보들을 관리하는 프로세스 기반 정보시스템의 정확성 및 효율성을 위한 중요한 부분을 차지하지만 현재까지의 연구는 생성된 이벤트 로그로부터 프로세스 모델을 재설계하는 프로세스 발견 기법 (Process Discovery Technique)을 적용한 부분에서만 활발히 진행되었다. 프로세스 마이닝은 프로세스 발견 기법 외에도 프로세스 적합성검사 기법 (Process Conformance Checking Technique) 및 프로세스 확장 기법 (Process Extension Technique)이 존재한다. 이들은 많은 프로세스 발견 기법에 대한 연구들이 진행되고 나서야 최근 프로세스 마이닝의 이슈로 떠오르고 있다. 본 논문에서는 프로세스 적합성 검사를 위해 수집된 이벤트 로그와 기존에 나와 있는 여러 가지 프로세스 발견 알고리즘을 통해 생성된 프로세스를 수치적으로 비교할 수 있는 두 가지 애트리뷰트를 제시하였다.

• Journal of Internet Computing and Services
• /
• v.9 no.5
• /
• pp.59-72
• /
• 2008

Computing systems in the modern era are expanding rapidly to include mobile-based businesses that make us of the various convergence distributed business process. This has lead to growing interest in the field of mobile embedded software development methodology, which has in turn lead to the proliferation of the embedded mobility. The use of CBD (Component Based Development) provides reusability, maintainability and portability, all of which are very important and focus issues to the business process. It also comes with the inherent productivity, quality and reliability of CBD. To make efficient use of CBD, though, clarified interface definitions for component integration are necessary. These definitions should be made up of collaborative hierarchical and horizontal architecture layers. Successful definitions should apply an effective framework made up of the architecture and process. In this paper, we describe an interface specification for small grained mobile embedded components(MEC) for the mobile embedded domain to meet maximum user requirements. We build and deploy the reconfigurable design patterns and components (in business domain categories) to make a component hierarchy and business logics for mobile embedded software. Proposed components specification plays a major role in development of the software for handling inconsistency in existing specification. It also includes plenty of specification information, using semantics and modeling based mechanisms to support business processes. We propose a development model of mobile embedded software using CBD for very complex and dynamic mobile business. We can apply it in a plug and play manner to develop the software. We verify that our framework supports very good productivity, quality and maintainability to meet the user's requirements in mobile business.

• The Journal of Society for e-Business Studies
• /
• v.11 no.2
• /
• pp.93-110
• /
• 2006

A Business Process Management System(BPMS) requires transaction management to guarantee reliability for transactions. Though several transaction protocols have been suggested for the transaction management, the difference of transaction protocols interrupts interoperability among transaction management systems. In this paper, a business process transaction based on semantics is suggested. It is defined based on the static semantics and the operational semantics. As the static semantics defines the ontologies for transaction states and transaction messages using Web Ontology Language(OWL), it solves the difference of expression for the concepts of transaction protocols. As the operational semantics defines state transitions of business process transactions using Abstract State Machine(ASM), it can guarantee formalism for transaction operations. The operational semantics refers to the state ontology and message ontology defined in the static semantics. This approach can enhance interoperability among various transaction protocols, increase the understandability for the transaction protocols, and support autonomous transaction execution and systematic transaction monitoring.