Rule Description Language Research Articles

Developing a constructor of rules for generating and processing event series

The goal of the project is developing tools for generating and preprocessing event logs for process analysis using Process Mining methods. The implementation approach is based on low-code principles. Users should be able to develop their own rules for generating and processing event logs, including additional attributes, – event series. It is based on a multifaceted ontology that includes descriptions of rules (functions) and data. A rule description language was developed, and a user interface (constructor) was implemented for developing rules, an algorithm for interpreting them was described. The logs generated according to the rules are saved in formats that allow interoperability with existing Process Mining tools. The developed prototype shows the practical significance of the proposed approach.

A machine translation mechanism of Brazilian Portuguese to Libras with syntactic-semantic adequacy

AbstractDeaf people communicate naturally using visual-spatial languages, called sign languages (SL). Although SLs are recognized as a language in many countries, the problems faced by Deaf people for accessing information remain. As a result, they have difficulties exercising their citizenship and access information in SLs, which usually leads to linguistic and knowledge acquisition delays. Some scientific works have been developed to address these problems related to the machine translation of spoken languages to sign languages. However, the existing machine translation platforms have some limitations, especially in syntactic and lexical nature. Thus, this work aims to develop a mechanism for machine translation to Libras, the Brazilian Sign Language, with syntactic-semantic adequacy. It consists of an automatic translation component for Libras based on syntactic-semantic translation rules and a formal syntactic-semantic rule description language. As proof of concept of the proposed approach, we created a specific grammar for Libras translation exploring these aspects and integrating these elements into VLibras Suite, a service for machine translation of digital content in Brazilian Portuguese (BP) to Libras. We performed several tests using this modified version of VLibras to measure the level of comprehension of the output generated by the new translator mechanism. In the computational experiments, as well as in the actual tests with Deaf and hearing users, the proposed approach was able to improve the results of the current VLibras version.

Automatic Detection System for Abnormal Storage of Sensitive Data in Coastal Port Network Communication

Wang, Z., 2020. Automatic detection system for abnormal storage of sensitive data in coastal port network communication. In: Yang, Y.; Mi, C.; Zhao, L., and Lam, S. (eds.), Global Topics and New Trends in Coastal Research: Port, Coastal and Ocean Engineering. Journal of Coastal Research, Special Issue No. 103, pp. 868–872. Coconut Creek (Florida), ISSN 0749-0208.In order to effectively prevent the security threat of data storage in network communication and improve the accuracy of anomaly detection, an automatic anomaly detection system for sensitive data storage in coastal port network communication based on Linux platform is proposed and designed. The system is divided into data acquisition, protocol analysis, rule loading, exception detection, console and other functional modules. Among them, the data acquisition module mainly discusses the optional method of capturing data packets and BPF capture mechanism. The acquired network packets are processed by protocol analysis module and converted into data that can be easily analyzed; the rule description language is designed in the rule loading module to effectively discover and warn the abnormal behaviors by matching with the established rules; the information entropy is used to extract the behavioral characteristic parameters of network traffic in the abnormal detection part, and the detection process and detection method are discussed. The console module is designed as a web page based on WebSocket communication protocol, which is convenient to control the detection system across platforms. Experimental results show that the system has strong detection performance, high accuracy and reliability.

의미 기반 정적 분석과 규칙 명세 언어를 활용한 C/C++ 프로그램 보안 취약점 검출

의미 기반 정적 분석과 규칙 명세 언어를 활용한 C/C++ 프로그램 보안 취약점 검출

JPSearch: New international standard providing interoperable framework for image search and sharing

For the last 15 years, there have been various research and great advances in the field of content-based search and retrieval of images. In this paper, we present an overview of the JPSearch Standard, which is a recently published set of international standards providing interoperable framework for image search and sharing. The JPSearch standard is composed of six parts, which are Part 1: System framework and components, Part 2: Registration, identification and management of schema and ontology, Part 3: Query format, Part 4: File format for metadata embedded in image data (JPEG and JPEG 2000), Part 5: Data interchange format between image repositories, Part 6: Reference software. The Part 1 provides motivation and overview of the JPSearch framework. The Part 2 supports interoperability among various metadata specifications and social tagging using the specification of core metadata and translation rule description language. The Part 3 provides powerful image query language for interoperability among multiple image databases. The Part 4 specifies a file format based on JPEG and JPEG 2000 file format in which arbitrary number of metadata description of a image can be embedded. The Part 5 supports interoperability in interchanging images with metadata between image repositories. Finally, the Part 6 provides reference and utility softwares based on which the JPSearch compliant systems can be easily developed. In this paper, summaries and usage examples for each part of the JPSearch standard are presented.

