• Annual Conference of KIPS
• /
• 2011.11a
• /
• pp.155-158
• /
• 2011

정보 통신 기술의 발달로 사람들은 언제 어디서나 정보에 접근하고 서비스를 받을 수 있게 되었다. 이러한 기술의 발전은 로봇에도 영향을 미치고 있고 언제 어디서나 나와 함께 하며 나에게 필요한 서비스를 제공하는 네트워크 기반 로봇을 개발 중에 있다. 이러한 로봇을 URC 라고 하는데 이 URC 가 사용자에게 맞는 서비스를 제공하기 위해서 상황인지 기능이 필요하다. 이에 본 논문에서는 로봇 서비스를 표현할 수 있는 상황인지 워크플로우 언어(CAWL)를 바탕으로 상황인지 URC 서비스를 제공하기 위한 컨텍스트 비교기를 제안한다. 컨텍스트 비교기는 트리플릿으로 표현된 사용자 주변 환경으로부터 발생하는 동적인 상황 정보를 로봇, 센서, 모바일 등의 상황정보를 저장하고 있는 온톨로지와 비교하여 현재의 상황을 인식할 수 있는 모듈이다. 제안하는 컨텍스트 비교기를 이용하여 상황에 따른 서비스를 제공할 수 있다.

• Journal of KIISE:Software and Applications
• /
• v.31 no.5
• /
• pp.677-696
• /
• 2004

Component-based software engineering (CBSE) composes reusable components and develops applications with the components. CBSE is admitted to be a new paradigm that reduces the costs and times to develop software systems. The high quality of component designs can be assured if the consistency and correctness among the elements of a component are verified with formal specifications. Current formal languages for components include only some parts of contracts between interfaces, structural aspects and behavioral aspects of component, component-based system, component composition and variability. Therefore, it is not adequate to use current formal languages in all steps of a component design process. In this paper, we suggest a formal language to specify component designs Component-Z. Component-Z extends Object-Z, adds new notations to specify components. It can be possible to specify interfaces, the inner structure of a component, inner workflows, and workflows among interfaces with Component-Z. In addition, Component-Z provides the notations and semantics to specify variability with variation points, variants and required interfaces. The relation between interfaces and components is defined with mapping schemas. Parallel operator is used to specify component composition. It can be possible to describe deployed components with the specifications of component-based systems. Therefore, the formal specification language proposed in this paper can represent all elements to design components. In the case study, we specify an account management system in a bank so that we show that Component-Z can be used in all steps of component design.

• Journal of KIISE:Computer Systems and Theory
• /
• v.37 no.4
• /
• pp.205-214
• /
• 2010

BPEL is a standard workflow language, which interacts with Web Services and is used in various applications. But it is difficult to use BPEL for specific applications which require additional functions. In this paper, we present a system which can add new functions to BPEL based on an aspect-oriented programming (AOP) technique. In order to add new functions to BPEL, we define a JWX document format that can describe new functions to apply to BPEL. JWX is XML-oriented document that can code the corresponding Java program in order to dynamically add new functions to BPEL documents. It is possible for BPEL workflow to add new functions without modifying the existing programs using the AOP technique, which guarantees low degree of coupling between key and additional requirements. Additionally this systems weaves based on new functions of Java program and JWX document by expanding BPEL engine called B2J based on AOP and execute them. Therefore it is possible to develop a new BPEL engine with additional functions easily and with low cost. The new system can execute additional conditions that the current BPEL engine doesn’t provide. The new system using functions of BPEL supplied by B2J. The new system can be used to add a new rule engine, which isn't currently provided.

• The KIPS Transactions:PartD
• /
• v.13D no.4 s.107
• /
• pp.501-512
• /
• 2006

XML is the most popular platform-independent data expression which is used to communicate between loosely coupled heterogeneous systems such as B2B Applications or Workflow systems. The powerful query language XQuery has been developed to support diverse needs for querying XML documents. XQuery is designed to configure results from diverse data sources into a uniquely structured query result. Therefore, it became the standard for the XML query language. Although the latest XQuery supports heavy search functions including iterations, the grouping mechanism for data is too primitive and makes the query expression difficult and complex. Therefore, this work is focused on supporting the groupby clause in the query expression to process XQuery grouping. We suggest it to be a more efficient way to process grouping for restructuring and aggregation functions on XML data. We propose an XQuery EBNF that includes the groupby clause and implemented an XQuery processing system with grouping functions based on the eXist Native XML Database.

• Convergence Security Journal
• /
• v.20 no.5
• /
• pp.3-10
• /
• 2020

Recently, the Internet and networks are regarded as essential infrastructures that constitute society, and security threats have been constantly increased. However, the network switch that actually transmits packets in the network can cope with security threats only through firewall or network access control based on fixed rules, so the effective defense for the security threats is extremely limited in the network itself and not actively responding as well. In this paper, we propose an in-network security framework using the high-level data plane programming language, P4 (Programming Protocol-independent Packet Processor), to deal with DDoS attacks and IP spoofing attacks at the network level by monitoring all flows in the network in real time and processing specific security attack packets at the P4 switch. In addition, by allowing the P4 switch to apply the network user's or administrator's policy through the SDN (Software-Defined Network) controller, various security requirements in the network application environment can be reflected.