• KIISE Transactions on Computing Practices
• /
• v.23 no.4
• /
• pp.256-261
• /
• 2017

The notion of System of Systems (SoS), which is composed by many independent systems (i.e., Constituent Systems, CS), has emerged in various domains including social infrastructure. It is widely expected that complex requirements, which cannot be achieved in each CS-level, will be achieved in an SoS-level. While verification of SoS-level goal achievement is one of the most important problems, concrete case studies on SoS modeling and verification are still rare. In this paper, we focus on the fact that each CS performs an action for its own purpose by its own decision-making mechanism. We propose a novel Action-Benefit-Cost (ABC) SoS model which caters to the independent decision-making mechanisms of CSs. Using an abstract SoS example, this proposal provides a case study for the modeling and quantitative verification of the ABC SoS model.

• The KIPS Transactions:PartD
• /
• v.16D no.6
• /
• pp.889-898
• /
• 2009

Currently, the amount of containers is growing up continuously. However, they still depend on humans checking or validating. In this situation, humans must participate in the systems. Situation-awareness technologies allow human participation to be minimized. The situation-awareness technologies provide data or service appropriate to the object's current state, and the state is recognized automatically by the system. They can automatically execute working processes without human intervention. We suggest a middleware system based on situation-awareness technologies using an ontology for the safety transportation of containers. The middleware is aware of the current state and sends the data required by an application. It can help build new applications by enhancing agility, and it can also support automated service processing by invoking the service required like fire-fighting, fixing container, and so on. Improving transportation of containers process automation with situation-awareness technologies reduces manpower requirements for checking and validating containers, and so saves logistics costs of container transportation.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10b
• /
• pp.93-97
• /
• 2007

웹의 발전과 함께 증가해온 웹 응용은 점점 복잡하고 난해하여 이를 쉽게 이해하기 위한 방법이 필요하다. 또한 양적 성장과 함께 사용자의 질적 만족도를 충족시키기 위한 요구도 증가하고 있다. 따라서 웹 응용에 대한 이해를 돕는 모델과 웹 응용 테스트는 점차 중요하게 되어가고 있지만 웹 응용을 모델링하는 작업과 테스트 코드를 생성하고 유지하는데 필요한 비용과 노력이 만만치 않아 이를 줄이기 위한 노력이 절실하다. 본 논문에서는 웹 응용의 상태를 표현하기 위한 도메인 모델과 웹 응용의 정확성을 검증하는 테스트 활동 그래프를 이용한 활동-지향 접근법으로 웹 응용의 이해를 돕도록 하며 이를 기반으로 하는 웹 응용 테스트 방법을 제안한다. 이것은 웹 응용을 테스트하기위한 소스 코드를 생성, 저장, 호출하여 사용함으로써 개발자 및 테스터에게 업무의 효율성과 편의성을 제공할 것이라 기대되어지며 웹 응용의 품질을 향상시키는데 기여할 것으로 예상된다.

• Journal of Korea Multimedia Society
• /
• v.5 no.1
• /
• pp.94-104
• /
• 2002

This paper presents a new way of texture mapping on the Genus N object constructed over a single domain. The problem of 2D texture mapping is the discontinuity of texture domain at the virtual boundary on the object. Such phenomenon decreases smoothness of the object as well as looks unnatural. Especially it is necessary for the Genus N object of infinite coninuity to apply the seamless texture mapping. For seamless texture mapping, a multiperiodic function, which transforms a discontinuous function into a continuous function, is suggested. In some applications, however, the visual seams on the textured object provide more realistic appearance. Therefore, this research supports the interactive control from the discontinuity and the continuity across the boundary using the coefficient of the weight function.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.04a
• /
• pp.631-634
• /
• 2011

IETF(Internet Engineering Task Force)는 신속하고 안전한 이동성 서비스를 위하여 네트워크 자원의 사용을 안전하게 하고 법적으로 보장하는 핵심기술 같은 많은 의미있는 작업들을 해오고 있으며 기존의 MIPv6(Mobile IPv6)에서 핸드오버 지연과 시그널링 오버헤드 같은 문제를 보완하기 위하여 HMIPv6(Hierarchical Mobile IPv6)를 제안하였다. 현재 HMIPv6에 관한 연구의 대부분은 HMIPv6와 AAA(Authentication, Authorization, Accounting) 프로토콜 사이의 상호작용 절차를 최적화하기 위한 방법에 초점을 맞추고 있다. 해당 논문에서는 AAA 절차에서 인증대기를 최소화하는데 중점을 둔 비용효율적인 계층 인증 기법을 제안한다. 이 기법에서는 MAP(Mobility Anchor Point)에 배포되어진 AAA 서버들, 그리고 홈 도메인 안에 있는 AAA 서버를 대신하는 브로커들의 계층적 AAA 아키텍처를 제안한다. 이 시뮬레이션 결과는 제안된 기법이 이전의 전통적인 인증 조합 모델링과 비교하여 핸드오프 지연과 인증대기 시간이 상당히 줄어들었음을 보여준다.

