• Journal of KIISE:Computing Practices and Letters
• /
• v.7 no.5
• /
• pp.429-439
• /
• 2001

EJB(Enterprise JavaBeans), the cornerstone for J2EE(Java$^{TM}$ 2 Platform, Enterprise Edition), is a server-side component standard model. Recently, development of supporting tool for this component model becomes important and there are many tools for developing EJB. In this paper, we purpose to design Enterprise Beans by component model, and perform design and implementation of code generator which generates skeleton code for Enterprise Beans automatically. We also implement EJB deployer for deploying these on application server. The code generator can make a JAR file automatically. This JAR file is deployed on application server by EJB specification as well. Using this tool, developer can create and deploy of Enterprise Beans more fast and exactly.y.

• Journal of the Korea Society of Computer and Information
• /
• v.16 no.5
• /
• pp.109-125
• /
• 2011

A folksonomy is a new classification approach for organizing information by users to freely attach one or more tags to various resources published on the web. Recently, in order to provide useful services and organize the folksonomy data, many collaborative tagging systems based on folksonomy offer additional functionalities for grouping each elements of a folksonomy. In this paper, organization framework for grouped folksonomy is proposed. That is, we suggest the grouped folksonomy model that is an extended folksonomy with the concept of "group" and fundamental operations(Group Aggregation, Group Composition, Group Intersection, Group Difference) for grouping of folksonomy elements. Also, we developed a supporting tool(GFO) that constructs grouped folksonomy and executes fundamental operations. And we introduce some cases using the fundamental operations for grouping of each elements of folksonomy. Based on suggested our approach, we can construct grouped folksonomy and organize and extract useful information from the folksonomy data by grouping each elements of a folksonomy.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.10 no.8
• /
• pp.1877-1893
• /
• 2009

Folksonomy is a user-generated taxonomy to organize information by which a user assigns tags to resources published on the web. Triadic datas that indicate relations of between users, tags, and resources, are created by collaborative tagging from many users in folksonomy-based system. Such the folksonomy data has been utilized in the field of the semantic web and web2.0 as metadata about web resources. In this paper, we propose FCA-based folksonomy data mining approach in order to extract the useful information from folksonomy data with various points of view. And we developed tool for supporting our approach. In order to verify the usefulness of our proposed approach and FMT, we have done some experiments for data of del.icio.us, which is a popular folksonomy-based bookmarking system. And we report about result of our experiments.

• Journal of KIISE:Computing Practices and Letters
• /
• v.5 no.4
• /
• pp.457-466
• /
• 1999

원자력 발전소 계측 제어 시스템, 의료 관련 시스템, 항공 관련 시스템 등 실생활과 밀접한 시스템에 소프트웨어의 사용이 점차 증가하고 있다. 이러한 시스템에서 소프트웨어의 오류는 예기치 않는 사고를 유발하여 인명, 재산상의 심각한 타격을 줄 수 있다. 그러므로 고신뢰도 소프트웨어의 개발 시에는 반드시 시스템의 안전성을 보장해 주어야 한다. 역방향 안전성 분석 방법은 시스템의 안전성을 분석하는 한가지 방법으로서 시스템의 위험 상태를 정의하고 그 위험의 원인들을 추적, 분석함으로써 안전성에 대한 효율적인 분석을 수행할 수 있는 장점을 갖는다. 이 논문에서는 소프트웨어 개발 초기 단계에서 안전성을 분석할 수 있는 방법으로 Colored Petri Nets(CPN)에 기반을 둔 역방향 안전성 분석 방법을 제시한다. 또한 CPN 역방향 안전성 분석 도구인 SAC(Safety Analyzer for CPN)의 설계 및 구현에 대해 언급한다. SAC은 기존의 상용 CPN 모델링 도구인 Design/CPN과 연계하여 사용될 수 있으므로 CPN으로 모델링된 시스템의 안전성을 분석할 수 있다는 장점이 있다. 이 논문에서는 예제로 자동 교통 제어 시스템의 일부를 CPN으로 모델링하고 SAC을 이용한 분석 과정을 기술한다.Abstract In safety-critical systems such as nuclear power plants, medical machines, and avionic systems which are closely related with our livings, the usage of software in the controlling part is growing rapidly. Since software errors in safety-critical systems may cause serious accidents leading to financial or human damages, system safety should be ensured during and after development of a system. A backward safety analysis technique defines system hazards and tries to trace their causes by analyzing system states backward. In this paper, we provide a backward safety analysis technique based on Colored Petri Nets(CPN), which is applicable to the early software development phase. Also Safety Analyzer for CPN(SAC), the supporting tool, is designed and implemented. Since SAC is compatible with Design/CPN, a commercial tool for supporting CPN, it can be applicable to analyze safety in practical problems. As an example, we model a part of the traffic light control system using CPN and analyze safety properties of the model using the SAC tool.

• Journal of the Korean Institute of Gas
• /
• v.21 no.2
• /
• pp.32-40
• /
• 2017

