ADL ACME/ARMANI; Formal Specification; MDE; Service Composition; Verification;
机译:模型驱动的方法支持对Web服务组合协议的形式验证
机译:一种模型驱动的工程方法,使用Petri网正式验证BPMN模型
机译:从需求到源代码:RESTful Web服务的模型驱动工程方法
机译:复合网服务正式验证的模型驱动工程方法
机译:复合Web服务中对话的一种正式验证方法。
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:使用UML-S的复合Web服务的模型驱动工程
机译:模型驱动的再造遗留软件系统到Web服务