• Journal of KIISE:Software and Applications
• /
• v.35 no.5
• /
• pp.288-296
• /
• 2008

Software in defense domain requires high quality since defense specific characteristics. To assure high quality products, development and testing activities based on well defined process must be performed. If those activities cannot support software acquisition process, the quality of acquired software product is low and combat power decreases. In this paper, we propose MND-TMM(Ministry of National Defense-Testing Maturity Model), which can help enhance software quality through testing process improvements. This paper also introduces the contents of MND-TMM architecture. MND-TMM is constituted to reflect the characteristics of defense software, development process, and testing process so as to solve the problems associated with software testing. MND-TMM is comprised of 5 maturity levels and 4 categories which have number of related TPA(Testing Process Area)s. It is expected that MND-TMM can help assess testing maturity of defense software organizations and provides guidelines to improve software testing process.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.17 no.10
• /
• pp.2473-2478
• /
• 2013

The recently developed military system adopts System Engineering for quality insurance. The process of military system's development basically adopts specification(MIL-STD-499) and system engineering(ISO/IEC 15288) that was developed by America. Recently the level of company's capability maturity is granted by measurement and assessment for the level of CMM or CMMI that was developed by Carnegie Mellon University. This article introduces adopted range of process that developed military system adopted additional process of CMMI. This article writes a merit of process for military system's output that is developing device adopted diverse process.

• Journal of the Korea Computer Industry Society
• /
• v.5 no.1
• /
• pp.77-86
• /
• 2004

In recent, workflow technology has been spotlighted in the literature, according for e-business processes and their automations to be taken important and essential parts into account in the enterprise information processing environment, because the workflow technology ought to be an impeccable solution for automating the e-business processes. When we analyze and model e-business processes in an enterprise, it is very important to verify and validate the e-business processes before they are deployed on the real business environment. Especially, it should be very worthy for the verification and validation work to be done by a kind of graphical visualization approaches. This paper propose a business process enactment animator implemented by Java Technologies. And it supports WPDL(Workflow Process Definition Language) as well as XPDL(XML-Based Process Definition Language), both of which are the standard specification language by WfMC that is the international standardization organization for Workflow Technology.

• Journal of Korea Society of Industrial Information Systems
• /
• v.13 no.5
• /
• pp.87-97
• /
• 2008

Importance of service competitive power is greatly increasing. Domestic enterprises are recognizing the importance of service competitive power, but the correspondence is insufficient level. Because service has the characteristic that production and consumption synchronizes, it can be considered as process. In this study, we utilize the process reform by plan for service competitive power elevation. We divide service process reform by four types based upon special quality of goods(form and formlessness) and reform target (new process design and existing process improvement), and present various examples by each type. On the this basis, we suggest the specific elevation plan of competitive power.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.36 no.12B
• /
• pp.1509-1521
• /
• 2011

WfMC, which is one of the international standardization organizations leading the business process and workflow technologies, has been officially released the BPAF1.0 that is a standard format to record process instances' event logs according as the business process intelligence mining technologies have recently issued in the business process and workflow literature. The business process mining technologies consist of two groups of algorithms and their analysis techniques; one is to rediscover flow-oriented process-intelligence, such as control-flow, data-flow, role-flow, and actor-flow intelligence, from process instances' event logs, and the other has something to do with rediscovering relation-oriented process-intelligence like process-driven social networks and process-driven affiliation networks from the event logs. The current standardized format of BPAF1.0 aims at only supporting the control-flow oriented process-intelligence mining techniques, and so it is unable to properly support the relation-oriented process-intelligence mining techniques. Therefore, this paper tries to extend the BPAF1.0 so as to reasonably support the relation-oriented process-intelligence mining techniques, and the extended BPAF is termed BPAF2.0. Particularly, we have a plan to standardize the extended BPAF2.0 as not only the national standard specifications through the e-Business project group of TTA, but also the international standard specifications of WfMC.

• Journal of Digital Convergence
• /
• v.16 no.12
• /
• pp.563-569
• /
• 2018

This paper deals with a space identity development model using design process. The main contents of the study are as follows. First, this study has defined the design process concept and studied various design process model. Second, the meaning of space design process was studied and concept definition was made. Third, it developed a conceptual model of space design process for developing space identity. Finally, a conceptual model that can define space identity by applying design process to complex and various types of space is studied and presented. This study applied positivist research methods such as literature review and various theoretical review to study design process and space identity. The research on space design process adopts indirect research method based on previous research data.

• The Journal of the Korea Contents Association
• /
• v.6 no.4
• /
• pp.38-45
• /
• 2006

Most organizations adopt a process-based approach to manage their operations and now business process management(BPM) is a well-established concept. Because ISO 9001:2000 has been influenced by BPR and it also emphasizes process based, BPM can get together with ISO 9001:2000. Korea Institute of Science and Technology Information has taken ISO 9001:2000 certificate in November 11, 2003 and has implemented quality management systems based on BPM. We call it KQMS(KISTI Quality Management System). KQMS based on BPMS is a new example in field of ISO quality management and is expected to support process management well.

• Journal of Internet Computing and Services
• /
• v.22 no.6
• /
• pp.59-69
• /
• 2021

Malfunctions and failures linked to medical devices may result in significant damage for human being. Thus, in order to ensure that safety of medical device is achieved, it should be established and applied the international standard. It is required to integrate and customize activities at standards, owing to reference relationship between standards, especially, activities based safety analysis is too expensive. This paper proposes a integration process that integrate activities of development lifecycle and safety process. Additionally, we derived a guidance based on STPA for integration process. As a result, we can be performed systematically from early stage of the development and increased effectiveness of integration process by the guidance.

• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.2
• /
• pp.188-199
• /
• 2000

This paper presents an efficient stable logging scheme for the distributed shared memory system based on the lazy release consistent memory model. In the proposed scheme, inter-process dependency is traced and stable logging is performed when the dependency relation between processes actually happens. With the dependency tracking, the proposed scheme requires much less frequency of stable logging, comparing with the previous schemes in which stable logging is performed whenever any information transfer happens between processes. Also, in the proposed scheme, every data item accessed by a process is not logged, but only the access information is logged in the stable storage. For the recovery from a failure, the correct version of the accessed data items can be effectively traced by using the logged access information. As a result, the amount of logged information is also reduced.

• Journal of the Korean Society for Railway
• /
• v.12 no.3
• /
• pp.382-387
• /
• 2009

When a system or service is realized, it needs to be verified by requirements. The process of verification is to check whether customers/stakeholders requirements have been property transformed into a system or service. A set of verification processes is described in the international or industrial standards. However, it is not appropriate to directly apply those verification processes in the national research and development projects. In particular, we noticed the problem in the development of safety systems, standards and process in the railway systems domain. As such, this paper is concerned with a detailed development of the verification process in that domain. Specifically, an effective and efficient verification process is presented regarding the safety systems and process, safety standards, and safety documents. Also, the verification process was modeled by a computer-aided systems engineering tool, Cradle(R). As a result, the outcomes of the verification process on be managed efficiently.