A service bus microkernel framework design method based on formal specifications

A formal specification and service bus technology, applied in the field of formal specification-based service bus microkernel framework design, can solve problems such as misleading developers and affecting system security and correctness

Active Publication Date: 2019-06-21
EAST CHINA NORMAL UNIV +1
View PDF6 Cites 6 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] When designing and developing the microkernel framework, it is necessary to consider many aspects such as the security of the kernel and the system. At present, the common design specification documents are described by na

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • A service bus microkernel framework design method based on formal specifications
  • A service bus microkernel framework design method based on formal specifications
  • A service bus microkernel framework design method based on formal specifications

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0044] The present invention will be further described in detail in conjunction with the following specific embodiments and accompanying drawings. The process, conditions, experimental methods, etc. for implementing the present invention, except for the content specifically mentioned below, are common knowledge and common knowledge in this field, and the present invention has no special limitation content.

[0045] Such as figure 1 Shown is the flow chart of the present invention's service bus microkernel framework design method based on formal specification, and the present invention comprises the following steps:

[0046] Step 1: Formally describe the framework design specifications described in natural language, and use Hall logic to abstract the formal specifications of inter-process communication primitives;

[0047] This embodiment is an example of a return situation in the CALL primitive in the inter-process communication primitive designed by this framework, that is, ...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention discloses a formal specification-based service bus microkernel framework design method, which comprises the following steps of: firstly, carrying out formal description on natural language specifications, and abstracting formal specifications of communication primitives among processes by utilizing Hall logic; then developing a design framework based on formalized description; defining an event service bus in the micro-kernel framework, directly receiving an event that falls into the kernel through the inter-process communication primitive by the event service bus, and determining whether to switch to a network service agent or a local service for processing according to the acquired data; enabling The event service bus to search the corresponding system service according tothe service number and call the system service to complete corresponding functions; enabling the system service to directly interact with the hardware, and return a result; processing Hardware interruption generated by the common hardware equipment by the event service bus, processing interruption of the intelligent hardware equipment by a built-in controller, and calling an interruption service subroutine to complete service. The framework completes the design of the micro-kernel by taking an event-driven service bus as a center.

Description

technical field [0001] The invention relates to the technical field of operating system microkernels, in particular to a design method for a service bus microkernel framework based on formal specifications. Background technique [0002] The system framework design of the operating system plays a vital role in the performance of a computer system. As for the open problem of the system framework design of the operating system, there are currently two main types of system framework designs: macro kernel framework design and micro-kernel framework design. Kernel framework design. [0003] The operating system designed by the macro kernel framework runs the main system functions of the operating system as a closely related whole in the kernel state of the system. Improve overall system performance. With the increase of operating system functions and the complexity of interface forms, the system code of the macro-kernel framework is becoming more and more difficult to maintain, ...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
IPC IPC(8): G06F8/20G06F8/30G06F9/48G06F9/54
Inventor 郭建陈志良关钰千辛耀中蒲戈光
Owner EAST CHINA NORMAL UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products