Model-based Verification of Web Service Compositions

机译：Web服务组合的基于模型的验证

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Howard Foster; Sebastian Uchitel; Jeff Magee; Jeff Kramer;
展开▼
作者单位

展开▼
年度 2003
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Process model-based atomic service discovery and composition of composite semantic web services using web ontology language for services (OWL-S) [J] . D. Paulraj, S. Swamynathan, M. Madhaiyan Enterprise information systems . 2012,第4期

机译：使用基于过程模型的服务的Web本体语言，基于过程模型的原子服务发现和组合语义Web服务的组合
2. Verifying compositional equivalence between web service composition graphs [J] . Gopal N. Rai, G. R. Gangadharan Concurrency and computation: practice and experience . 2018,第16期

机译：验证Web服务组成图之间的组成对等
3. A holistic approach to model-based testing of Web service compositions [J] . Fevzi Belli, Andre Takeshi Endo, Michael Linschulte, Software . 2014,第2期

机译：基于模型的Web服务组合测试的整体方法
4. Model-based verification of Web service compositions [C] . Foster, H., Uchitel, . 2003

机译：Web服务组合的基于模型的验证
5. Quantifiable non-functional requirements modeling and static verification for web service compositions. [D] . Sun, Hongyu. 2010

机译：Web服务组合的可量化的非功能需求建模和静态验证。
6. A verification strategy for web services composition using enhanced stacked automata model [O] . Danapaquiame Nagamouttou, Ilavarasan Egambaram, Muthumanickam Krishnan, -1

机译：使用增强的堆栈自动机模型的Web服务组合的验证策略
7. Verification of Web Service Compositions: An Operationalization of Correctness and a Requirements Framework for Service-oriented Modeling Techniques [O] . Maximilian Röglinger 2009

机译：Web服务组合的验证：正确的服务型建模技术的正确性和要求框架的操作
8. Model Driven Development of Web Services and Dynamic Web Services Composition; Doctoral thesis [R] . Cao, F. 2005

机译：模型驱动的Web服务开发和动态Web服务组合;博士论文

Model-based Verification of Web Service Compositions

著录项

引文网络

相似文献

相关主题

期刊订阅