机译:面向方面的形式化方法,用于对安全服务组合进行建模和分析
Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai 200237, China Shanghai Key Laboratory of Computer Software Evaluating and Testing, Shanghai 201112, China;
Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai 200237, China;
Department of Computer Science and Information Engineering, Shanghai Institute of Technology, Shanghai 200235, China;
Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai 200237, China;
aspect orientation; security; Petri nets; access control; service composition;
机译:建模和分析QoS感知的容错服务组合的形式化方法
机译:一种面向方面的形式化方法,用于在云计算中建模和分析自适应资源调度
机译:分层Petri网模型来正式分析时间关键型Web服务组成
机译:使用定价形式方法对成本感知服务组合进行建模
机译:构建可靠的Web服务:方法论,组成,建模和实验。
机译:印度天主教徒对长期长期支持服务的看法:混合方法研究
机译:使用形式化方法分析Web服务安全对话*
机译:关于采用可靠的Web服务组合形式方法的几个问题