• 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.

• Korean Journal of Computational Design and Engineering
• /
• v.13 no.2
• /
• pp.139-152
• /
• 2008

In order to survive worldwide competition, today's industries are experiencing strong pressure to introduce higher quality products with lower cost and shorter lead-time. Therefore, the role of design in the process of product development is increasing in significance. In this research, two methods for improving the design capability are proposed: construction of design environment and design automation using 3D CAD system. The designers and design process are the core of product design using 3D CAD system. In order to maximize the design performance, construction of the design environment including selection of a suitable system, designer training for best use of the system, establishment of an efficient design process, and stabilization of the environment are required. A method is suggested to construct design environment by systematizing the contents of the projects and consulting experiences carried out for various categories of business such as electronic devices, motorcycles, electricity parts, sanitary wares, injection molds, and die casing molds. Design automation helps reduce tedious and time-consuming jobs, simplify complicated and error-prone modeling and drawing works to shorten the lead time and improve the product quality. To develop a design automation system, understanding the process and the related knowledge on design are very important before implementing the system using API provided by 3D CAD system. In this research, an eight-step procedure is proposed for the development of a design automation system. These eight steps are analysis of needs, determination of specification, verification of specification using 3D CAD system, inspection of related API functions, programming, field test, application in practice, and maintenance. A case study in which five design automation systems in the design of turbine generators using the proposed method is introduced in detail. These systems play important roles in the generation of various output items including 3D models, drafts, material information, and NC data. The case study shows how effectively the design time is reduced and the quality improved using those systems.

• Spatial Information Research
• /
• v.8 no.1
• /
• pp.15-29
• /
• 2000

In the Recent rapidly changing technology environment the computerization of administration business which is driven or will be driven to give improved information services to people by local government or central government with a huge budget. The possibility of applying GIS application component to the computerization of administration business is investigated to prevent local government from investing redundant money and to reuse the existing investment at this point of time. Land civil service application component was developed at the $\ulcorner Development of Open GIS Component S/W \lrcorner$ project which was managed by Ministry of Information and Communication . GIS application component was based on Open GIS OLE/COM specification for development of standard interface and USD(Unified System Development ) for development method and UML (Unified Modeling Language) for system design and Visual C++ for component implementation. Implemented components were Process Control, Map, Print, Statistics component and were verified by using Visual Basic and Delhi. tis study shows that the development of component is very useful at the GIS application development for local governments. But the standard of business and data and system is the essential prerequisite to maximize business application.

• Journal of Korean Society for Quality Management
• /
• v.48 no.1
• /
• pp.149-169
• /
• 2020

Purpose: This study analyzes the characteristics of the Quality Management performed by SMEs in the Defense Industry in supply chains and analyzes the effect of the continuous improvement activities based on cooperation. Especially, for Military Supplies, the suitability of products is usually decided by judging their conformity to the specification, and from this structural characteristic, this study would analyze the structural relationship of systematic improvement activities with Supply Chain Quality Management(SCQM) and Business Performance(BP). Methods: Continuous improvement activities(CI) have significance as the driver force for the promotion of Quality Management. Thus, this study analyzed the causal relationships from the perspective of the process among CI, SCQM and BP. For an analysis of the structural characteristics and causal relationships among the constituents, AMOS was used, and 297 companies in the Defense Industry were utilized as samples. Results: It turned out that CI had significant impacts on Management Infra(MGT_Infra), Process Management(PM), Human Resources Management(HRM) and Communication(COMU) and had an indirect impact on the enterprises' financial performance through the parameters of HRM and Communication. Meanwhile, it turned out that between CI and non-financial performance, there was a direct effect, and there was also an indirect effect through the variables of the Management Infra and Communication. Conclusion: It turned out that CI had a positive effect on SCQM as a proactive driver and that they had significant relationships with BP(financial, Non-financial), both financial performance and non-financial performance. However, PM did not have a significant relationship of effect with BP because of the character appearing by the evaluation method of military supplies for the conformity to the specifications.

• Architectural research
• /
• v.18 no.1
• /
• pp.21-29
• /
• 2016

Importance of FM has rapidly increased because of its growing business. However, due to lack of clarity and identity of FM in professional areas, standardization of FM became to be imperative in such a rapidly changing global business environment. Facility services are defined as the provision of support the primary activities of an organization, delivered by an internal or external provider. Majority of FM activities are services related to 'space and infrastructure' and 'people and organization' (CEN, 2011). The purpose of this study is to investigate definitions and characteristics of FM from both globally and domestic environment, by comparison with international or national standards, to identify quality management in FM and service characteristics of FM, to investigate the differences in service level elaboration in FM, and to suggest standard issues of quality management in FM service quality. This study examines contents of the European Standards in FM, Part 3 'Guidance on quality in Facility Management, especially for the process of QM standardized by CEN (2011) and explores undefined issues such as service level, measurement metrics according to service characteristics of FM. The European FM Standard guides the common process of QM in terms of requirements specification, service level elaboration, measurement metrics development although it does not specifically address various service levels, specific performance metrics and indicators.

