位置：成果数据库 > 期刊 > 期刊详情页
Modeling and verifying composite web services based on semantic annotated Petri nets
  • 时间：0
  • 相关项目：框架时序逻辑程序设计
同期刊论文项目
框架时序逻辑程序设计
期刊论文 54 会议论文 46 获奖 1 著作 3
同项目期刊论文
混合系统的符号化可达性分析
多速率混合系统的符号化可达性分析
多速率混合系统的模型检查
使用扩展区间时序逻辑为并发工作流建模
基于扩展投影时序逻辑的组合Web服务描述与验证
A decision procedure for propositional projection temporal logic with infinite models
支持MDA的交互式需求获取方法及辅助工具
基于AIG推理的组合电路等价性检验
时序逻辑程序的模型检测
Opacity generalised to transition systems
Attribute reduction in consistent decision formal context
Formal semantics of OWL-S with F-logic
Extracting database interactions and generating test for web applications
一阶投影时序逻辑公理系统与系统验证
稠密时间区间时序逻辑的可满足性判定
一种基于Petri网的自动Web服务组合算法
框架投影时序逻辑程序设计语言中的指针
基于代数的模糊Petri网逆向推理算法
混和投影时序逻辑与混和系统的形式化验证
良基归纳法在时序逻辑程序不变式验证中的应用
MSVL语言的公理系统的程序验证
状态图到PTL形式规范的转化
划分和时延驱动的动态可重构FPGA在线布局算法
Compositional abstractions for process networks
A note on stutter-invariant PLTL
Symbolic algorithm analysis of rectangular hybrid systems
Synthesis of elementary net systems with context arcs and localities
一种基于扩展有限自动机验证组合Web服务的方法
动态Web服务组合的选择策略
广义随机Petri网下的组合Web服务建模与评价
A review approach to detecting violations of consistency between specification and program structure
Framed temporal logic programming
Integrating AJAX and web services for cooperative image editing
面向对象的时序逻辑语言
基于工作流模式的OWL-S过程模型分析及其应用
Web服务提供方安全模型的设计、建模与分析
A compositional Petri net translation of generalπ-calculus terms
A proof system for projection temporal logic
入侵检测中模式匹配算法的FPGA实现
国际Petri网理论与应用最新研究进展
双变迁Petri网的电路模拟技术研究
量子遗传算法在Web服务选择中的应用
着色Petri网模型检测工具的扩展及其在Web服务组合中的应用
有穷时间投影时序逻辑的完备公理系统
投影时序逻辑在系统建模中的应用
基于事件确定有限自动机的UML2．0序列图描述与验证
Symbolic Algorithmic Analysis of Rectangular Hybrid Systems