• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제13권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.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제6권3호
• /
• pp.125-134
• /
• 2017

SOA (Service Oriented Architecture)를 기반으로 하는 소프트웨어는 비즈니스 요구사항에 기민하게 대응할 수 있어 사용이 확대되고 있다. SOA는 느슨한 서비스 결합과 메시지 교환 중심 아키텍처라는 특징 때문에 기존의 테스팅 방법 적용이 제한된다. 본 논문에서는 BPMN (Business Process Model and Notation)을 이용해 테스트 케이스를 생성하는 기법을 제안한다. 먼저 프로세스를 모델링하고, 이를 통해 비즈니스 흐름 그래프(BFG)를 생성한다. BFG의 입출력 차수를 대칭하고, 오일러 경로를 탐색하여 테스트 케이스를 생성한다. BPMN을 이용한 테스트 케이스 생성 기법은 SOA 기반 시스템에 적용 가능하며, 테스트 케이스 수를 감소시킬 수 있다.

• 지식경영연구
• /
• 제20권3호
• /
• pp.107-117
• /
• 2019

Successful start-ups are driven by opportunities, teams, and the resources needed to grow the business. Systematic business process management is required to maximize the efficiency of business operations. However, the existing entrepreneurial process research has limitations that it is difficult to intuitively and dynamically provide the necessary information for start-up operation, and it is necessary to define necessary information (resources, stakeholders, activities). In this study, we suggest the "Start-up Process Repository System" which overcomes limitations of existing entrepreneurial process research. The architecture for the Start-up Process Repository System provides five layers and enables each layer to interact four interfaces between each layer. This study improves start-ups' accessibility to the start-up business process repository created from the existing repository architecture and increases the utility derived from it by providing methodologies for components that offer useful start-up knowledge.

• 한국정보처리학회논문지
• /
• 제6권1호
• /
• pp.83-89
• /
• 1999

OMG에 공인된 객체지향 개발방법에는 Booch, Coad/Yourdon 방법등 많은 공인 방법론들이 객체지향 소프트웨어 개발에 사용되고 있으며, 각각의 방법론마다 상이한 기호를 사용하여 분석 설계과정을 표현하고 있다. 이들 표기방법론 사이에는 개발 정보 전달상의 차이가 존재하고 이러한 차이들은 객체지향 개발 정보의 전달에 장애로 작용하여 정보 전달상에 오류를 발생할 수 있다. 본 연구의 목표는 객체지향 분석, 설계에 사용되는 기존의 도식적 표기법들이 지닌 정보전달 능력을 인지과학에 기초하여 경험적으로 검증하고 각각의 표기법에 사용된 기호들을 시각적으로 강화하여 객체지향 인지부담을 최소화하고 정보전달상의 장애를 파악, 제거하여 설계정보 전달의 효율을 증진시켜 오류발생의 가능성을 감소시키는 방안을 제시하고자 한다.

• 한국기계가공학회지
• /
• 제14권4호
• /
• pp.108-117
• /
• 2015

In this paper, as a previous step of software development, through an analysis step in the basic design process of the FPSO crane, ERD, which could help develop common understanding between its developer and the user, was introduced. From the flowchart of the design process, the overall work flow in its development was understood. Then, after the design process of the crane was divided into many entities, the attributes of each entity were defined and the relationships between the entities were established, followed by ERD creation through the use of IDEF1X notation. The results of the analysis can be readily understood even by users who lack of software knowledge, and then their change requirements can be immediately reflected in the developed system that requires modification.

• 정보통신설비학회논문지
• /
• 제9권1호
• /
• pp.13-18
• /
• 2010

As the importance of non-functional requirements has increased, many researchers have become interested in the software development process for non-functional requirements including the notation, modeling, and assessment of non-functional requirements. However, the characteristics of non-functional requirements are so sophisticated and there are many topics which have not been solved until now. In order to address one of the unsolved problems, we propose a systematic software development process to support the management of non-functional requirements. The process consists of six steps, each of which is composed of detailed activities. Using the proposed process, the non-functional requirements can be managed and modeled more effectively and systematically than previous ones.

• 한국IT서비스학회:학술대회논문집
• /
• 한국IT서비스학회 2006년도 추계학술대회
• /
• pp.170-176
• /
• 2006

B2B registries are information systems to registrate B2B related business information such as companies' profiles, business documents, business processes, services and to provide query facilities to find information about potential business partners. In this study, we focus on the design of the repository for B2B business processes. In this paper, a metadata ontology is designed to registrate 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 registrate business processes based on different representation frameworks, the proposed metadata ontology consist of three layers, common metadata, language-specific metadata, and interrelationship metadata. To implement the proposed metadata ontology using ebXML registry, metadata mapping scheme to ebRIM (ebXML Registry Information Model) are also suggested.

• 대한안전경영과학회지
• /
• 제9권6호
• /
• pp.123-135
• /
• 2007

In the recent years, the companies have manually recorded a production status in a work diary or have mainly used a bar code in order to collect each process's progress status, production performance and quality information in the production and logistics process in real time. But, it requires an additional work because the worker's record must be daily checked or the worker must read it with the bar code scanner. At this time, data's accuracy is decreased owing to the worker's intention or mistake, and it causes the problem of the system's reliability. Accordingly, in order to solve such problem, the companies have introduced RFID which comes into the spotlight in the latest automatic identification field. In order to introduce the RFID technology, the process flow must be analyzed, but the ASME sign used by most manufacturing companies has the difficult problem when the aggregation event occurs. Hence, in this study, the RFID logistic flow analysis Modeling Notation was proposed as the signature which can analyze the manufacturing logistic flow amicably, and the manufacturing logistic flow by industry type was analyzed by using the proposed RFID logistic flow analysis signature. Also, to monitor real-time information through EPCglobal network, EPCISEvent template by industry was proposed, and it was utilized as the benchmarking case of companies for RFID introduction. This study suggested to ensure the decision-making on real-time information through EPCglobal network. This study is intended to suggest the Modeling Notation suitable for RFID characteristics, and the study is intended to establish the business step and to present the vocabulary.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (B)
• /
• pp.112-114
• /
• 2003

In order to survive in today's competitive world, understanding the business process and how it works can be a key to success. Visualization improves understandability of business process for developers, and accompanies modeling. There are two modeling methods that are often used in the industry - standard BPMN (Business Process Modeling Notation) and UML activity diagram. This paper shows whether the activity graph of UML 2.0 draft can support business process modeling or not through comparing it with the BPMN features.

• 인터넷정보학회논문지
• /
• 제3권3호
• /
• pp.39-53
• /
• 2002

도메인 모델은 객체 모델 개발과 소프트웨어 설계에 관한 결정에 큰 영향을 끼치고 있어, 오늘날 많은 객체 지향적 시스템과 컴포넌트 기반의 소프트웨어 개발 시 도메인 모델을 만들고 있다. 그러나 UML과 객체 지향적 방법론에서는 재사용을 위한 개발과 재사용을 수반한 개발의 지원이 부족하여 매번 새로이 모델을 개발하고 있으며 프로젝트 개발 기간 지연과 불충분한 모델 생성을 초래하고있다. 이러한 문제는 UML 표기의 확장과 재사용 처리방법을 통해 해결될 수 있다. 본 연구에서는 도메인 모델의 재사용을 위하여 UML 기반의 도메인 모델 템플리트를 설계하고 분석정보의 재사용을 위한 도메인 모델 개발 방법을 제안하였다. 아울러 제안된 표현을 인터넷 응용에 적용하여 도메인 모델과 도메인 템플리트를 생성할 수 있었다.