Abstract : The research performed under this grant was concerned with distributed languages and a... more Abstract : The research performed under this grant was concerned with distributed languages and algorithms.
Addison-Wesley Longman Publishing Co., Inc. eBooks, Mar 1, 2005
... Languages: QBE and PC Databases The Relationship between Relational Algebra and the ... Semis... more ... Languages: QBE and PC Databases The Relationship between Relational Algebra and the ... Semistructured Data Overview of XML XML Schema XML Query Languages Bibliographic Notes ... Query Planning Strategies Bibliographic Notes Exercises Chapter 17 OLAP and Data ...
Web service technologies provide a standard platform based on which heterogeneous software applic... more Web service technologies provide a standard platform based on which heterogeneous software applications can be integrated over the Internet. Web service protocols, such as WSDL, provide a standard way for software applications to communicate with each other. Web service orchestration languages, such as BPEL4WS, are proposed to specify business processes as workflows whose composite tasks are web services. In many cases, it is critical to verify the correctness of a business process before it is deployed, and it is also highly desirable that new business processes be automatically synthesized from available web services based on the business requirement. An abstract process model is introduced. The model restricts the data manipulation constructs in an abstract BPEL process. The restrictions permit a full description of a protocol while hiding computation details. A restricted abstract process can easily he converted into an abstract BPEL process or expanded into an executable process. A logic model is presented to formally specify the semantics of web services and workflows as abstract processes. A set of inference rules are established to deduce the strongest postcondition and weakest precondition of an abstract process. We demonstrate that the rules can be used for automatic inference due to the restriction on data manipulation capabilities in an abstract process. Based on this model, an algorithm is developed to automatically annotate the semantics and verify the correctness of workflows. An algorithm is developed to automatically synthesize a business process given its required semantics and a task library. The well-formedness of a task library is defined and the ranking assumption is introduced to simplify the synthesis procedure and guarantee its completeness. A prototype of the verification and synthesis system has been implemented and several business processes in the financial industry have been studied based on our approach. The model and algorithm is then extended to allow business rules to be specified and incorporated into the synthesis procedure.
Most workflow research focuses on the modeling aspects of workflows, ie, the specification of how... more Most workflow research focuses on the modeling aspects of workflows, ie, the specification of how the execution of thoses tasks in a workflow is to be ordered. Correctness of a workflow is not defined in terms of the outcome of the workflow, but in terms of the enforcement of the data and control dependency that are specified at design time. The semantics of each task is not modeled, thus the specification of these dependencies is based on the user's informal intuition and understanding of a particular workflow ...
Abstract : The research performed under this grant was concerned with distributed languages and a... more Abstract : The research performed under this grant was concerned with distributed languages and algorithms.
Addison-Wesley Longman Publishing Co., Inc. eBooks, Mar 1, 2005
... Languages: QBE and PC Databases The Relationship between Relational Algebra and the ... Semis... more ... Languages: QBE and PC Databases The Relationship between Relational Algebra and the ... Semistructured Data Overview of XML XML Schema XML Query Languages Bibliographic Notes ... Query Planning Strategies Bibliographic Notes Exercises Chapter 17 OLAP and Data ...
Web service technologies provide a standard platform based on which heterogeneous software applic... more Web service technologies provide a standard platform based on which heterogeneous software applications can be integrated over the Internet. Web service protocols, such as WSDL, provide a standard way for software applications to communicate with each other. Web service orchestration languages, such as BPEL4WS, are proposed to specify business processes as workflows whose composite tasks are web services. In many cases, it is critical to verify the correctness of a business process before it is deployed, and it is also highly desirable that new business processes be automatically synthesized from available web services based on the business requirement. An abstract process model is introduced. The model restricts the data manipulation constructs in an abstract BPEL process. The restrictions permit a full description of a protocol while hiding computation details. A restricted abstract process can easily he converted into an abstract BPEL process or expanded into an executable process. A logic model is presented to formally specify the semantics of web services and workflows as abstract processes. A set of inference rules are established to deduce the strongest postcondition and weakest precondition of an abstract process. We demonstrate that the rules can be used for automatic inference due to the restriction on data manipulation capabilities in an abstract process. Based on this model, an algorithm is developed to automatically annotate the semantics and verify the correctness of workflows. An algorithm is developed to automatically synthesize a business process given its required semantics and a task library. The well-formedness of a task library is defined and the ranking assumption is introduced to simplify the synthesis procedure and guarantee its completeness. A prototype of the verification and synthesis system has been implemented and several business processes in the financial industry have been studied based on our approach. The model and algorithm is then extended to allow business rules to be specified and incorporated into the synthesis procedure.
Most workflow research focuses on the modeling aspects of workflows, ie, the specification of how... more Most workflow research focuses on the modeling aspects of workflows, ie, the specification of how the execution of thoses tasks in a workflow is to be ordered. Correctness of a workflow is not defined in terms of the outcome of the workflow, but in terms of the enforcement of the data and control dependency that are specified at design time. The semantics of each task is not modeled, thus the specification of these dependencies is based on the user's informal intuition and understanding of a particular workflow ...
Uploads
Papers by Arthur Bernstein