摘要
服务流程将工作流管理和服务计算两个领域结合在一起,提供了一种很有前景的分布式协同系统的实现方案。服务流程体现了解决某个问题的步骤及这些步骤之间的逻辑关系。我们认为服务流程不仅是解决问题的工具,更是一种特殊类型的可重用的知识。为了使服务计算成为问题求解的智能化集成环境,本文结合语义技术针对服务流程的知识复用问题进行了研究,主要内容如下:
(1)服务流程模型统一描述机制的研究。服务流程的模型表示了其设计者解决问题的知识,而目前存在许多的流程模型描述机制,这些描述机制在表达这些知识时存在很多的差别。作为服务流程各种复用技术的基础,需要设法将这些用不同描述机制表示的流程模型转换为统一的描述机制。本文提出使用流程结构树作为服务流程模型的统一描述机制,设计了将其他流程模型描述机制描述下的流程模型转化为流程结构树的方法,并分析了相关算法的性能。
(2)服务流程语义描述机制的研究。本文将服务流程的语义分为目标语义和语境语义,目标语义表示服务流程或服务活动要实现的功能目标,语境语义表示服务流程用户的应用语境。本文分别给出了这两种语义的定义、功能及其模板配置方式,用具体示例做了说明,并比较了二者的区别。
(3)基于目标语义的服务流程知识复用技术的研究。根据对服务流程知识复用的不同需求,本文描述了一个基于目标语义的服务流程知识复用架构,将服务流程知识复用分为流程匹配和流程复合,又将流程匹配分为基于例化关系的流程匹配和基于水平关系的流程匹配两种类型。本文分别提出了实现这些复用功能的方法,通过案例分析说明了这些方法的有效性,并分析了相关算法的性能。
(4)基于语境语义的服务流程修改知识复用技术的研究。本文提出了一个通过比较修改前后的流程自动获取流程修改序列的方法,讨论了怎样用数据挖掘方法发现流程修改和用户语境变化之间的关联性,设计了将可能的流程修改操作组合成可行修改序列的方法,通过案例分析说明了这些方法的有效性,并分析了相关算法的性能。
(5)服务流程智能复用原型系统的实现研究。根据上述研究的成果,开发了一个整合所有复用功能的原型系统。本文介绍了该原型系统的框架,并介绍了其各个模块的应用细节。
As a combination of workflow management and service computing, service process technology is a promising solution for distributed cooperative system. A service process presents the steps to solve a specific problem and the logic relationship among these steps. We believe service process is not only a tool to solve problems, but also a special kind of reuseful knowledge. To make service computing environment be an intelligent integrated environment of problem solving, combining semantic technology, this dissertation research service process reuse issue on following topics:
(1) Research on the universal describing mechanism of service process model. A service process model presents its designer’s knowledge of solving a specific problem. It exists many mechanisms for describing service process model and there are many differences among these mechanisms to express the knowledge. As the basis of service process reuse, it needs transforming the process models described by different mechanisms to models described by a uniform description mechanism. This dissertation proposes using process structure tree as the universal describing mechanism of service process model, desgins the method of transforming the process models described by other describing mechanisms to process structure tree, and analyzes the performance of related algorithms.
(2) Research on semantic describing mechanism of service process. Semantics of service process is classified to goal semantics and context semantics. The goal semantics describes the functional goal of a service process or a service activity, and the context semantics describes the application context of a user of service process. This dissertation proposes definitions, functions and template configuration methods of these two semantics, and show their effects through comparative case study.
(3) Research on service process knowledge reuse technology based on goal semantics. According to different requests to service process reuse, this dissertation puts forward a goal-based service process knowledge reuse framework. This framework divides service process knowledge reuse into process match and process composition, and classifies process match into two kinds-one based on instantial relationship and the other based on horizontal relationship. This dissertation proposes the approaches of realizing these reuse functions separately, shows the effectivity of these approaches by case study, and analyzes the performance of related algorithms..
(4) Research on service process revision knowledge reuse technology based on context semantics. This dissertation proposes a top-down maximal common subtree retrieval algorithm, and discusses how to use data mining technology to mine the association of process change and context change, designs an approach to compose possible process change operations to feasible change sequence, demonstrates the effectivity of these approaches by case study, and analyzes the performance of related algorithms.
(5) Research on the implementation of service process intelligent reuse prototype. According to above researches, a prototype system which integrates all reuse functions has been implemented. This dissertation introduces the system’s framework and introduces the application details of every module in prototype.
引文
[1]肖侬,任浩,徐志伟等.基于资源目录技术的网格系统软件设计与实现.计算机研究与发展. 2002, 39(8): 902-906.
[2] Newman, W.S., Podgurski, A., Quinn, R.D., et al. Design lessons for building agile manufacturing systems. IEEE Transaction on Robotics and Automation. 2000, 16(3): 228-238.
[3] O'Neill, P., Sohal, A.S. Business Process Reengineering: A review of recent literature. Technovation. 1999, 19(9): 571-581.
[4] Mowshowitz A. On the theory of virtual organization. Systems Research and Behavioral Science. 1997, 14(6): 373-384.
[5] Clip, P. DCOM: Microsoft enhances DCE. BYTE. 1998, 23(3): 47-48.
[6] Vinoski, S. CORBA: Integrating diverse applications within distributed heterogeneous environments. IEEE Communications Magazine. 1997, 35(2): 46-55.
[7] Waldo, J. Remote procedure calls and Java Remote Method Invocation. IEEE Concurrency. 1998, 6(3): 5-7.
[8] Papazoglou M.P., Traverso P., Dustdar S. et al. Service-oriented computing: a research roadmap. International Journal of Cooperative Information Systems. 2008, 17(2): 223-255.
[9] Papazoglou, M. P. Service-oriented computing: concepts, characteristics and directions. In Proc. of the 4th International Conference on Web Information Systems Engineering. 2003: 3-12.
[10] Clément L., K?nig D., Mehta V., et al. Web Services– Human Task (WS-HumanTask) Specification Version 1.1. http://docs.oasis-open.org/bpel4people/ws-humantask-1.1.html
[11] Schaffer, H.E. X as a Service, Cloud Computing, and the Need for Good Judgment. IT Professional. 2009, 11(5): 4-5
[12] Schroth, C., Janner, T. Web 2.0 and SOA: Converging Concepts Enabling the Internet of Services. IT Professional. 2007, 9(3): 36-41
[13] Elzinga, D.J., Horak, T., Lee C. Business Process Management: Survey and Methodology. IEEE Transactions on Engineering Management. 42(2): 119-128
[14] Georgakopolous D., Hornick M., Sheth A. An overview of workflow management: from process modeling to workflow automation infrastructure. Distributed and Parallel Databse. 1995, 3(2): 119-152.
[15]孙晓晗.服务流程的适应性建模及其执行机制[硕士论文].上海:上海交通大学. 2009.
[16] Skogan, D., Groenmo, R., Solheim, I. Web service composition in UML. In Proc. of the 8th International Comference on Enterprise Distributed Object Computing. 2004: 47-57.
[17] Hamadi R., Benatallah B. A Petri Net-based Model for Web Service Composition. In Proc. of the 14th Australasian database conference. 2003: 191-200
[18] Rosenberg, F., Dustdar, S. Business Rules Integration in BPEL: A Service-Oriented Approach. In Proc. of 7th IEEE International Conference on E-Commerce Technology. 2005, 476-479.
[19] Cao L., Li M., Cao J., et al. CNP-based Implementation of Service-oriented Workflow Mapping in SHGWMS. World Wide Web. 2008, 11(2): 199-226.
[20] Fida, A. Workflow Scheduling for Service Oriented Cloud Computing[Master Dissertation]. Saskatoon: University of Saskatchewan. 2008.
[21] Afzal A. QoS-Constrained Stochastic Workflow Scheduling in Enterprise and Scientific Grids. InProc. of the 7th IEEE/ACM International Conference on Grid Computing. 2006: 1-8.
[22]胡春华.面向QoS需求的Web服务工作流构造模型及调度算法研究[博士论文].长沙:中南大学. 2007.
[23] Mei, L. Chan, W.K. Tse, T.H. Dataflow Testing of Service-Oriented Workflow Applications. In Proc. of the 30th International Conference on Software Engineering. 2008: 371-380.
[24] Xu W., Wei J., Liu Y., et al. SOWAC: A Service-Oriented Workflow Access Control Model. In the Proc. of the 28th International Conference on Computer Software and Applications. 2004: 128-134.
[25] Hwang S., Kesselman C. GridWorkflow: A Flexible Failure Handling Framework for the Grid. In Proc. of the 12th IEEE International Symposium on High Performance Distributed Computing. 2003: 126-137
[26] Azimi, A., Parsa, S. A Reliable Framework for Adaptive Scientific Workflow Management Systems Based on SOA. In Proc. of the 13th International Conference on Advanced Communication Technology. 2011: 1358-1363.
[27] Hey T., Trefethen A.E. The UK e-Science Core Programme and the Grid. Future Generation Computer Systems. 2002, 18(8): 1017-1031.
[28] De Roure, D., Goble, C., Bhagat, J. myExperiment: Defining the Social Virtual Research Environment. In Proc. of IEEE Fourth International Conference on eScience. 2008: 182-189.
[29] Al-Mashari M., Zairi M. The Effective Application of SAP R/3: A Proposed Model of Best Practice. Logistics Information Management. 2000, 13(3): 156-166
[30] Deelman, E., Blythe, J., Gil Y., et al. Mapping Abstract Complex Workflows onto Grid Environments. Journal of Grid Computing. 2003, 4(1): 25-29.
[31] Ludascher, B.; Altintas, I.; Gupta, A. Compiling Abstract Scientific Workflows Into Web Service Workflows. In Proc. of the 15th International Conference on Scientific and Statistical Database Management. 2003: 251-254.
[32] Gallopoulos E., Houstis E., Rice J. Computer as Thinker/Doer: Problem-Solving Environments for Computational Science. IEEE Computational Science and Engineering. 1994, 1 (2): 11-23.
[33] Deelman, E., Singh, G. Su M., et al. Pegasus: A Framework for Mapping Complex Scientific Workflows onto Distributed Systems. Scientific Programming Journal, 2005, 13(3): 219-237.
[34] Sirin,E., Parsia,B., Wu, D., et al. HTN Planning for Web Service Composition Using SHOP2. Journal of Web Semantics. 2004, 1(4): 377-396.
[35] McIlraith, S., Son, T. Adapting Golog for Composition of Semantic Web Services. In Proc. of the 8th International Conference on the Principles of Knowledge Representation and Reasoning. 2002: 482-493.
[36]范玉顺.工作流管理技术基础.北京:清华大学出版社. 2001.
[37] Hollingsworth, D. Workflow Management Coalition: The Workflow Reference Model. http://www.wfmc.org/reference-model.html. 1994.
[38] Workflow Management Coalition. Workflow Management Coalition: Terminology & Glossary. http://www.wfmc.org/index.php?option=com_docman&Itemid=74. 1999.
[39] Workflow Management Coalition. Workflow Management Application Programming Interface Specification. http://www.wfmc.org/Specifications-Working-Documents/General. 1998.
[40] Workflow Management Coalition. Process Definition Interface-XML Process Definition Language. http://www.wfmc.org/Specifications-Working-Documents/XPDL/ View-category.html. 2008.
[41] Swenson, K. D., Pradhan, S., Gilger, M. D. Wf-XML 2.0: XML Based Protocol for Run-Time Integration of Process Engines. http://www.wfmc.org/Specifications-Working- Documents/WFXML. 2004.
[42] Leymann, F., Roller, D. Business process management with FlowMark. In Proc. of IEEE Compcon. 1994: 230-234.
[43] Aalst W. M. P., Hirnschall A., Verbeek H. M. W. An Alternative Way to Analyze Workflow Graphs. In Proc. of the 14th International Conference on Advanced Information Systems Engineering. 2002: 535-552.
[44]袁崇义. Petri网原理.北京:电子工业出版社. 1998.
[45] Aalst, W.M.P. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers. 1998, 18(3): 21-66.
[46] Slimifard, K., Wright, M. Petri Net-based Modeling of Workflow Systems: An Overview. European Journal of Operational Research. 2001, 134(3): 664-676.
[47] Aalst, W.M.P. Three Good reasons for Using a Petri-net-based Workflow Management System. In Proc. of the International Working Conference on Information and Process Integration in Enterprises. 1996: 179-201.
[48] Scheer, A.W., Thomas, O., Adam, O. Process Modeling Using Event-Driven Process Chains. In Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M., eds.: Process-Aware Information Systems: Bridging People and Software through Process Technology. New Jersey: Wiley. 2005: 119-145.
[49] Goh, A., Koh, Y.K., Domazet, D.S. ECA rule-based support for workflows. Artificial Intelligence in Engineering, 2001, 15(1): 37-46.
[50] McCarthy, D. R., Dayal, U. The Architecture of an Active Database Management System. In Proc. of ACM-SIGMOD 1989 International Conference on Management of Data. 1989: 215-224
[51] Reichert, M., Dadam, P. ADEPTflex-Supporting Dynamic Changes of Workflows Without Loosing Control. Journal of Intelligent Information System. 1998, 10(2): 93-129.
[52] Reichert, M., Rinderle, S., Dadam, P. On the Common Support of Workflow Type and Instance Changes under Correctness Constraints. In Proc. of the 11th International Conference on Cooperative Information Systems, 2003: 407-425.
[53] Reichert, M., Rinderle, S., Kreher, U., et al. Adaptive Process Management with Adept2. In Proc. of the 21st International Conference on Data Engineering. 2005: 1113-1114.
[54] Rinderle, S., Reichert, M., Dadam, P. Correctness Criteria for Dynamic Changes in Workflow Systems: A Survey. Data & Knowledge Engineering. 2004, 50 (1): 9-34.
[55] Aalst, W.M.P., Basten, T. Inheritance of Workflows: An Approach to Tackling Problems Related to Change. Theoretical Computer Science. 2002, 270(1-2): 125-203.
[56] Weber, B., Rinderle, S., Reichert, M. Change Patterns and Change Support Features-Enhancing Flexibility in Process-Aware Information Systems. Data & Knowledge Engineering. 2008, 66(3): 438-466.
[57] Rinderle, S., Reichert, M., Weber, B. On the Formal Semantics of Change Patterns in Process-Aware Information Systems. In Proc. of the 27th International Conference on Conceptual Modeling. 2008: 279-293.
[58] Ellis, C., Keddara, K. ML-DEWS: Processing Language to Support Dynamic Evolution within Workflow Systems. Computer Supported Cooperative Work. 2000 9 (3): 293–333.
[59] Koksal, P., Cingil, I., Dogac, A. A Component-based Workflow System with DynamicModifications. In Proc. of the 4th International Workshop on Next Generation Information Technologies and Systems. 1999: 238-255.
[60] Li, C., Reichert, M., Wombacher, A. On Measuring Process Similarity based on High-level Change Operations. In Proc. of the 27th International Conference on Conceptual Processing. 2008: 248-264.
[61] Küster, J.M., Gerth, C., F?rster, A., et al. Detecting and Resolving Process Differences in the Absence of a Change Log. In Proc. of the 6th International Conference on Business Process Management 2008: 244-260.
[62] Günther, C.W., Rinderle, S., Reichert, M., et al. Change Mining in Adaptive Process Management Systems. In Proc. of International Conference on the 14th International Conference on Cooperative Information Systems. 2006: 309-326.
[63] Li, C., Reichert, M., Wombacher, A. Discovering Reference Processes by Mining Process Variants Using a Heuristic Approach. In Proc. of 7th International Conference on Business Process Management. 2009: 344-352.
[64] Lu, R., Sadiq, S. Managing Process Variants as an Information Resource. In Proc. of 4th International Conference on Business Process Management. 2006: 426-431.
[65] Gottschalk, F., Aalst, W.M.P. M., Jansen, H., et al. Configurable Workflow Processes. International Journal of Cooperative Information Systems. 2008, 17(2): 177-221.
[66] Aalst, W.M.P., Dumas, M., Gottschalk, F., et al. Correctness-Preserving Configuration of Business Processes. In Proc. Of the 11th International Conference on Fundamental Approaches to Software Engineering. 2008: 46–61.
[67] Booth, D., Haas, H., McCabe, F., et al. Web Services Architecture. http://www.w3.org/TR/ws-arch/. 2004.
[68] Network Working Group. Uniform Resource Identifier (URI): Generic Syntax. http://labs.apache.org/webarch/uri/rfc/rfc3986.html. 2005.
[69] Box, D., Ehnebuske, D., Kakivaya, G., et al. Simple Object Access Protocol (SOAP) 1.1. http://www.w3.org/TR/2000/NOTE-SOAP-20000508/. 2000.
[70] Christensen, E., Curbera, F., Meredith, G., et al. Web Services Description Language (WSDL) 1.1. http://www.w3.org/TR/wsdl. 2001
[71] Clement, L., Hately, A., Riegen C., et al. UDDI Version 3.0: UDDI Spec Technical Committee Specification. http://uddi.org/pubs/uddi-v3.00-published-20020719.htm. 2002
[72] Neches, R., Fikes, R. E., Finin, T., et al. Enabling technology for knowledge sharing. AI Magazine. 1991, 12(3): 16-36.
[73] Gruber, T. R. A Translation Approach to Portable Ontology Specifications. Knowledge Acquisition. 1993, 5(2): 199-220.
[74] Fensel D. The Role of Ontologies in Information Interchange. In Proc. of the 2nd International Scientific and Practical Conference on Programming. 2000.
[75] Berners-Lee, T., Hendler, J., Lassila, O. The Semantic Web. Scientific American. 2001, 284(5): 34-43.
[76] Klyne, G., Carroll, J.J. Resource Description Framework (RDF): Concepts and Abstract Syntax. http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/. 2004.
[77] Brickley, D., Guha, R.V. RDF Vocabulary Description Language 1.0: RDF Schema. http://www.w3.org/TR/rdf-schema/. 2004.
[78] Horrocks, I. DAML+OIL: A description logic for the semantic web. IEEE Data Engineering Bulletin. 2002, 25(1): 4-9.
[79] Ankolekar, A., Burstein, M., Hobbs, J.R., et al. DAML-S: Web Service Description for the Semantic Web. In Proc. of First International SemanticWeb Conference. 2002: 348-363.
[80] McGuinness, D.L., Harmelen, F. OWL Web Ontology Language Overview. http://www.w3.org/TR/owl-features/. 2004.
[81] Martin, D., Burstein, M., Hobbs, J., et al. OWL-S: Semantic Markup for Web Services. http://www.ai.sri.com/daml/services/owl-s/1.2/overview/. 2004
[82] Paolucci, M., Kawamura, T., Payne, T., et al. Semantic Matching of Web Services Capabilities. In Proc. of the 1st International Semantic Web Conference. 2002: 333-348.
[83] Li, L., Horrocks, I. A Software Framework for Matchmaking based on Semantic Web Technology. In Proc. of the 12th International World Wide Web Conference. 2003: 331-339.
[84] Sivashanmugam, K., Verma, K., Sheth A. In Proc. of the 2nd International Conference on Web Services. 2004: 270-278.
[85] Lara, R., Roman, D. Polleres, A., et al. Web Service Modeling Ontology. Applied Ontology. 2005, 1(1): 77-106.
[86] Jordan, D., Evdemon, J., Alves A., et al. Web Services Business Process Execution Language Version 2.0. http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html. 2007.
[87] Rao, J., Su, X. A Survey of Automated Web Service Composition Methods, In Proc. of the 1st International Workshop on Semantic Web Services and Web Process Composition. 2004: 43-54.
[88] Russell, S., Norvig, P. Artificial Intelligence: A Modern Approach. New Jersey: Prentice Hall. 2002.
[89] Erol, K. Hierarchical Task Network Planning: Formalization, Analysis, and Implementation, [PHD Dissertation], Maryland: University of Maryland. 1995.
[90] Shapir, S., Lesperanee, Y., Levesque, H.J. Goals and Rational Action in the Situation Calculus-a Preliminary Report. Working Notes of the AAAI Fall Symposium on Rational Agency: Concepts, Theories, Models, and Applications, 1995: 117-122.
[91] Ghallab, M., Howe, A., Knoblock, C., et al. PDDL-the Planning Domain Definition Language. http://www.informatik.uni-ulm.de/ki/Edu/Vorlesungen/GdKI/WS0203/pddl.pdf. 1998.
[92] Akkiraju, R., Verma, K., Goodwin, R., et al. Executing Abstract Web Process Flows. In Proc. of the 14th International Conference on Automated Planning and Scheduling. 2004: 3-7.
[93] Medjahed, B., Bouguettaya, A., Elmagarmid, A.K. Composing Web services on the Semantic Web. The VLDB Journal. 2003, 12(4): 333-351.
[94] Bae, J. Bae, H., Kang, S.H., et al. Automatic control of workflow processes using ECA rules. IEEE Transactions on Knowledge and Data Engineering. 2004, 16(8): 1010-1023.
[95] Vanhatalo, J., V?lzer, H., Koehler J. The refined process structure tree. Data & Knowledge Engineering. 2009, 8(9): 793-818.
[96] Rolland, C., Souveyet, C., Achour C.B. Guiding Goal Modeling Using Scenarios. IEEE Transactions on Software Engineering. 1998, 24(12): 1055-1071.
[97]叶德泳.计算机辅助药物设计导论.北京:化学工业出版社. 2004.
[98] Valiente G. Algorithms on Trees and Graphs. Berlin: Springer. 2002.
[99] Malone, T.W., Bernstein, A., Carr, N.G., et al. Organizing Business Knowledge-MIT Process Handbook. Cambridge London: The MIT Press. 2003.
[100] Bille, P. A Survey on Tree Edit Distance and Related Problems. Theoretical Computer Science. 2005, 337(1- 3): 217-239.
[101] Agrawal, R., Srikant, R. Fast Algorithms for mining Association Rules. In Proc. of the 20th International Conference on Very Large Data Bases. 1994: 487-499.
[102] Han., J., Kamber, M. Data Mining: Concepts and Techniques (2nd Edition). Massachusetts: Morgan Kaufmann Publishers. 2006.