Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Automatic service combination method capable of guaranteeing correction and system thereof

An automatic service and correctness technology, applied in the field of network communication, can solve the problems of unrealizable combined service specifications and mismatched services, so as to improve development efficiency and reduce time and consumption

Inactive Publication Date: 2010-04-14
BEIHANG UNIV
View PDF0 Cites 8 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

This brings certain difficulties to users or developers: First, in order to provide completely correct and complete combined service specifications, users or developers must first verify the provided specifications; secondly, combined service specifications may be unrealizable. That is, the required component services cannot be combined into a composite service that satisfies the composite service specification; moreover, even if the composite service specification is correct and achievable, since the component services are provided by different developers, the There is heterogeneity, so service mismatches often occur, and further processing is required to achieve adaptation between services; finally, due to dynamic changes in user needs, developers have to rewrite business processes

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
  • Automatic service combination method capable of guaranteeing correction and system thereof
  • Automatic service combination method capable of guaranteeing correction and system thereof
  • Automatic service combination method capable of guaranteeing correction and system thereof

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0028] figure 1 It is a schematic flowchart of the first embodiment of an automatic service combination method whose correctness can be guaranteed in the present invention, as shown in figure 1 As shown, this embodiment may include the following steps:

[0029] Step 101. Obtain security specification, activity specification and message mapping.

[0030] The control flow requirements and data flow requirements input by the user through the user interface are obtained, wherein the control flow requirements include security specifications and activity specifications; the data flow requirements include message mapping.

[0031] In this embodiment, a calculation tree logic formula can be used to express the control flow requirement, which is a branch temporal logic, and the control flow requirement can be expressed as Where A is the global path quantifier, is the linear security specification, γ is the branch temporal security specification, and the set of atomic propositions ...

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 relates to an automatic service composition method capable of guaranteeing correction and a system thereof. The automatic service composition method comprises steps of acquiring safety specification, active specification and message map, converting the message map into computer logic formula specification, acquiring business processing executive language file, converting the business processing executive language file into automaton model file, constructing maximum composition service meeting the computer logic formula specification converted from the safety specification, the active specification and the message map through preplanned operation, and finally outputting maximum composition service. Without acquiring verified composition service specification previously, maximum composition service meeting property of correction can be constructed from given service only needing providing the correction property meeting the composition service specification, thereby reducing development time and consumption of composition service and increasing development efficiency and correction of composition service.

Description

technical field [0001] The invention relates to the field of network communication, in particular to a correctness-guaranteed automatic service combination method and system. Background technique [0002] In recent years, with the increasing maturity and promotion of Web Services (Web Services, Web Services for short) standards and technologies, Service-oriented Computing (SOC for short) has gradually become a new computing method for building distributed application systems. model. More and more Web services are developed and published on the Internet. Generally, when services are published, their service descriptions are disclosed, mainly including interface descriptions and business services described in Web Service Description Language (WSDL). A protocol description described in Business Process Execution Language (BPEL for short). How to integrate and combine these existing services to achieve higher-level functional aggregation, so as to meet the application needs of...

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): H04L29/08
Inventor 怀进鹏杜宗霞邓婷刘旭东李翔孙海龙
Owner BEIHANG UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

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

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com