1、電子商務與流程關系小組電子商務與流程關系小組許可許可2005-6-24Department of Automation, Tsinghua University求務實常為新促和諧小組活動情況小組活動情況n活動方式：n每兩周進行一次（周二），每次由2人進行輪值主持n每次活動之前由輪值主持提前4-5天將相關的材料上傳至小組ftp，供其他組員學習準備n主要交流方式：n相關技術和理論的Tutorialn領域綜述n問題征集n專題文獻、工具與技術文檔的介紹Department of Automation, Tsinghua University求務實常為新促和諧討論主題討論主題nBusiness Proc

2、ess ManagementnWorkflow TechnologynModel Driven Architecture (MDA)nConceptual ModelingnIndustrial StandardsnFormal MethodsnProcess Algebra and Petri NetnIntegrated Formal MethodsnModel CheckingnTemporal LogicsnOptimization and AlgorithmsnTools SupportnService Oriented Architecture (SOA)nWeb / Grid S

3、ervicesnService CompositionnIndustrial Standards and Up-to-date techniquesnGrid System Department of Automation, Tsinghua University求務實常為新促和諧成員介紹成員介紹n電子商務與流程管理小組目前共有組員10人n成員分布n自研61班：2人（許可、徐云）n自研62班：4人（劉博、崔琳琳、譚偉、王遠）n計算機系：4人（于志偉、李北金、許斐、盧亞輝）Department of Automation, Tsinghua University求務實常為新促和諧小組活動特色小組

4、活動特色n以專題討論為主，擴大交流范圍與效率n利用學術交流平臺，幫助解決組員在研究中的實際困難和問題n提出建議，增強組員間的討論熱情n充分利用多學科、跨系所的優勢，提高交流范圍，積極引入新思想Department of Automation, Tsinghua University求務實常為新促和諧階段工作總結（階段工作總結（1/21/2）n活動開展情況n目前共活動3次，每次2.5 - 3小時n已有5人次參與完成報告n包括：n專題Tutorial 3次n模型驗證技術n數據挖掘與數據倉庫技術nPi演算理論n綜述 1次n工作流驗證方法n工具介紹1次n供應鏈仿真及其實現Department of Automation, Tsinghua University求務實常為新促和諧階段工作總結（階段工作總結（1/21/2）n問題征集 2 次n工作流驗證分析方法n模型證實、驗證與性能分析方面存在的問題與資料征集n供應鏈仿真及其實現nBusiness Process組合的形式化驗證方法n以擴大交流范圍和知識面為目標n較快地實現對一個小領域的掌握n在學科交叉的特點下找到自己的新問題n對研究方向提出改進的意見和建議Department of Automation, Tsinghua University求務實常為新促和諧未來工作展望未