• Journal of Advanced Navigation Technology
• /
• v.14 no.1
• /
• pp.108-118
• /
• 2010

In this paper, we propose Context-based Music Recommendation (COMUS) ontology for modeling user's musical preferences and context and for supporting reasoning about the user's desired emotion and preferences. The COMUS provides an upper Music Ontology that captures concepts about the general properties of music such as title, artists and genre and also provides extensibility for adding domain-specific ontologies, such as Mood and Situation, in a hierarchical manner. The COMUS is music dedicated ontology in OWL constructed by incorporating domain specific classes for music recommendation into the Music Ontology. Using this context ontology, we believe that the use of logical reasoning by checking the consistency of context information, and reasoning over the high-level, implicit context from the low-level, explicit information. As a novelty, our ontology can express detailed and complicated relations among the music, moods and situations, enabling users to find appropriate music for the application. We present some of the experiments we performed as a case-study for music recommendation.

• Journal of KIISE:Software and Applications
• /
• v.30 no.12
• /
• pp.1172-1184
• /
• 2003

At present, new techniques based on different component reference models for the integration of component and system of different platforms, such as EJB and COM+, are introduced. The operation between the components in the identical component platform is realized by the composition at the source level. In case of the different component platform, however, it is impossible to use combined components in real condition although they are components of similar domain. In this paper we proposed a solution for the composition problem by using component transformation methodology based on model between EJB and COM+ components which are different components. For the composition between EJB and COM+ components, we compared and analyzed each reference model, then proposed the Virtual Component Model which is implementation independent and the Implementation Table for the mutual conversion. Reffering to the Virtual Component Model and the Implementation Table, we can generalize each Implementation model to the Virtual Component Model, make the Virtual Component Model which is implementation independent through the virtual component modeling, transform EJB and COM+ components selectively. Proposing the effective Model Transformation method to the different component platform, we can combine EJB and COM+ components.

• Journal of KIISE:Software and Applications
• /
• v.31 no.6
• /
• pp.716-727
• /
• 2004

Component-based software development (CBD) technology has been widely accepted as a new effective paradigm for building software systems with reusable components, consequently reducing efforts and shortening time-to-market. Hence, components should provide standard or common functionalities in a domain, yielding a higher level of reusability. Especially, micro-level variability within the commonality should also be modeled so that a product member-specific business logic or requirement can be supported through component tailoring or customization The importance of commonality and variability (C&V) analysis has been emphasized in several CBD methods, but they lack of well-defined systematic process, detailed instructions, and standard artifact templates. As the result, the development of components has been carried out in ad-hoc fashion, depending on developer's experience. In this paper, we propose a systematic process and work instructions to design components. The process consists of phases and their activities and each activity is specified with detailed instructions and artifact templates in order to facilitate effective development of components. To verify a feasibility of the propose method, a case study in a banking domain and comparison and assessment between the proposed method and other methods are additionally provided. With proposed processes and instructions, reusability and efficiency of developing components can be better supported.

• Journal of KIISE:Databases
• /
• v.36 no.3
• /
• pp.198-214
• /
• 2009

Trajectories of RFID tags can be modeled as a line, denoted by tag interval, captured by an RFID reader and indexed in a three-dimensional domain, with the axes being the tag identifier (TID), the location identifier (LID), and the time (TIME). Distribution of tag intervals in the domain space is an important factor for efficient processing of a query for tracing tags and is changed according to arranging coordinates of each domain. Particularly, the arrangement of LIDs in the domain has an effect on the performance of queries retrieving the traces of tags as times goes by because it provides the location information of tags. Therefore, it is necessary to determine the optimal ordering of LIDs in order to perform queries efficiently for retrieving tag intervals from the index. To do this, we propose LID proximity for reordering previously assigned LIDs to new LIDs and define the LID proximity function for storing tag intervals accessed together closely in index nodes when a query is processed. To determine the sequence of LIDs in the domain, we also propose a reordering scheme of LIDs based on LID proximity. Our experiments show that the proposed reordering scheme considerably improves the performance of Queries for tracing tag locations comparing with the previous method of assigning LIDs.

• The KIPS Transactions:PartD
• /
• v.12D no.3 s.99
• /
• pp.365-374
• /
• 2005

The B2B electronic product commerce needs intermediary system to provide an integrated interface for the parts libraries of multiple suppliers. However, it is difficult to automatically integrate the parts libraries because they are heterogeneous. Existing ontology-based approaches show a limited functionality of automated integration of information because Dey can not prevent ontologies from being modeled in different ways, so that the inter-ontology mappings to resolve the heterogeneity become complicated and arbitrary. In order to overcome such problems this paper proposes an ontology modeling framework for parts libraries based on the Guarino's theory of upper ontology. The framework provides knowledge modeling primitives which have explicit formal meanings and modeling principles based on ontological natures. Using the framework, ontology developers can model the knowledge of parts libraries systematically and consistently, so that the resulting ontologies become comparable and uniform and the ontology merging algorithm for the automated information integration can be easily developed.