Verifying WS-CDL-Based Web Services Collaboration by Model Checking
Los Angeles, CA（2009）
摘要
The increasing trends in the occurrence of chronic diseases, such as diabetes and hypertension, and an aging population present serious near-term problems in providing suitable healthcare within the existing medical structure. Further, ill and elderly ...
更多查看译文
关键词
chronic disease,existing medical structure,verifying ws-cdl-based web services,suitable healthcare,model checking,present serious near-term problem,computational complexity,groupware,xml,computational modeling,formal verification,protocols,partial order reduction,web service,collaboration,temporal logic,lead,logic,temporal logic of actions,computer science,web services,formal languages
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要