Unified Modeling Language; Web services; business data processing; formal specification; program testing; BPEL code; BPEL modeling; Business Process Execution Language; UML2.0 activity diagram; Unified Modeling Language; Web service business process testing; automa;
机译:基于Web服务的业务流程的行为证明
机译:基于Petri网的业务流程执行语言中Web服务兼容性分析和组合的方法
机译:基于技术采用理论和业务流程分析的Web服务采用方法
机译:基于UML2.0活动图的Web服务测试方法的业务流程
机译:面向目标的业务流程监视:一种基于用户需求表示法并结合了商业智能和Web服务的方法
机译:MaXIC-Q Web:基于统计和计算方法的全自动Web服务用于基于稳定同位素标记和LC-MS的蛋白质定量
机译:通过从业务规则模型中获取属性,基于物业的Web服务测试