Safety Instrumented Systems (SIS) have wide application area. They are of vital importance at process plants to detect the onset of hazardous events, for instance, a release of some hazardous material, and for mitigating their consequences to humans, material assets, and the environment. The integrated safety systems, where electrical, electronic, and/or programmable electronic (E/E/PE) devices interact with mechanical, pneumatic, and hydraulic systems are governed by international safety standards like IEC 61508. IEC 61508 organises its requirements according to a Safety Life Cycle (SLC). Fulfilling these requirements following the SLC can be complex without the aid of SIS supporting tools. This paper presents simple SIS support tool which can greatly help the user to implement the design phase of the safety lifecycle. This tool is modelled in the form of Android application which can be integrated with a Web-based data reading and modifying system. This tool can reduce the computation time spent on the design phase of the SLC and reduce the possible errors which can arise in the process. In addition, this paper presents an optimization approach to SISs based on cost measures. The multi-objective genetic algorithm has been used for the optimization to search for the best combinations of solutions without enumeration of all the solution space.

• The Journal of Society for e-Business Studies
• /
• v.9 no.1
• /
• pp.1-19
• /
• 2004

The systematic testing is frequently regretted in recent web applications because of time and cost pressure. Moreover developers have difficulties with applying the traditional testing techniques to testing web application. The approach of creating test cases for a web application from a sequence model is proposed for the rapid and efficient testing. Test cases for web application are extracted from call messages (including self-call messages) of UML (Unified Modeling Language) sequence diagram. A test case consists of messages, script functions, or server pages and additional values. Moreover a simple testing tool for web application is proposed. A URL for testing web application is created and executed by this testing tool. The URL consists of server page address and additional values. This test tool is made using Microsoft Visual Basic. The efficiency of proposed method and tool has been shown using a practical case study which reflects the development project of the web application for supporting member management.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2016.05a
• /
• pp.181-185
• /
• 2016

In this paper we propose a VR-based Sailor Training Platform Authoring Tool which efficiently trains sailors in immersive ways. Proposed authoring tool consists of virtual environment reconstruction that imports real ship indoor environment into virtual environment and script editing which is able to implement various scenarios in emergency based on just drag-and-drop interface. The aim of importing real ship environment and supporting various VR devices is to enhance immersiveness and training so that trainees can deal with serious emergency events. Also the usefulness of the interface enables to reduce the cost of making training materials. Throughout scenario editing interface, the proposed authoring tool supports the editing of multi-user scenario and setting individual task for the evaluation.

• Spatial Information Research
• /
• v.23 no.3
• /
• pp.123-132
• /
• 2015

Recently both the importance and the interests of field-experience learning have kept increasing since the Education of Ministry encourages students to take a field-experience learning with the self-driven and creative education as the main issue in the 7th revised education curriculum in 2009. As the importance of field-experience learning goes up continuously, not only the release of its related mobile applications is increasing, but also a variety of researches for supporting the field-experience learning are ongoing. In this research we perform two things. First, we define the basic concept of authoring tool for which support the field-experience learning based on its characteristics and user requirements analysis. We confirmed that the authoring tool for the field-experience learning has to 1) support all activities that happen in pre-field, field-experience and post-field phases, 2) be possible to write the location-based field work, 3) have the authoring function which reflects the characteristics of curriculum such as history, science and geography, etc. that the field learning can be realized, 4) be designed as the structure that the results of inquiring activity after the field experience activity can be reused. Second, we create a conceptual design after confirming the authoring tool.

• Journal of the Korea Society of Computer and Information
• /
• v.10 no.4 s.36
• /
• pp.37-46
• /
• 2005

According to the increasing interests of medical information services for healthy living, the multimedia authoring tools for medical information service contents are strongly required. In this paper, a new multimedia authoring tool supporting user-friendly interfaces is implemented, which is based on SMIL(Synchronized Multimedia Integration Language) producing Web-based multimedia contents. The implemented authoring tool in this paper not only provides functionalities to play, verify and modify the partial contents immediately but also offers capabilities to insert multimedia objects into contents with ease. The multimedia contents containing disparate healthcare and medical information can be easily designed with this tool. The enhanced usability of this tool can contribute to the realization of diverse medical information services.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.14 no.6
• /
• pp.329-338
• /
• 2019

Today's embedded software (SW) developments are mostly preceded by composing Software Requirement Specification (SRS). In particular, in the domain of weapon systems, it is essential to have a systematic method for the verification of the SW functionality. To be more specific, it is crucial to check if the SW functionality is implemented as described in SRS, so-called SW suitability verification. Unfortunately, existing static or dynamic SW testing methods are not sufficient to evaluate suitability with SRS since those testings only verify the robustness of the SW codes. In this paper, we propose an automatic embedded SW suitability verification framework which is based on a structured SRS. The major challenge in the automation of this verification framework is how to get rid of ambiguities in SRS. In order to overcome this challenge, we propose a structured SRS description framework and the supporting toolchain for that. We show how the proposed framework is applied to an actual SRS of a weapon system.