In order to support just-in-time reconfiguration of business process execution language (BPEL) process, a template-based mapping method is proposed to map business level process to BPEL process. The method builds up...In order to support just-in-time reconfiguration of business process execution language (BPEL) process, a template-based mapping method is proposed to map business level process to BPEL process. The method builds up mapping relationships between the key points of business level process and BPEL process, which helps users to adjust the business level process with simplified operations, and automatically maps the changes to BPEL. In addition, a case of the application of the method in a clothing enterprise was illustrated.展开更多
WS-BPEL (Web Service Business Process Execution Language), as an emerging workflow standard, provides a simple and effective way to construct Web Services-oriented workflows. However, to the best of our knowledge, f...WS-BPEL (Web Service Business Process Execution Language), as an emerging workflow standard, provides a simple and effective way to construct Web Services-oriented workflows. However, to the best of our knowledge, few effort from the industry and academia has addressed the dynamic change problems of BPEL process. This paper proposes a reflective approach to solve this problem. In this paper, a formal meta-object model of process instance is defined; the behavioral consistency criterion based on this model is proposed; a set of modification primitives are given to modify the meta-object while keeping the change atomic and consistent; and in addition, the MOP is offered to provide the programming interfaces for dynamic BPEL process change.展开更多
This paper proposes a method of data-flow testing for Web services composition. Firstly, to facilitate data flow analysis and constraints collecting, the existing model representation of business process execution lan...This paper proposes a method of data-flow testing for Web services composition. Firstly, to facilitate data flow analysis and constraints collecting, the existing model representation of business process execution language (BPEL) is modified in company with the analysis of data dependency and an exact representation of dead path elimination (DPE) is proposed, which over-comes the difficulties brought to dataflow analysis. Then defining and using information based on data flow rules is collected by parsing BPEL and Web services description language (WSDL) documents and the def-use annotated control flow graph is created. Based on this model, data-flow anomalies which indicate potential errors can be discovered by traversing the paths of graph, and all-du-paths used in dynamic data flow testing for Web services composition are automatically generated, then testers can design the test cases according to the collected constraints for each path selected.展开更多
Communicating Sequential Processes (CSP) is a kind of process algebra, which is suitable for modeling and verifying Web service composition. This paper describes how to model Web service composition with CSP. A set ...Communicating Sequential Processes (CSP) is a kind of process algebra, which is suitable for modeling and verifying Web service composition. This paper describes how to model Web service composition with CSP. A set of rules for translating composition constructor of Business Process Execution Language for Web Services (BPEL4WS) to CSP notations is defined. According to the rules that have been defined, the corresponding translation algorithm is designed and illustrated with examples . The methods for model checking, model verification and model simulation are also introduced.展开更多
With the prosperity of the Internet,e-learning has been greatly improved. By supporting multiple learners and multiple roles in a learning activity,the IMS Learning Design (LD) specification provides a collaborative s...With the prosperity of the Internet,e-learning has been greatly improved. By supporting multiple learners and multiple roles in a learning activity,the IMS Learning Design (LD) specification provides a collaborative scenario for participants. However,IMS LD provides insufficient support for interaction among learning activities and can not dynamically integrate learning resources to meet the continually changing service requirements. In this paper,a Business Process Execution Language (BPEL) enhanced requirement driven learning management architecture to address the issues of personalize adaptive learning was proposed. It models the learning activity by combining IMS LD with BPEL and matches optimal learning sequence based on Case-based reasoning (CBR) method. By providing expandable secure learning sequences flexibly,it satisfies the different actual demands for personalize learning.展开更多
Business process execution language(BPEL)is a most recognized standard workflow language.However,it is difficult to be used in the ubiquitous system computing environment because it is difficult to describe the contex...Business process execution language(BPEL)is a most recognized standard workflow language.However,it is difficult to be used in the ubiquitous system computing environment because it is difficult to describe the context information in the selection of the flow through the branch.To solve this problem,we propose a new BPEL workflow system with context-awareness by using aspect-oriented programming(AOP).This system is composed of a BPEL system module and a weaving module using AOP for context-aware.The BPEL system module generates a BPEL workflow program.And the weaving module converts a context-aware mark-up language(CAML)document to the aspect-oriented program that is applied to context-aware code without modification of the existing BPEL document.We also define a new document form that is called CAML,which provides a context-aware that is not available in BPEL.The system can generate a context-aware workflow program.It is developed in a way that inserts context information using AOP to provide context-aware services.展开更多
Information leak,which can undermine the compliance of web-service-composition business processes for some policies,is one of the major concerns in web service composition.We present an automated and effective approac...Information leak,which can undermine the compliance of web-service-composition business processes for some policies,is one of the major concerns in web service composition.We present an automated and effective approach for the detection of implicit information leaks in business process execution language(BPEL)based on information flow analysis.We introduce an adequate meta-model for BPEL representation based on a Petri net for transformation and analysis.Building on the concept of Petri net place-based noninterference,the core contribution of this paper is the application of a Petri net reachability graph to estimate Petri net interference and thereby to detect implicit information leaks in web service composition.In addition,a case study illustrates the application of the approach on a concrete workflow in BPEL notation.展开更多
基金the National High-Technology Research and Development Program of China (863 Program) (2006AA04Z158, 2006AA01A106)the National Basic Research Program of China (973 Program) (2005CB 321807, 2007CB310805)
文摘In order to support just-in-time reconfiguration of business process execution language (BPEL) process, a template-based mapping method is proposed to map business level process to BPEL process. The method builds up mapping relationships between the key points of business level process and BPEL process, which helps users to adjust the business level process with simplified operations, and automatically maps the changes to BPEL. In addition, a case of the application of the method in a clothing enterprise was illustrated.
基金the National Natural Science Foundation of China(60473066, 60773006)the National High Technology Research and Development Program of China(863 Program)(2006AA012168)
文摘WS-BPEL (Web Service Business Process Execution Language), as an emerging workflow standard, provides a simple and effective way to construct Web Services-oriented workflows. However, to the best of our knowledge, few effort from the industry and academia has addressed the dynamic change problems of BPEL process. This paper proposes a reflective approach to solve this problem. In this paper, a formal meta-object model of process instance is defined; the behavioral consistency criterion based on this model is proposed; a set of modification primitives are given to modify the meta-object while keeping the change atomic and consistent; and in addition, the MOP is offered to provide the programming interfaces for dynamic BPEL process change.
基金the National Natural Science Foundation of China(60425206, 60503033)National Basic Research Program of China (973 Program, 2002CB312000)Opening Foundation of State Key Laboratory of Software Engineering in Wuhan University
文摘This paper proposes a method of data-flow testing for Web services composition. Firstly, to facilitate data flow analysis and constraints collecting, the existing model representation of business process execution language (BPEL) is modified in company with the analysis of data dependency and an exact representation of dead path elimination (DPE) is proposed, which over-comes the difficulties brought to dataflow analysis. Then defining and using information based on data flow rules is collected by parsing BPEL and Web services description language (WSDL) documents and the def-use annotated control flow graph is created. Based on this model, data-flow anomalies which indicate potential errors can be discovered by traversing the paths of graph, and all-du-paths used in dynamic data flow testing for Web services composition are automatically generated, then testers can design the test cases according to the collected constraints for each path selected.
基金Supported by the National Natural Science Foun-dation of China(60403027) the Natural Science Foundation of HubeiProvince(2005ABA258) the Open Foundation of State Key La-boratory of Software Engineering (SKLSE05-07)
文摘Communicating Sequential Processes (CSP) is a kind of process algebra, which is suitable for modeling and verifying Web service composition. This paper describes how to model Web service composition with CSP. A set of rules for translating composition constructor of Business Process Execution Language for Web Services (BPEL4WS) to CSP notations is defined. According to the rules that have been defined, the corresponding translation algorithm is designed and illustrated with examples . The methods for model checking, model verification and model simulation are also introduced.
基金National Natural Science Foundation of China (No.60673010)Natural Science Foundation of Hubei Province ofChina (No.2009CDA135)
文摘With the prosperity of the Internet,e-learning has been greatly improved. By supporting multiple learners and multiple roles in a learning activity,the IMS Learning Design (LD) specification provides a collaborative scenario for participants. However,IMS LD provides insufficient support for interaction among learning activities and can not dynamically integrate learning resources to meet the continually changing service requirements. In this paper,a Business Process Execution Language (BPEL) enhanced requirement driven learning management architecture to address the issues of personalize adaptive learning was proposed. It models the learning activity by combining IMS LD with BPEL and matches optimal learning sequence based on Case-based reasoning (CBR) method. By providing expandable secure learning sequences flexibly,it satisfies the different actual demands for personalize learning.
基金Basic Science Research Program through the National Research Foundation of Korea(NRF)funded by the Ministry of Education,Science and Technology(No.2010-0025831)
文摘Business process execution language(BPEL)is a most recognized standard workflow language.However,it is difficult to be used in the ubiquitous system computing environment because it is difficult to describe the context information in the selection of the flow through the branch.To solve this problem,we propose a new BPEL workflow system with context-awareness by using aspect-oriented programming(AOP).This system is composed of a BPEL system module and a weaving module using AOP for context-aware.The BPEL system module generates a BPEL workflow program.And the weaving module converts a context-aware mark-up language(CAML)document to the aspect-oriented program that is applied to context-aware code without modification of the existing BPEL document.We also define a new document form that is called CAML,which provides a context-aware that is not available in BPEL.The system can generate a context-aware workflow program.It is developed in a way that inserts context information using AOP to provide context-aware services.
基金Project supported by the National High-Tech R&D Program(863)of China(No.2015AA015303)the National Natural Science Foundation of China(No.61272083)
文摘Information leak,which can undermine the compliance of web-service-composition business processes for some policies,is one of the major concerns in web service composition.We present an automated and effective approach for the detection of implicit information leaks in business process execution language(BPEL)based on information flow analysis.We introduce an adequate meta-model for BPEL representation based on a Petri net for transformation and analysis.Building on the concept of Petri net place-based noninterference,the core contribution of this paper is the application of a Petri net reachability graph to estimate Petri net interference and thereby to detect implicit information leaks in web service composition.In addition,a case study illustrates the application of the approach on a concrete workflow in BPEL notation.