...
机译:通过电子商务应用程序进行Web服务编排中形式兼容性分析的需求
LIRE Laboratory, Constantine 2 - Abdelhamid Mehri University, Constantine, Algeria;
LIRE Laboratory, Constantine 2 - Abdelhamid Mehri University, Constantine, Algeria;
Choreography; Compatibility Analysis; Composition; Enterprise Interoperability; Evolution Monitoring; Formal Methods; Timed CPN; Web Service;
机译:基于编排的Web服务组合和一致性验证的形式化和可视化建模方法
机译:分析Web服务编排的定时兼容性
机译:用于互操作生物信息学应用程序的Web服务编排方案
机译:选择用于编排的Web服务实现:使用Access Control1的兼容性检查方法
机译:基于I / O自动机的Web服务编排的正式方法。
机译:用于互操作生物信息学应用程序的Web服务编排方案
机译:基于测量的Web服务组件的电子商务应用程序性能分析