An ontology-based architecture for implementing semantic integration of supply chain management

Efficient supply chain management (SCM) requires consistent exchange and sharing of information semantics, which is often hindered by semantic clashes among heterogeneous applications. This paper proposes an ontology-based architecture for addressing the problem of semantic integration. A supply chain ontology (SCO) is developed by using the skeletal method to capture concepts and relationships common to SCM. Moreover, it is formally defined in OWL DL, a web-based ontology language, to serve as an interlingua for an architecture enabling information integration of SCM. Syntactic transformation between XML Schema and OWL in the architecture is implemented by syntactic translators that are developed by using XSLT. Furthermore, a rule-based approach is presented to map semantically similar terminologies between SCO and application ontologies with the aim of enabling semantic interoperability among applications in supply chains. The mapping rules are represented by SWRL, a rule description language that is independent of the rule languages specific to inference engines. In addition, a case study of a printer supply chain is illustrated to demonstrate the proposed methodology. Finally, a prototype system is developed using the Java platform to implement the SCO-based approach to semantic integration of SCM.

An automatic security test engine for IPv6 network

IPsec offers not only internet security service such as internet secure communication and authentication but also the safe key exchange and anti-replay attack mechanism. Recently IPsec has been implemented on the various operating systems in IPv6 Network. IPv6 is a new version of IPv4. But there is no existing tool that checks the servers, which provide IPsec services, work properly and provide their network security services well on IPv6 Network. In this paper, we design and implement an Automatic Security Test Engine for IPv6 Network. And we also design rule description language to define security evaluation rule. This system is operated on Windows and UNIX platform. We developed the system using Java and C language.

IPv6 네트워크 계층의 보안성 평가를 위한 평가규칙 표기 언어 및 평가 수행기의 설계

현재 차세대 인터넷 IPv6 네트워크의 보안을 위한 IPsec(IP Security)의 구현에 대한 연구가 매우 활성화 되고 있는 추세이다. 그러나 현재 IPv6 네트워크 계층의 보안성을 평가하기 위한 자동화된 도구나 평가 방법론 등에 관한 연구는 매우 미진한 상황이다 본 논문에서는 IPv6 기반 IPsec이 적용된 보안 시스템의 보안성을 평가하기 위해, 보안성 평가 항목을 정의할 수 있는 평가규칙표기언어를 설계하고 평가규칙표기언어를 이용하여 정의된 평가규칙을 해석하고 실행하기 위한 평가규칙 처리 도구를 제안한다. 평가규칙 처리도구는 사용자 인터페이스 부, 평가규칙 모듈 부, DBMS부로 구성되며 평가 대상 시스템에 탑재된 에이전트와의 협력을 통해 평가를 수행하는 구조를 갖는다. Recently. many projects have been actively implementing IPsec on the various Operating Systems for security of IPv6 network. But there is no existing tool that checks the IPsec-based systems, which provide IPsec services, work Properly and provide their network security services well In the IPv6 network. In this paper, we design SERDL(Security Evaluation Rule Description Language) and rule execution tool for evaluating security of the IPv6 network, and we provide implementation details. The system Is divided into following parts : User Interface part, Rule Execution Module part, DBMS part and agent that gathering information needed for security test.

A Development of the Interpreter Type Simulator for Cellular Automata

Cellular Automata (CA), which is a method for analyzing phenomena of complex systems, allows us to construct many kinds of simulators such as road traffic simulators. When we design a CA model, we need a CA simulator for verification of its result. However, at the present, we need to develop a software simulator since CA dedicated computers have not been generalized yet. We need to use a trial and error method with the simulator for design of local rules, which is the main process of making CA models. We have developed an interpreter that makes this process easily. Giving the system a local rule described in a CA dedicated language, the user can instantly confirm the result. When the user change the rules, the system reflects his changes immediately. Our system does not regulate to design the local rules belonging to the CA category because the system is a general purpose CA simulator that adopts the method by description in the special language for definitions of local rules. We can modify a rule dramatically since the system interprets a rule description language in runtime. Furthermore, we can change variable parameters using GUI interfaces. Whereby they iterate to change a rule, a conflictive conditional statement sometimes occurs in a description of local rules. This conflict is far from seeking generally. Our system detects such a conflict automatically and notifies it to users as an error.

