论文部分内容阅读
基于时间扩展的ASEHA自动机理论j？i以旅行预订票组合Web月艮务为例，分别建立了旅行者（Traveler）、旅行代理（TravelAgent）及航空公司预订票（AiriineRes霉rvation）三个自动机，并给出该服务的BPEL语言描述。
组合Web服务的建模与BPEL语言描述
【摘 要】
：
基于时间扩展的ASEHA自动机理论j？i以旅行预订票组合Web月艮务为例，分别建立了旅行者（Traveler）、旅行代理（TravelAgent）及航空公司预订票（AiriineRes霉rvation）三个自动机，并给出该服
【机 构】
：
贺州学院计算机科学与信息工程学院,武汉大学计算机学院
【出 处】
：
计算机光盘软件与应用
【发表日期】
：
2014年7期
其他文献
摘 要：本文从计算机取证技术的现状入手，分析了当前主要的计算机取证应用技术，并引出了完整的计算机取证系统架构，展望了计算机取证的发展。 关键词：计算机取证；取证技术；取证系统 中图分类号：D918.2 计算机取证又称计算机法医学，是研究如何对计算机、网络入侵与犯罪的证据进行获取、保存、分析和出示的科学技术。新刑诉法将电子数据作为刑事诉讼证据的种类之一，电子证据的效力和作用已经得到法律的认可。
数值字符转换是C语言中的一个常见的编程方法，也是等级考试中的一个重要考点，在近几年江苏省的职校对口单招考试中也屡见不鲜。本文主要以C语言编程为例，介绍一些常见数值字符转
摘要：校园网是学校教学、科研和服务并重的网络。而校园网络安全管理是整个网络管理的核心。在这里介绍了一些造成校园网络安全威胁的因素，并对其提出了安全防范的技术措施。 关键词：校园网；网络安全；安全防范 中图分类号：TP393.08 文献标识码：A 文章编号：1007-9599 （2013） 02-0000-02 校园网络作为学校重要的基础设施，承载着学校教学、科研、服务等诸多角色，其安全状况直
随着基础教育课程改革在全国范围内的实施，作为现代教育理念集中体现的研究性学习，除了作为一门独立的学科课程形式存在外，还必将作为一种重要的学习方式和教学策略渗透于各学科
期刊
高速发展的社会带给我们的不仅是便捷以及生活质量的提高，医疗行业也有了全新的景象，通过利用计算机、互联网、传感器等技术，建立基于计算机技术的医院智能信息化管理平台已经成
随着3G移动应用速度越来越快，终端设备的越来越丰富，企业迫切需要实现移动应用，我们单位通过实施SAPHR人力资源管理系统来提升信息化的管理水平，员工也能够通过员工自助平台来查