• Journal of KIISE:Software and Applications
• /
• v.35 no.9
• /
• pp.529-537
• /
• 2008

Since concurrent software is hard to debug, the verification of such systems inevitably needs automatic tools which support exhaustive searching. Bounded Model Checking (BMC) is one of them. Within a bound k, BMC exhaustively check some errors in execution traces of the given system. In this paper, we introduce the tool that performs BMC for LTS, modeling language for concurrent programs. In this tool, a property is described by a FLTL formula, which is suitable to present the property with actions in a LTS model. To experiment with existential model checkers and out tool, we compare and analysis the performance of the developed tool and others.

• The KIPS Transactions:PartD
• /
• v.16D no.1
• /
• pp.139-144
• /
• 2009

Neural network is a very exciting and generic framework to develop almost all ranges of machine learning technologies and its potential is far beyond its current capabilities. Among other characteristics, neural network acts as associative memory obtained from the values structurally stored in synaptic inherent structure. Due to innate complexity of neural networks system, in its practical implementation and maintenance, multifaceted problems are known to be unavoidable. In this paper, we present design and implementation details of GUI software which can be valuable tool to maintain and develop neural networks. It has capability of displaying every state of synaptic weights with network nodal relation in each learning step.

• KIPS Transactions on Software and Data Engineering
• /
• v.1 no.3
• /
• pp.149-158
• /
• 2012

As service-oriented software is considered as one of solutions to fulfill the users' needs in internet service environment, it has been increased the demands of reliable service development by the composition of internet services. However a critical issue in the service development approach is to satisfy the performance requirement as well as the functional correctness for the developing services, because impatient user multiply clicks the request-button of service without a short waiting. This paper proposes a framework to examine the performance of composite service. Our testing framework provides the data of service response time to service developer by measuring the service execution time. We develope an Aspect-based timer service, and weave the service with existing services to measure the execution time. Additionally, we perform some experiments to confirm the usefulness of performance test for composite service. This framework can support to develop a good performance service by substitution of the dragging service with another new service that will be a component of composite service.

• Journal of the Korea Society of Computer and Information
• /
• v.7 no.2
• /
• pp.9-18
• /
• 2002

SECOS(SoonChunHyang E-Commerce System) is the e-commerce system which was developed by e-commerce software research center in soonchunhyang univ. The system was composed of payment system, retrieving system and framework being used to combine these systems. The modules in the system was composed of components which was developed by CBSE(Component Based Software Engineering) method. In this paper. we implement the Role Based Access Control(RBAC) component for access control of SECOS. We use Attribute Certificates(ACs) in order to implement RBAC in the distributed retrieving system, and implement Attribute Authorities(AAs) which can provide ACs. The Proposed system is implemented by EIB component based JAVA.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.527-530
• /
• 2008

SOA는 최근 급부상한 기술로 발전된 웹서비스 기술과 접목되면서 특히 실시간 기업에게 각광받고 있다. 이에 따라 SOA를 위한 민첩성과 빠른 적응력이 충족되는 구체적인 기법 연구가 많은 진행 중에 있다. 이는 SOA에서의 테스트 역시 마찬가지이며, 본 논문에서는 민첩성과 적응력을 높일 수 있는 SOA를 위한 테스트케이스 생성 기법을 제안한다. SOA는 기존의 컴포넌트 기반의 개발과는 관점의 차이 때문에 절차나 기법의 접근 방법이 다를 수 있다. 따라서 본 논문에서는 SOA의 서비스를 하부 계층인 컴포넌트로 분할하여 기존의 연구를 활용한 후, 다시 서비스 단위로 합성하여 서비스의 테스트케이스를 생성한다. 그리고 제시한 기법을 인터넷 뱅킹 시스템의 계좌잔액조회 서비스에 적용함으로써 서비스 단위의 테스트케이스 생성 사례를 보인다. 제안 기법을 통해 서비스 단위의 테스트를 체계적으로 할 수 있으며, 빠른 릴리즈를 실현하여 SOA의 민첩성과 적응력을 높일 수 있다.

• The KIPS Transactions:PartD
• /
• v.15D no.3
• /
• pp.375-386
• /
• 2008

