全部文献期刊会议图书|学者科研项目
中外文文献  中文文献  外文文献
作者:Waldemar Hummer , Philipp Leitner , Schahram Dustdar
来源:[J].Distributed and Parallel Databases(IF 0.806), 2011, Vol.29 (4), pp.277-307
摘要:Abstract(#br)In order to interact with stateful Web services, clients need to obtain information about the intra-service protocol, which contains valid operation sequences and the expected input-output transformation across invocations. While the community has widely agreed ...
作者:Xiaoli Jiao , Brad T. Sherman , Da Wei Huang ...
来源:[J].Bioinformatics(IF 5.323), 2012, Vol.28 (13), pp.1805-1806
摘要:...gov/ , is a web-based online bioinformatics resource that aims to provide tools for the functional interpretation of large lists of genes/proteins. It has been used by researchers from more than 5000 institutes worldwide, with a daily submission rate of ∼1200 gene lists fr...
作者:Bo Chen , Chungui Li , Qixian Cai
来源:[J].Journal of Software, 2009, Vol.4 (8), pp.907
摘要:requirement-driven behavior verification for compositional Web service is one of hot research issues for Web computing. Modeling and analysis of the behavior requirements of compositional Web service plays an important role in behavioral verification.Traditional methods are expre...
作者:Jiao Xiaoli , Sherman Brad T , Huang Da Wei ...
来源:[J].Bioinformatics (Oxford, England), 2012, Vol.28 (13), pp.1805-6
摘要:...gov/, is a web-based online bioinformatics resource that aims to provide tools for the functional interpretation of large lists of genes/proteins. It has been used by researchers from more than 5000 institutes worldwide, with a daily submission rate of ∼1200 gene lists from...
作者:Sylvain Hallé , Roger Villemaire
来源:[C].Principles of Engineering Service-Oriented Systems2012
摘要:Shopping cart manipulations are a prime example of web services exhibiting stateful behaviour. The Beep Store is a web service synthesizing past work on the study and formalization of stateful interface constraints, and presenting many of the characteristics found in real-world web services...
作者:Bo Chen , Chungui Li , Qixian Cai
来源:[J].Journal of Software, 2009, Vol.4 (8), pp.907-914
摘要:requirement-driven behavior verification for compositional Web service is one of hot research issues for Web computing. Modeling and analysis of the behavior requirements of compositional Web service plays an important role in behavioral verification.Traditional methods are expre...
作者:Borja Sotomayor
来源:[B].Globus® Toolkit 42006
摘要:This chapter explains how to write and deploy a simple stateful Web service that uses Web Services Resource Framework (WSRF) to keep state information. The first Web service is an extremely simple Math Web Service, which is referred to as MathService . It allows users to perfor...
作者:Piergiorgio Bertoli , Marco Pistore , Paolo Traverso
来源:[J].Artificial Intelligence(IF 2.194), 2009, Vol.174 (3), pp.316-361
摘要:Abstract(#br)The service-oriented paradigm promises a novel degree of interoperability between business processes, and is leading to a major shift in way distributed applications are designed and realized. While novel and more powerful services can be obtained, in such setting, ...
作者:A. Werner , J. Svensson , G. Kühner ...
来源:[J].Fusion Engineering and Design(IF 0.842), 2009, Vol.85 (3), pp.394-398
摘要:... For Wendelstein 7-X a service oriented architecture seems to be appropriate, in which software components can be exposed as services with well defined interface contracts. Although grid computing has up to now been mainly used for remote job execution, a more promising service...
作者:G. Moltó , V. Hernández , J.M. Alonso
来源:[J].Future Generation Computer Systems(IF 1.864), 2009, Vol.25 (8), pp.876-883
摘要:Abstract(#br)The advent of service-oriented architectures in Grid environments has fostered the development of applications in distributed deployments. The Globus Toolkit 4 (GT4) and its implementation of stateful Web services, via the WS-Resource Framework (WSRF), is a suitable ...

我们正在为您处理中,这可能需要一些时间,请稍等。

资源合作:cnki.scholar@cnki.net, +86-10-82896619   意见反馈:scholar@cnki.net

×