机译:使用定时自动机验证和验证Web服务编排
Departamento de Sistemas Informaticos, Escuela Superior de lngenieria, lnformatica de Albacete, Universidad de Castilla-lM Mancha, Campus Universitario s02071 Albacete, Spain;
Departamento de Sistemas Informaticos, Escuela Superior de lngenieria, lnformatica de Albacete, Universidad de Castilla-lM Mancha, Campus Universitario s02071 Albacete, Spain;
Departamento de Sistemas Informaticos, Escuela Superior de lngenieria, lnformatica de Albacete, Universidad de Castilla-lM Mancha, Campus Universitario s02071 Albacete, Spain;
Departamento de Sistemas Informaticos, Escuela Superior de lngenieria, lnformatica de Albacete, Universidad de Castilla-lM Mancha, Campus Universitario s02071 Albacete, Spain;
web services; choreographies; ws-cdl; timed automata; formal models;
机译:基于编排的Web服务组合和一致性验证的形式化和可视化建模方法
机译:Web服务编排验证
机译:将具有优先级和时间限制的Web服务编排转换为优先时间着色的Petri网
机译:Web服务编排的运行时验证的计算逻辑:利用SOCS-SI工具
机译:基于I / O自动机的Web服务编排的正式方法。
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:使用定时自动机验证和验证Web服务编排
机译:NIsT计算机时间服务:Internet时间服务(ITs),自动计算机时间服务(aCTs)和time.gov网站。