• Korean Journal of Construction Engineering and Management
• /
• v.2 no.3 s.7
• /
• pp.92-100
• /
• 2001

The architectural drawing, construction project specification, etc. are included in the contract of a documents. However, construction project specification, for being documentation, is not utilized to such an extent. The reason is that specification information is difficult in collecting information in relation to the architectural drawing, material finishing list and other architectural information. Therefore, an integrated model, which can be associated with other architectural information, is needed, and a DB based on this integrated model must be established in order for it to be utilized in design, construction, and management. The DB, which is established through this process, must be updated according to modification in design, and construction. Furthermore the specification must be in document on the web for reference. Consequently in this research, the structure of integrated model has been introduced, and it has made the search and preparation of the integrated model on the Internet, using the specification information DB established for the mutual reference of DB, possible. The improvements of construction project specification standards are expected by this system. Also, it will bring about Improvements upon claim prevention, and design, construction, management qualities. Furthermore, it will make the use of information more convenient in practical business such as order agency, design service and building site.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.13 no.9
• /
• pp.4207-4213
• /
• 2012

Software quality is strongly associated with requirement quality. Accordingly, companies are trying effect for enhancing requirement quality. But, it is difficult to verify the requirement of specification format, which have to rely on abnormal business knowledge of analyst. Also, it is insufficient to normal methodology or automated technique for enhancing requirement quality of specification format. In this paper, we propose the process of requirement verification and automated verification tool for enhancing requirement quality. we compare the external view design and internal view design for verifying requirement. In the case study, we evaluate the feasibility of the proposed automated verification technique of requirement.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.5 no.2
• /
• pp.199-208
• /
• 2009

Mosts of export/import cargo has been moving using maritime transport means. Korea had been driven the system automation project using EDI document since the mid-1990s. However, this automation system comes upon about 40-50% against overall maritime business process, manual or paper document processing work is existing as ever. International e-business environment also has changing into electronic form document transaction from paper document-based transaction. International standardization organization, UN/CEFACT proposed UNeDocs for paperless jtransaction. UNeDocs is a specification to define XML data model as well as electronic form. With UNeDocs, it is not necessary to generate the duplexed data, and it can support user convenient and guarantee the flexibility. This paper defines the UNeDocs data model for EDI and Off-Line processing at the current maritime business. Then, it have to check XML syntax and structure for the defined data model through quality of document check system. Also, it explains the applying plan about the defined UNeDocs data model. It is possible to support paperless transaction as defining UNeDocs-based standard data model and converting into paper document, XML and EDI document using UNeDocs data model.

• Journal of Internet Computing and Services
• /
• v.2 no.5
• /
• pp.1-7
• /
• 2001

Recently, there are two important research trends in the literature the red-time collaborative computing end electronic business process automation. This paper is one of those efforts that would establish an effective business office working and computing environment hough the integration of those two cutting-edge technologies. That is, we try to develop a workflow modeling tool that is semantically based upon the information control net(ICN), which is a typical workflow model for specifying office work procedures(business processes), and that is systemically based upon the real-time collaborative operations by a set of actors, which is called group, We name it "group ICN editor". This paper describes the design and implementation of the group ICN editor that is operable under the real-time collaborative computing environment. We use the Flexible rJAMM toolkit that enables the ICN editor to operate among multiple actors(group) through the event-driven collaboration platform, Consequently, a set of workflow and business processes defined through this editor is not only stored onto database but also transformed into the format of the workflow process definition language(WPDL) that is a standardized workflow description and specification language proposed by the workflow management coalition(WfMC).ion(WfMC).

• Journal of Korea Multimedia Society
• /
• v.11 no.4
• /
• pp.525-543
• /
• 2008

Recently, the scope of user interface is increasing the relative importance in software development dramatically. As a result, there are various relative technologies like as SWING, MFC, Web 2.0, and etc. However, most current software developments are progressed in separate development process with user interface part and business part respectively. This causes the problems, like as a difficulty in the integration process, an development period's delay, and a poor reusability for the constructed models. That is, the extendability and reusability of the created models is being decreased because UI modeling is not systematic and hierarchical, and the consistent integration technique between UI modeling and business modeling does not supported. To solve these problems, this paper proposes an unified and systematic UI modeling process based on UML, using the hierarchical metamodel according to the abstraction levels of development phase. We suggest an UI metamodel, which contains a hierarchy by layering the modeling elements in PIM and PSM based on maturity degree of the development. An hierarchical modeling process combined UI modeling and business modeling is built by applying the UI and business metamodel in terms of three modeling phases(concept/specification/concrete). The effectiveness of the modeling process is shown by applying the proposed process into an Internet Shopping Mall System. Through the exploratory results, the hierarchical UI metamodel and process can produce systematic and layered UI models. This can improve the quality and reusability of models.