【摘 要】
：
为了顺应服务计算技术的发展，满足利用web服务组合来构建安全的信息系统的需要，本文提出了一种面向服务的安全需求获取与分析方法．该方法利用基于模板的安全需求获取方法，获取待
【机 构】
：
武汉大学 软件工程国家重点实验室，湖北省 武汉市 430072
论文部分内容阅读
为了顺应服务计算技术的发展，满足利用web服务组合来构建安全的信息系统的需要，本文提出了一种面向服务的安全需求获取与分析方法．该方法利用基于模板的安全需求获取方法，获取待建系统关于角色、目标、活动、数据资源的安全需求，及其间的关联关系，并利用基于规则的需求分析方法对其进行了一致性分析和冲突检测，最后将形成的需求规格，利用契约的形式，赋予服务，为满足安全需求的web服务发现提供了一种可行的解决方案．
其他文献
组合服务的性能模型构建以及评价是组合服务研究中的热点问题之一．基于模型的性能分析方法在传统软件工程性能分析中已经有了广泛的应用．然而由于服务处于不可控的网络环境当中
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
服务选择机制是为用户提供智能性、主动性应用服务的前提基础,是移动SNS(Social Networking Service)中重要的研究内容之一．本文提出了基于上下文、信任网络和协作过滤算法的
随着SOA在众多应用领域中得到认同以及可用的Web服务数量的快速增长，如何有效地组合Web服务来满足用户需求成为一个备受关注的问题。本文提出一种基于有界模型检验的Web服务组
对今天的企业而言,成功离不开人才.这包括整个公司从领导层一直到一线雇员的各个层面的人才.从某种意义上讲,商战就是人才战,随着对人才这种稀缺资源的争夺从区域化走向全球
针对跨域应用集成追求的分散控制目标，提出了一种业务事件驱动的跨域应用协作方法．给出了自治应用的协作规则和基于协作规则的跨域协作机制，并就其中的复杂事件描述．复杂事件处理
快速检索出相关流程是业务流程资源库必须具备的功能，目前的检索方法主要基于相似度计算，但局限在相同粒度的业务流程之间，不适用于跨粒度的检索，本文关注的是跨粒度的业务流程之
文章从政府在老工业城市经济发展中的管理问题入手,着力分析目前老工业城市地方政府推动城市经济发展问题的产生原因,这对研究对策极其重要.rn
融合网络环境下服务的动态聚合机制是一种新的网络服务生成技术，目前尚无成熟的解决方法．本文将web服务组合技术及UML建模技术相结合，提出了一种用户需求和上下文信息驱动的、基
硬质合金被称为现代工业的“牙齿”,广泛用于切削工具、地质矿山工具、金属成型工具及要求耐磨、耐腐蚀的零部件等,随着经济的发展,硬质合金的产量逐年增加,同时废硬质合金的