Implementation of multistep fuzzy reasoning shell

AbstractRecently, there have been many trials conducted to develop fuzzy inference systems that can handle the subjective decision of the expert. A problem in the fuzzy control system is that it is an inference composed of only a single step, and cannot be applied to the decision‐making assist or diagnosis, where the inference is made in multisteps. Another point is that the rules of the inference cannot be described for each knowledge source, which has been the conventional inference shell (deterministic inference shell).This paper proposes a fuzzy inference shell which can realize the multistep inference using the blackboard model. The proposed shell uses its own rule description language to represent the knowledge, and the description can be made by combining the new method with the conventional deterministic inference.Using the divided knowledge blocks, the multi‐step fuzzy inference can be realized using the blackboard model. The search function also is provided that can track the inference path in the multistep inference. This paper describes the basic configuration of such a shell.

KBSIM: a system for interactive knowledge-based simulation

The kbsim system integrates quantitative simulation with symbolic reasoning techniques, under the control of a user interface management system, using a relational database management system for data storage and interprocess communication. The system stores and processes knowledge from three distinct knowledge domains, viz. (i) knowledge about the processes of the system under investigation, expressed in terms of a Continuous System Simulation Language (CSSL); (ii) heuristic knowledge on how to reach the goals of the simulation experiment, expressed in terms of a Rule Description Language (RDL); and (iii) knowledge about the requirements of the intended users, expressed in terms of a User Interface Description Language (UIDL). The user works in an interactive environment controlling the simulation course with use of a mouse and a large screen containing a set of ‘live’ charts and forms. The user is assisted by an embedded ‘expert system’ module continuously watching both the system's behavior and the user's action, and producing alerts, alarms, comments and advice. The system was developed on a Hewlett-Packard 9000/350 workstation under the HP-Unix and HP-Windows operating systems, using the Mimer database management system, and Fortran, Prolog/Lisp and C as implementation languages. The kbsim system has great potentials for supporting problem solving, design of working procedures and teaching related to management of highly dynamic systems.

A transportable programming language (TPL) system. II. The bifunctional compiler system

For pt.I see P.A.D. de Maine, S. Leong, and C.G. Dairs, Int. J. Comput. Inform. Sci., vol.14, p.161-82, 1985. The transportable programming language (TPL) method is a high-level-language approach that uses a bifunctional compiler to efficiently convert code among various dialects of a particular high-level language (HLL) via the hypothetical parent of the high-level language (HPHLL). The TPL compiler system that has been implemented has three parts: a rule modifier, a table generator, and a TPL compiler. A metalanguage, called the conversion rule description language (CRDL), is used to describe the conversion of a dialect to HPHLL and of the HPHLL to another dialect. The table generator translates those descriptions to tabular forms that drive the bifunctional compiler. The TPL compiler can then be used to translate programs coded in a local dialect into HPHLL and vice versa. The rule modifier alters the descriptions of a default-a synthetic 'most common'-dialect. It greatly simplifies the task of writing the conversion descriptions for a new environment or dialect. The TPL method is now being extended so that it can be used to retarget a dialect of any HLL to a standard environment such as Ada. Details of the TPL compiler system are given. >

LSI logic synthesis expert system

AbstractThis paper describes the expert system which automatically generates the logic circuit composed of elements registered in the cell library, receiving the functional description at the register transfer level of the hardware as the input. The features of the system are that it includes the dedicated circuit data structure, the rule description language, and the corresponding processing system, which can generate a high‐quality large‐scale circuit in a short processing time.In other words, by introducing the technology‐independent functional elements into the data structure, the circuit can be generated by effectively utilizing the high‐level functional library elements. By including the mechanism for the local transformation into the system and by other sophistications, a practical processing speed is realized. The knowledge depending on the library and the user, is formulated into rules. This is useful in providing the system with flexibility. The system has already been applied to the development of more than 30 kinds of practical products. Using a large‐scale computer with 15 MIPS, a circuit with several thousands of gates can be generated automatically in 4 to 12 min.