Modeling simulation verification language (MSVL) asynchronous communication system and method

An asynchronous communication and asynchronous technology, applied in transmission system, inter-program communication, multi-program device, etc., can solve problems such as undiscovered reports or literature, achieve clear program structure, increase reusability, and achieve flexible effects

Active Publication Date: 2012-02-01
XIDIAN UNIV
View PDF0 Cites 8 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] The project team of this invention has searched domestic and foreign patent documents and published journal papers, and has not found any reports or documents closely related to the present invention.

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
  • Modeling simulation verification language (MSVL) asynchronous communication system and method
  • Modeling simulation verification language (MSVL) asynchronous communication system and method
  • Modeling simulation verification language (MSVL) asynchronous communication system and method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0061] The present invention is an MSVL asynchronous communication system, which is used to model and verify the asynchronous concurrent system. The various components of the asynchronous concurrent system are distributed in different locations, and there is a certain communication relationship between different components, such as a multi-party contract The signing agreement can be regarded as an asynchronous concurrent system, and different signatories need to communicate to exchange signatures on the contract. The MSVL asynchronous communication system includes a process module, a channel module and a communication command. The process module is connected through the channel module, and the asynchronous communication process is realized through the communication command. The process module, the channel module and the communication command are all defined based on MSVL.

[0062] see figure 2 , figure 2 The asynchronous concurrent system shown is composed of three componen...

Embodiment 2

[0102] The MSVL asynchronous communication system and method are the same as in Embodiment 1, and the defined channel module is used as the actual parameter called by the process module to connect the process module, and the number of channel actual parameters imported in each process module is determined by the communication needs of the modeled system OK, refer to figure 2 As shown, the process module P is defined in MSVL 1 , P 2 , P 3 and channel module C 12 , C 21 , C 32 , C 13 , and select the channel module as an actual parameter to call the corresponding process module, the specific MSVL statement is as follows: proc P 1 (C 1 , C 2 , C 3 )={...send(C 1 , x 1 );...receive(C 2 ,y);...;send(C 3 , x 2 )};proc P 2 (C 1 , C 2 , C 3 )={...receive(C 1 ,x);...send(C 2 ,y1);...;get(C 3 ,y 2 )};proc P 3 (C 1 , C 2 )={...put(C 1 ,x);...receive(C 2 ,y)}; chn C 12 (3) and chn C 21 (3) and chn C 13 (1) and chn C 32 (1)and(P 1 (C 12 , C 21 , C 13 )||...

Embodiment 3

[0105] MSVL asynchronous communication system and method are the same as embodiment 1, 2, define send (c, x) and receive (c, y) with MSVL to describe the communication process of the asynchronous concurrent system that does not have timeout mechanism, define put (c, y) with MSVL x) and get(c, y) to describe the communication process of an asynchronous concurrent system with a timeout mechanism. refer to figure 2 And according to the MSVL definition in Embodiment 2, the process module P 1 and P 2 and P 1 and P 3 There is no timeout mechanism in the asynchronous communication process between them. Once the process module executes the communication command, the process module will exit the command only after the message is sent or received successfully, and it cannot exit in advance by timeout, while the P 2 and P 3 There is a timeout mechanism in the asynchronous communication process between P 3 via channel module C 32 to P2 When sending a message, if C 32 is full, the...

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 modeling simulation verification language (MSVL)-based asynchronous communication system and an MSVL-based asynchronous communication method, belongs to the technical field of system formalized modeling and verification, and mainly relates to a formalized method for modeling and verification of asynchronous concurrent systems. The MSVL synchronous communication system comprises process modules, channel modules and communication commands, wherein the process modules are used for modeling of behaviors of each component in the asynchronous concurrent systems; the channel modules are used for modeling of communication media among different components; and the process modules are used for executing the communication commands to realize asynchronous communication processes among the different components. The number of channels among the process modules can be randomly finite according to the requirement of the system, the channel capacity can be defined according to the communication requirement of the system components, and meanwhile, two sets of communication commands are defined to adapt different asynchronous communication processes. The system and the method can be used for modeling and verification of a distributed system.

Description

technical field [0001] The invention belongs to the technical field of system formal modeling and verification, and mainly relates to modeling and verification of asynchronous concurrent systems with formal methods, specifically an asynchronous communication system and method based on MSVL, which can be used in the construction of distributed systems modeling and verification. technical background [0002] As a system modeling and verification tool, sequential logic has been widely used in software engineering, digital circuit design and other fields. There are three main branches of sequential logic: Linear Temporal Logic (ITL), Branch Temporal Logic (CTL) and Interval Temporal Logic (ITL). Projected Temporal Logic (PTL) extends ITL. Temporal logic language MSVL is an executable subset of PTL. It is a temporal logic programming that integrates modeling (Modeling), simulation (Simulation) and verification (Verification). Language, which unifies the modeling and property de...

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
Patent Type & Authority Applications(China)
IPC IPC(8): G06F9/46G06F9/54H04L29/08
Inventor 段振华王小兵莫大鹏田聪
Owner XIDIAN 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

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap