The advancement of science and technology has introduced the concept of big data, which has significantly transformed the business management environment of enterprises. Currently, most administrative tasks in compani...The advancement of science and technology has introduced the concept of big data, which has significantly transformed the business management environment of enterprises. Currently, most administrative tasks in companies heavily rely on human resources, with skilled management staff using their expertise to oversee business operations. However, this approach is susceptible to human subjective biases. The method assists managers in formulating efficient strategies for implementing management measures and enhancing the effectiveness of production, sales, financial, and people organization structure management. This ultimately leads to a more evidence-based approach to corporate management. This technique expands the utilization of Web services from a strategy focused on integrating services to a comprehensive framework for Service-Oriented Computing (SOC). The primary focus is implementing WS-session to manage sessions in general Web services applications, defining a bidirectional entire duplex interface for communication in Web services, and developing the Web Services Initiation Protocol, presenting WIP, a thorough multimedia and voice communication framework constructed using Web services and Service-Oriented Architecture (SOA). The office automation management system, created utilizing ASP.net and SQL Server technology, encompasses the evaluation of viability, analysis of needs, and system design. Office automation refers to using equipment with computing capabilities to carry out various office tasks and utilize associated tools and applications. Office automation uses computer-based systems to collect, organize, and modify visual and auditory information to enhance business energy efficiency and time management. Office automation refers to auto-mating essential tasks employees perform, including identification, automatic appointment reminders, and automatic power management for personal computers. The employee image is obtained through the utilization of the Java media framework. Attendance data for all employees are collected and methodically examined. The database enables the retrieval of these records monthly or weekly. An office automation system offers organizations enhanced features for managing office information, significantly improving office efficiency and quality. Moreover, it improves office administration and decision-making procedures by automating and strengthening the scientific elements of office functions. The ongoing progress of organizational information technology has led to a strong focus on sharing information resources in scientific research initiatives. Conventional firms exhibit intricate company processes, inadequate managerial efficacy, and unnecessarily elevated operational expenses, resulting in diminished competitiveness. Thus, using an ERP management system is the optimal decision for organizations to restore their crucial competitive advantage. This technology enhances their operational methods, streamlines their operations, and enhances transparency in their operational approaches. The system comprises six modules: buy plan, purchase order, purchase contract, purchase document inquiry, purchase to order, and purchase return. These modules effectively meet the operational needs of enterprises.展开更多
In order to enable quality-aware web services selection in the process of service composition,this paper first describes the non-functional requirements of service consumers and the quality of elementary service or co...In order to enable quality-aware web services selection in the process of service composition,this paper first describes the non-functional requirements of service consumers and the quality of elementary service or composite service as a quality vector,and then models the QoS(quality of service)-aware composition as a multiple criteria optimization problem in extending directed graph.A novel simulated annealing algorithm for QoS-aware web services composition is presented.A normalizing for composite service QoS values is made,and a secondary iterative optimization is used in the algorithm.Experimental results show that the simulated annealing algorithm can satisfy the multiple criteria and global QoS requirements of service consumers.The algorithm produces near optimum solution with much less computation cost.展开更多
For technical and other reasons there is a dilemma that data providers cannot find an appropriate way to redistribute spatial forest data and data users who need spatial data cannot access and integrate available fore...For technical and other reasons there is a dilemma that data providers cannot find an appropriate way to redistribute spatial forest data and data users who need spatial data cannot access and integrate available forest resources information. To overcome this dilemma, this paper proposed a spatial forest information system based on Web service using an open source software approach. With Web service based architecture, the system can enable interoperability, integrate Web services from other application servers, reuse codes, and shorten the development time and cost. At the same time, it is possible to extend the local system to a regional or national spatial forest information system. The growth of Open Source Software (OSS) provides an alternative choice to proprietary software for operating systems, web servers, Web-based GIS applications and database management systems. Using open source software to develop spatial forest information systems can greatly reduce the cost while providing high performance and sharing spatial forest information. We chose open source software to build a prototype system for Xixia County, Henan Province, China. By integrating OSS packages Deegree and UMN MapServer which are compliant to the OGC open specifications, the prototype system enables users to access spatial forest information and travelling information of Xixia County which come from two different data servers via a standard Web browser and promotes spatial forest information sharing.展开更多
In order to solve the problem that the current matchmaking methods for semantic web service mainly focus on the matchmaking of IO (inputs, outputs) descriptions which may result in one-sidedness, a description-logic...In order to solve the problem that the current matchmaking methods for semantic web service mainly focus on the matchmaking of IO (inputs, outputs) descriptions which may result in one-sidedness, a description-logic-based IOPE (inputs, outputs, preconditions, effects) description and matchmaking method is proposed for semantic web service. The description logic concept is used to annotate service IO and the description logic assertion is employed to describe service PE(preconditions, effects). TBox subsumption checking is used to measure the subsumption relationship between IO descriptions of service request and advertising; ABox consistency checking is used for checking the logical implication between PE descriptions of service request and advertising. Based upon the logical implication, four kinds of PE matching degrees are proposed to measure and compare the pros and cons of the results of matchmaking. They are the exact, perfect, side-effect and common match. Experiments show that the method has a higher precision rate under the same recall rate compared with the existing method.展开更多
In order to achieve adaptive and efficient service composition, a task-oriented algorithm for discovering services is proposed. The traditional process of service composition is divided into semantic discovery and fun...In order to achieve adaptive and efficient service composition, a task-oriented algorithm for discovering services is proposed. The traditional process of service composition is divided into semantic discovery and functional matching and makes tasks be operation objects. Semantic similarity is used to discover services matching a specific task and then generate a corresponding task-oriented web service composition (TWC) graph. Moreover, an algorithm for the new service is designed to update the TWC. The approach is applied to the composition model, in which the TWC is searched to obtain an optimal path and the final service composition is output. Also, the model can implement realtime updating with changing environments. Experimental results demonstrate the feasibility and effectiveness of the algorithm and indicate that the maximum searching radius can be set to 2 to achieve an equilibrium point of quality and quantity.展开更多
A geospatial cyberinfrastructure is needed to support advanced GIScience research and education activities.However,the heterogeneous and distributed nature of geospatial resources creates enormous obstacles for buildi...A geospatial cyberinfrastructure is needed to support advanced GIScience research and education activities.However,the heterogeneous and distributed nature of geospatial resources creates enormous obstacles for building a unified and interoperable geospatial cyberinfrastructure.In this paper,we propose the Geospatial Service Web(GSW)to underpin the development of a future geospatial cyberinfrastructure.The GSW excels over the traditional spatial data infrastructure by providing a highly intelligent geospatial middleware to integrate various geospatial resources through the Internet based on interoperable Web service technologies.The development of the GSW focuses on the establishment of a platform where data,information,and knowledge can be shared and exchanged in an interoperable manner.Theoretically,we describe the conceptual framework and research challenges for GSW,and then introduce our recent research toward building a GSW.A research agenda for building a GSW is also presented in the paper.展开更多
In order to improve the effectiveness of semantic web service discovery, the semantic bias between an interface parameter and an annotation is reduced by extracting semantic restrictions for the annotation from the de...In order to improve the effectiveness of semantic web service discovery, the semantic bias between an interface parameter and an annotation is reduced by extracting semantic restrictions for the annotation from the description context and generating refined semantic annotations, and then the semantics of the web service is refined. These restrictions are dynamically extracted from the parsing tree of the description text, with the guide of the restriction template extracted from the ontology definition. New semantic annotations are then generated by combining the original concept with the restrictions and represented via refined concept expressions. In addition, a novel semantic similarity measure for refined concept expressions is proposed for semantic web service discovery. Experimental results show that the matchmaker based on this method can improve the average precision of discovery and exhibit low computational complexity. Reducing the semantic bias by utilizing restriction information of annotations can refine the semantics of the web service and improve the discovery effectiveness.展开更多
Services discovery based on syntactic matching cannot adapt to the open and dynamic environment of the web. To select the proper one from the web services candidate set provided by syntactic matching, a service select...Services discovery based on syntactic matching cannot adapt to the open and dynamic environment of the web. To select the proper one from the web services candidate set provided by syntactic matching, a service selection method based on semantic similarity is proposed. First, this method defines a web services ontology including QoS and context as semantic supporting, which also provides a set of terms to describe the interfaces of web services. Secondly, the similarity degree of two web services is evaluated by computing the semantic distances of those terms used to describe interfaces. Compared with existing methods, interfaces of web services can be interpreted under ontology, because it provides a formal and semantic specification of conceptualization. Meanwhile, efficiency and accuracy of services selection are improved.展开更多
A web service wrapping approach for command line programs,which are commonly used in scientific computing,is proposed.First,software architecture for a basic web service wrapper implementation is given and the functio...A web service wrapping approach for command line programs,which are commonly used in scientific computing,is proposed.First,software architecture for a basic web service wrapper implementation is given and the functions of the main components are explained.Then after a comprehensive analysis of data transmission and a job life cycle model,a novel proactive file transmission and job management mechanism is devised to enhance the software architecture,and the command line programs are wrapped into web services in such a way that they can efficiently transmit files,supply instant status feedback and automatically manage the jobs.Experiments show that the proposed approach achieves higher performance with less memory usage compared to the related work, and the usability is also improved.This work has already been put into use in a production system of scientific computing and the data processing efficiency of the system is greatly improved.展开更多
To solve the bottleneck problem in centralized service discovery methods,a novel architecture based on domain ontology for semantic service discovery is proposed.This distributed architecture can adjust the domain par...To solve the bottleneck problem in centralized service discovery methods,a novel architecture based on domain ontology for semantic service discovery is proposed.This distributed architecture can adjust the domain partition and allocate system resources automatically.The characteristics of this mechanism are analyzed,including scalability,self-organization and adaptability.In this mechanism,semantic web service discovery is separated into two parts.First,under balance tree topology,registry proxy can rapidly forward requests to the objective registry center,and avoid the bottleneck problem.Secondly,a semantic distance based service matching algorithm is proposed to promote the effect of service searching.The results of simulation experiments show that the proposed mechanism can serve as a scalable solution for semantic web service publication and discovery.And the improved matching algorithm has higher recall and precision than other algorithms.展开更多
In order to improve the effectiveness of the artificial intelligence (AI) planning based web service composition problem, a business domain oriented AI planning algorithm for web service composition is introduced. T...In order to improve the effectiveness of the artificial intelligence (AI) planning based web service composition problem, a business domain oriented AI planning algorithm for web service composition is introduced. The algorithm uses the proposed business relation model to minimize the searching space and uses the proposed goal distance as a heuristic rule. Compared with other algorithms tackling web service composition such as AI planning, the proposed algorithm focuses not only on how to convert the web service composition problem to the AI planning problem, but also exerts its effort on how to apply the business feature of web service composition into planning in order to improve the effectiveness. The experiment shows the better performance of the proposed algorithm.展开更多
In order to formally reason and verify web services composition described by web services choreography specification WS-CDL,a typed formal model named typed Abstract WS-CDL(web services choreography description langu...In order to formally reason and verify web services composition described by web services choreography specification WS-CDL,a typed formal model named typed Abstract WS-CDL(web services choreography description language)for WS-CDL specifications is proposed.In typed Abstract WS-CDL,the syntax of type and session,typing rules and operational semantics are formalized;the collaborations of web services are formally described by sessions;the operational semantics of a session can help to formally reason the execution of the choreography;the typing rules can help to formally check the data type consistency of exchanged information between web services and capture run-time errors due to type mismatches.Particularly,the concepts of type assumption set extension and type assumption set compatibility are proposed,and the merging algorithm of type assumption sets is defined so as to eliminate type assumption conflict.Based on the formal model,typed mapping rules for mapping web services choreography to orchestration is also defined.With the typed mapping rules,orchestration stubs and their type assumption sets can be generated from a given choreography; thus, web services composition can be verified at choreography and orchestration levels,respectively.The model is proved to have properties of type safety,and how the model can help to reason and verify web services composition is illustrated through a case study.展开更多
B2B E Commerce is one of the most potential electronic commerce forms at present. But since traditional B2 B E Commerce system lacks an unified standard and solution of basic architectur e a nd interface, it has m...B2B E Commerce is one of the most potential electronic commerce forms at present. But since traditional B2 B E Commerce system lacks an unified standard and solution of basic architectur e a nd interface, it has many shortcomings such as poor reusability and poor extensi bility. In order to solve the problem, combined with Web Service technology, a B 2B E Commerce system model based on Web Service is proposed and analyzed. The m odel can combine relatively independent Web Service on Intranet and Internet by constructing core application program. As a part of supply chain, it can also pr ovide a standard interface for other applications such as ERP/CRM/SCM, etc. Th er efore, B2B E Commerce system with this form is easy for development, integratio n and maintenance. Finally, a solution of B2B E Commerce system based on Web Se rvice is propounded by introducing an instance.展开更多
In order to increase the effectiveness and the reliability of web services flow, the ~r-calculus formal method is introduced as a development language for web services flow. The π-calculus overcomes inabilities of we...In order to increase the effectiveness and the reliability of web services flow, the ~r-calculus formal method is introduced as a development language for web services flow. The π-calculus overcomes inabilities of web service flow languages in demonstrating the consistency, validating the correctness and so on. The π- calculus analysis and modeling of web services flow is presented, the dynamic actions and basic activities of WS-BPEL with π-calculus formally are described, and the mapping from π-calculus expression to WS-BPEL is built. The basic construction of web services flow with the π-calculus method after the analysis of the syntax of WS-BPEL and inter-description between WS-BPEL and π-calculus is expressed. Also discussed are the approaches to web services flow by modeling from different views, and the proposed approaches through the development and modeling of an e-commerce web service flow application are illustrated.展开更多
文摘The advancement of science and technology has introduced the concept of big data, which has significantly transformed the business management environment of enterprises. Currently, most administrative tasks in companies heavily rely on human resources, with skilled management staff using their expertise to oversee business operations. However, this approach is susceptible to human subjective biases. The method assists managers in formulating efficient strategies for implementing management measures and enhancing the effectiveness of production, sales, financial, and people organization structure management. This ultimately leads to a more evidence-based approach to corporate management. This technique expands the utilization of Web services from a strategy focused on integrating services to a comprehensive framework for Service-Oriented Computing (SOC). The primary focus is implementing WS-session to manage sessions in general Web services applications, defining a bidirectional entire duplex interface for communication in Web services, and developing the Web Services Initiation Protocol, presenting WIP, a thorough multimedia and voice communication framework constructed using Web services and Service-Oriented Architecture (SOA). The office automation management system, created utilizing ASP.net and SQL Server technology, encompasses the evaluation of viability, analysis of needs, and system design. Office automation refers to using equipment with computing capabilities to carry out various office tasks and utilize associated tools and applications. Office automation uses computer-based systems to collect, organize, and modify visual and auditory information to enhance business energy efficiency and time management. Office automation refers to auto-mating essential tasks employees perform, including identification, automatic appointment reminders, and automatic power management for personal computers. The employee image is obtained through the utilization of the Java media framework. Attendance data for all employees are collected and methodically examined. The database enables the retrieval of these records monthly or weekly. An office automation system offers organizations enhanced features for managing office information, significantly improving office efficiency and quality. Moreover, it improves office administration and decision-making procedures by automating and strengthening the scientific elements of office functions. The ongoing progress of organizational information technology has led to a strong focus on sharing information resources in scientific research initiatives. Conventional firms exhibit intricate company processes, inadequate managerial efficacy, and unnecessarily elevated operational expenses, resulting in diminished competitiveness. Thus, using an ERP management system is the optimal decision for organizations to restore their crucial competitive advantage. This technology enhances their operational methods, streamlines their operations, and enhances transparency in their operational approaches. The system comprises six modules: buy plan, purchase order, purchase contract, purchase document inquiry, purchase to order, and purchase return. These modules effectively meet the operational needs of enterprises.
基金The National Natural Science Foundation of China(No.60773217)Free Exploration Project(985 Project of Renmin University of China)(No.21361231)
文摘In order to enable quality-aware web services selection in the process of service composition,this paper first describes the non-functional requirements of service consumers and the quality of elementary service or composite service as a quality vector,and then models the QoS(quality of service)-aware composition as a multiple criteria optimization problem in extending directed graph.A novel simulated annealing algorithm for QoS-aware web services composition is presented.A normalizing for composite service QoS values is made,and a secondary iterative optimization is used in the algorithm.Experimental results show that the simulated annealing algorithm can satisfy the multiple criteria and global QoS requirements of service consumers.The algorithm produces near optimum solution with much less computation cost.
基金the National 863 program (2003AA131020-06)the programme Young scientists from extra-European countries to Lower Saxony.
文摘For technical and other reasons there is a dilemma that data providers cannot find an appropriate way to redistribute spatial forest data and data users who need spatial data cannot access and integrate available forest resources information. To overcome this dilemma, this paper proposed a spatial forest information system based on Web service using an open source software approach. With Web service based architecture, the system can enable interoperability, integrate Web services from other application servers, reuse codes, and shorten the development time and cost. At the same time, it is possible to extend the local system to a regional or national spatial forest information system. The growth of Open Source Software (OSS) provides an alternative choice to proprietary software for operating systems, web servers, Web-based GIS applications and database management systems. Using open source software to develop spatial forest information systems can greatly reduce the cost while providing high performance and sharing spatial forest information. We chose open source software to build a prototype system for Xixia County, Henan Province, China. By integrating OSS packages Deegree and UMN MapServer which are compliant to the OGC open specifications, the prototype system enables users to access spatial forest information and travelling information of Xixia County which come from two different data servers via a standard Web browser and promotes spatial forest information sharing.
文摘In order to solve the problem that the current matchmaking methods for semantic web service mainly focus on the matchmaking of IO (inputs, outputs) descriptions which may result in one-sidedness, a description-logic-based IOPE (inputs, outputs, preconditions, effects) description and matchmaking method is proposed for semantic web service. The description logic concept is used to annotate service IO and the description logic assertion is employed to describe service PE(preconditions, effects). TBox subsumption checking is used to measure the subsumption relationship between IO descriptions of service request and advertising; ABox consistency checking is used for checking the logical implication between PE descriptions of service request and advertising. Based upon the logical implication, four kinds of PE matching degrees are proposed to measure and compare the pros and cons of the results of matchmaking. They are the exact, perfect, side-effect and common match. Experiments show that the method has a higher precision rate under the same recall rate compared with the existing method.
基金The National Key Technology R&D Program of Chinaduring the 11th Five-Year Plan Period(No2007BAF23B0302)the Major Research Plan of the National Natural Science Foundation of China(No90818028)
文摘In order to achieve adaptive and efficient service composition, a task-oriented algorithm for discovering services is proposed. The traditional process of service composition is divided into semantic discovery and functional matching and makes tasks be operation objects. Semantic similarity is used to discover services matching a specific task and then generate a corresponding task-oriented web service composition (TWC) graph. Moreover, an algorithm for the new service is designed to update the TWC. The approach is applied to the composition model, in which the TWC is searched to obtain an optimal path and the final service composition is output. Also, the model can implement realtime updating with changing environments. Experimental results demonstrate the feasibility and effectiveness of the algorithm and indicate that the maximum searching radius can be set to 2 to achieve an equilibrium point of quality and quantity.
基金This work is jointly supported by National Basic Research Program of China(Nos.2012CB719906 and 2011CB707105)National Natural Science Foundation of China(Nos.41023001,40801153 and 40901190).
文摘A geospatial cyberinfrastructure is needed to support advanced GIScience research and education activities.However,the heterogeneous and distributed nature of geospatial resources creates enormous obstacles for building a unified and interoperable geospatial cyberinfrastructure.In this paper,we propose the Geospatial Service Web(GSW)to underpin the development of a future geospatial cyberinfrastructure.The GSW excels over the traditional spatial data infrastructure by providing a highly intelligent geospatial middleware to integrate various geospatial resources through the Internet based on interoperable Web service technologies.The development of the GSW focuses on the establishment of a platform where data,information,and knowledge can be shared and exchanged in an interoperable manner.Theoretically,we describe the conceptual framework and research challenges for GSW,and then introduce our recent research toward building a GSW.A research agenda for building a GSW is also presented in the paper.
基金The National Basic Research Program of China (973Program)(No.2005CB321802)Program for New Century Excellent Talents in University (No. NCET-06-0926)the National Natural Science Foundation of China (No.60403050,90612009)
文摘In order to improve the effectiveness of semantic web service discovery, the semantic bias between an interface parameter and an annotation is reduced by extracting semantic restrictions for the annotation from the description context and generating refined semantic annotations, and then the semantics of the web service is refined. These restrictions are dynamically extracted from the parsing tree of the description text, with the guide of the restriction template extracted from the ontology definition. New semantic annotations are then generated by combining the original concept with the restrictions and represented via refined concept expressions. In addition, a novel semantic similarity measure for refined concept expressions is proposed for semantic web service discovery. Experimental results show that the matchmaker based on this method can improve the average precision of discovery and exhibit low computational complexity. Reducing the semantic bias by utilizing restriction information of annotations can refine the semantics of the web service and improve the discovery effectiveness.
基金The National Natural Science Foundation of China(No.70471090,70472005),the Natural Science Foundation of Jiangsu Province(No.BK2004052,BK2005046).
文摘Services discovery based on syntactic matching cannot adapt to the open and dynamic environment of the web. To select the proper one from the web services candidate set provided by syntactic matching, a service selection method based on semantic similarity is proposed. First, this method defines a web services ontology including QoS and context as semantic supporting, which also provides a set of terms to describe the interfaces of web services. Secondly, the similarity degree of two web services is evaluated by computing the semantic distances of those terms used to describe interfaces. Compared with existing methods, interfaces of web services can be interpreted under ontology, because it provides a formal and semantic specification of conceptualization. Meanwhile, efficiency and accuracy of services selection are improved.
基金The National Natural Science Foundation of China(No.60573117)the National Basic Research Program of China(973 Program)(No.2007CB310805)
文摘A web service wrapping approach for command line programs,which are commonly used in scientific computing,is proposed.First,software architecture for a basic web service wrapper implementation is given and the functions of the main components are explained.Then after a comprehensive analysis of data transmission and a job life cycle model,a novel proactive file transmission and job management mechanism is devised to enhance the software architecture,and the command line programs are wrapped into web services in such a way that they can efficiently transmit files,supply instant status feedback and automatically manage the jobs.Experiments show that the proposed approach achieves higher performance with less memory usage compared to the related work, and the usability is also improved.This work has already been put into use in a production system of scientific computing and the data processing efficiency of the system is greatly improved.
基金The National Basic Research Program of China(973 Program)(No.2010CB328104,2009CB320501)the National Natural Science Foundation of China(No.61070161,61070158,61003257, 61003311)+2 种基金the National Key Technology R&D Program during the 11th Five-Year Plan Period(No.2010BAI88B03)the Foundation of Jiangsu Provincial Key Laboratory of Netw ork and Information Security (No.BM2003201)Open Research Fund from Key Laboratory of Computer Netw ork and Information Integration of Ministry of Education (Southeast University)
文摘To solve the bottleneck problem in centralized service discovery methods,a novel architecture based on domain ontology for semantic service discovery is proposed.This distributed architecture can adjust the domain partition and allocate system resources automatically.The characteristics of this mechanism are analyzed,including scalability,self-organization and adaptability.In this mechanism,semantic web service discovery is separated into two parts.First,under balance tree topology,registry proxy can rapidly forward requests to the objective registry center,and avoid the bottleneck problem.Secondly,a semantic distance based service matching algorithm is proposed to promote the effect of service searching.The results of simulation experiments show that the proposed mechanism can serve as a scalable solution for semantic web service publication and discovery.And the improved matching algorithm has higher recall and precision than other algorithms.
基金The National Key Technologies R & D Program of China during the 10th Five-Year Plan Period(No2004BA721A05)
文摘In order to improve the effectiveness of the artificial intelligence (AI) planning based web service composition problem, a business domain oriented AI planning algorithm for web service composition is introduced. The algorithm uses the proposed business relation model to minimize the searching space and uses the proposed goal distance as a heuristic rule. Compared with other algorithms tackling web service composition such as AI planning, the proposed algorithm focuses not only on how to convert the web service composition problem to the AI planning problem, but also exerts its effort on how to apply the business feature of web service composition into planning in order to improve the effectiveness. The experiment shows the better performance of the proposed algorithm.
基金The National Natural Science Foundation of China(No.60403027,60773191,70771043)the National High Technology Research and Development Program of China(863 Program)(No.2007AA01Z403)
文摘In order to formally reason and verify web services composition described by web services choreography specification WS-CDL,a typed formal model named typed Abstract WS-CDL(web services choreography description language)for WS-CDL specifications is proposed.In typed Abstract WS-CDL,the syntax of type and session,typing rules and operational semantics are formalized;the collaborations of web services are formally described by sessions;the operational semantics of a session can help to formally reason the execution of the choreography;the typing rules can help to formally check the data type consistency of exchanged information between web services and capture run-time errors due to type mismatches.Particularly,the concepts of type assumption set extension and type assumption set compatibility are proposed,and the merging algorithm of type assumption sets is defined so as to eliminate type assumption conflict.Based on the formal model,typed mapping rules for mapping web services choreography to orchestration is also defined.With the typed mapping rules,orchestration stubs and their type assumption sets can be generated from a given choreography; thus, web services composition can be verified at choreography and orchestration levels,respectively.The model is proved to have properties of type safety,and how the model can help to reason and verify web services composition is illustrated through a case study.
文摘B2B E Commerce is one of the most potential electronic commerce forms at present. But since traditional B2 B E Commerce system lacks an unified standard and solution of basic architectur e a nd interface, it has many shortcomings such as poor reusability and poor extensi bility. In order to solve the problem, combined with Web Service technology, a B 2B E Commerce system model based on Web Service is proposed and analyzed. The m odel can combine relatively independent Web Service on Intranet and Internet by constructing core application program. As a part of supply chain, it can also pr ovide a standard interface for other applications such as ERP/CRM/SCM, etc. Th er efore, B2B E Commerce system with this form is easy for development, integratio n and maintenance. Finally, a solution of B2B E Commerce system based on Web Se rvice is propounded by introducing an instance.
文摘In order to increase the effectiveness and the reliability of web services flow, the ~r-calculus formal method is introduced as a development language for web services flow. The π-calculus overcomes inabilities of web service flow languages in demonstrating the consistency, validating the correctness and so on. The π- calculus analysis and modeling of web services flow is presented, the dynamic actions and basic activities of WS-BPEL with π-calculus formally are described, and the mapping from π-calculus expression to WS-BPEL is built. The basic construction of web services flow with the π-calculus method after the analysis of the syntax of WS-BPEL and inter-description between WS-BPEL and π-calculus is expressed. Also discussed are the approaches to web services flow by modeling from different views, and the proposed approaches through the development and modeling of an e-commerce web service flow application are illustrated.