Recently, development paradigm of information system is turning into object oriented and component based, and this methodology is leading the software industry. To acclimatize aptly to this trend, users demand the assessment of software expenses to change with the appropriate model of computing costs of the environment, and some people are actually studying the concept of Object Oriented Function Point and UCP method. Especially, Object Oriented Function Point Measurement Process has good points in overcoming the bound of LOC and the existing the Function Point Measurement Process because Object Oriented Function Point Measurement Process is applicable to the early stage of development project mainly with the used cases, and valid to the life long period as the each stage of software products develops, and always understandable to communicate with users by the UML mark rules. Accordingly, this research is to measure Functional Point at ROFP and AOFP in accordance with the development project of information system by the national defense CBD methodology procedures and UML Interrelation Analysis that are recently and widely used in the developmental environment of object oriented information system. Furthermore, this study suggests the measurement method to obtain Functional Point, and identifies service function and object/class function in the correlation analysis of use case and class based on the products and UML modeling via traditional FPA model and object oriented FPA model. Above all, this study is to demonstrate the improvement of traditional Function Point Measurement Process, IFPUG-CPM and software cost basis, and reveal Function Point Measurement Process, which is appropriate to the development of object oriented information system, and suggest the evaluation results of the compatibility through case studies.

• Journal of the Korean Institute of Gas
• /
• v.21 no.5
• /
• pp.89-94
• /
• 2017

The VR(Virtuality Reality) technology provides very close experience to reality by stimulating humans' external recognition with artificial technologies. In order to overcome the limitation of real-environment training, VR is being applied in industry field as a key technology to prevent safety accident and its control procedure training. However, it is difficult to build VR-based training system because 3D modeling and software coding are necessary for materialization of VR environment demands of many development resource. In this research referring to VR based training content implementation, a method to utilizing VRDC(VR-based Dynamic visualization Component) is suggested and by applying it to plant safety training system, it was confirmed its practicality.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2003.10a
• /
• pp.978-981
• /
• 2003

Component-Based Development(CBD) for a system has benefits in terms of improvement of operation and maintenance as well as reduction of development period. But applying the CBD methodology to a system can give rise to difficulties, which are there should be specialists in CBD and domain to apply and there would be a lot of products resulting in the application. To solve the problems, we suggested a suitable methodology in overall process from analysis to implementation after investigating the methodology applicable to small and medium software system by software systems engineering approach. In the application of the suggested methodology to design a ship design process management system, we could confirm the efficiencies of the methodologies.

• Journal of Korean Society of Archives and Records Management
• /
• v.16 no.2
• /
• pp.29-55
• /
• 2016

Korean public organizations create electronic documents through electronic document management systems under the e-Government scheme. A majority of these public documents are saved in vendor-dependent file formats, mainly HWP. Vendor-dependent formats can be opened only with specific software, which requires purchase. As the license does not guarantee compatibility between past and future versions, interoperability problems occur in long-term preservation, which need to be solved. Any error from the elimination of styles or no matching elements in document definition during conversion from vendor-dependent formats to the XML-based standard exchange format leads to file open failure or the modification of original documents. This study introduces the Open Document Format (ODF) and investigates the effects of adopting ODF in the creation, exchange, management, and preservation of public records.

• Journal of Korea Multimedia Society
• /
• v.14 no.1
• /
• pp.121-132
• /
• 2011

A healthcare system is a type of medical information system that performs early detection and prevention in diseases by checking one's health condition periodically. Such a healthcare system is based on the signal obtained from the body. However, the developed existing system represents certain differences in the storage and description of vital signs according to medicare devices and the evaluation method of the system. It brings some disadvantages, such as lacks in the interoperability between systems, increases in the development cost of systems, and absence of a unified system. Thus, this study develops a healthcare system based on a meta model. For establishing this objective, this study describes and stores vital sign data based on the standard meta model of HL7 and applies OCL, which is a mathematical specification language, for defining wellness indexes and extracting data in order to evaluate health risk appraisals in health. In addition, this study implements components based on OSGi and assemble them in order to easily extend various devices and systems. By describing vital data based on the meta model, it represents some advantages that it makes possible to ensure the interoperability between systems and introduce the standardization of the evaluation method of health conditions through defining the wellness index using OCL. Also, it provides dear specifications.