《清华大学自动化系研究生会ppt培训课件》由会员分享，可在线阅读，更多相关《清华大学自动化系研究生会ppt培训课件（9页珍藏版）》请在金锄头文库上搜索。
1、电子商务与流程关系小组,许可2005-6-24,小组活动情况,活动方式： 每两周进行一次（周二），每次由2人进行轮值主持 每次活动之前由轮值主持提前4-5天将相关的材料上传至小组ftp，供其他组员学习准备 主要交流方式： 相关技术和理论的Tutorial 领域综述 问题征集 专题文献、工具与技术文档的介绍,讨论主题,Business Process Management Workflow Technology Model Driven Architecture (MDA) Conceptual Modeling Industrial Standards Formal Methods Proce
2、ss Algebra and Petri Net Integrated Formal Methods Model Checking Temporal Logics Optimization and Algorithms Tools Support Service Oriented Architecture (SOA) Web / Grid Services Service Composition Industrial Standards and Up-to-date techniques Grid System,成员介绍,电子商务与流程管理小组目前共有组员10人 成员分布 自研61班：2人（许
3、可、徐云） 自研62班：4人（刘博、崔琳琳、谭伟、王远） 计算机系：4人（于志伟、李北金、许斐、卢亚辉）,小组活动特色,以专题讨论为主，扩大交流范围与效率 利用学术交流平台，帮助解决组员在研究中的实际困难和问题 提出建议，增强组员间的讨论热情 充分利用多学科、跨系所的优势，提高交流范围，积极引入新思想,阶段工作总结（1/2）,活动开展情况 目前共活动3次，每次2.5 - 3小时 已有5人次参与完成报告 包括： 专题Tutorial 3次 模型验证技术 数据挖掘与数据仓库技术 Pi演算理论 综述 1次 工作流验证方法 工具介绍1次 供应链仿真及其实现,阶段工作总结（1/2）,问题征集 2 次 工作流验证分析方法 模型证实、验证与性能分析方面存在的问题与资料征集 供应链仿真及其实现 Business Process组合的形式化验证方法 以扩大交流范围和知识面为目标 较快地实现对一个小领域的掌握 在学科交叉的特点下找到自己的新问题 对研究方向提出改进的意见和建议,未来工作展望,进一步扩大影响，吸引更多感兴趣的同学邀请相关领域的专家学者做专题报告更好地实现组员之间的磨合，发挥交叉学科优势,Thanks!,
