A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
A theory of contracts for web services
2008
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08
Preserved Fulltext
Contracts are behavioural descriptions of Web services. ...
We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a service with another service. ...
Our theory of contracts will define a safe substitutability relation for services that can be made compatible. ...
doi:10.1145/1328438.1328471
dblp:conf/popl/CastagnaGP08
fatcat:br4swnfpzrewxokjmfminscbli
A theory of contracts for web services
2008
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Contracts are behavioural descriptions of Web services. ...
We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a service with another service. ...
Our theory of contracts will define a safe substitutability relation for services that can be made compatible. ...
doi:10.1145/1328897.1328471
fatcat:wn6g7hn6kfgelb4eprminezygu
A theory of contracts for Web services
2009
ACM Transactions on Programming Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Contracts are behavioural descriptions of Web services. ...
We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a service with another service. ...
Our theory of contracts will define a safe substitutability relation for services that can be made compatible. ...
doi:10.1145/1538917.1538920
fatcat:32jweopji5cx3ggan7erra7qne
A theoretical investigation of the emerging standards for web services
2007
Information Systems Frontiers
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Next, we adapt work from these theories to develop a comprehensive reference framework for understanding web services standards. ...
We suggest 'Language-Action Theories' as a plausible perspective that can effectively define, assess and refine web services standards. ...
These systems provide a historical lineage that makes LAP theories appropriate for application to the new domain of web services. ...
doi:10.1007/s10796-006-9021-4
fatcat:k3xpcxafczbyzbjpembd7ujoza
THE NOMOLOGICAL NETWORK VALIDITY OF PERCEIVED FAIRNESS IN BUSINESS-TO-CONSUMER ECOMMERCE
2014
Issues in Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Psychological contract was proposed and validated as a predictor for perceived fairness. ...
The results could shed light on the importance of customer service policies and help web vendors to improve these policies. ...
One potential source for these perceived fairness beliefs might be a web vendor's promises or guarantees through website elements such as customer service policies or seals of approval. ...
doi:10.48009/2_iis_2014_328-334
fatcat:pnhtawokcndfzdgqpmxlvrslsm
A logical framework for modeling and reasoning about semantic web services contract
2008
Proceeding of the 17th international conference on World Wide Web - WWW '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Notably, this extension can significantly augment the expressive power for modeling and reasoning about dynamic aspects of services contracting. ...
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. ...
A Semantic Web Services contract (SWSc) is represented as a triple SC =< T , A, ACT > such that:
Definition 4 . 4 (State) A state of a SC is a set of assertions in the form of C(a), ¬C(a), R(a, b), ¬ ...
doi:10.1145/1367497.1367654
dblp:conf/www/LiuLGL08
fatcat:tuuxiclcdbhypd7ldjbsrmsv4a
EXAMINING MEDIATORS OF STRUCTURAL ASSURANCE CONSTRUCTS IN BUSINESS-TO-CONSUMER E-COMMERCE
2009
Issues in Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Based on the institution-based trust theory, perceived trust theory and the psychological contract theory, this study proposes that perceived vendor guarantee and perceived seals of approval would have ...
positive influence on consumer intentions through psychological contract and perceived trust. ...
A breach of psychological contract would likely reduce the customer"s intention to purchase from the web vendor. ...
doi:10.48009/2_iis_2009_364-371
fatcat:gjnuqpg5wfbpddafoxujapkaam
An Algebraic Theory for Web Service Contracts
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Our framework serves as a foundation of Web service technologies for connecting abstract and concrete service definitions and for service discovery. ...
The preorder also admits the notion of least service contract that is compliant with a client contract, called principal dual contract. ...
generally, of a formal theory for reasoning about Web services by means of their contracts. ...
doi:10.1007/978-3-642-38613-8_21
fatcat:wt4novk5wvhmlaydchb5pz6acq
An algebraic theory for web service contracts
2015
Formal Aspects of Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Our framework serves as a foundation of Web service technologies for connecting abstract and concrete service definitions and for service discovery. ...
The preorder also admits the notion of least service contract that is compliant with a client contract, called principal dual contract. ...
generally, of a formal theory for reasoning about Web services by means of their contracts. ...
doi:10.1007/s00165-015-0334-2
fatcat:yicgfnuup5fgvm7jw2t5iyf54y
Models for Contract Conformance
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We have implemented a contract checker for asynchronous, message-passing applications to check that service implementations conform to behavioural contracts. ...
Our contract checker is based on a process algebraic theory of conformance and is implemented on top of a software model checker, Zing. ...
Execution Language for Web services), WSFL (Web Services Flow Language) and WSCL (Web Service Conversation Language). • • RejectOrder o o • Conf irmBooking o o • • P roposal o o • • Conf irmCancel o o ...
doi:10.1007/11925040_12
fatcat:qgyyysu2f5dhzbwsrt3gvrnor4
Contract Negotiation in E-marketplaces
2008
Journal of Electronic Commerce in Organizations
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We also present a case study of a marketplace for e-services using dependency relations within the negotiation process. ...
E-transactions via shopping agents constitute a promising opportunity in the e-markets. In this article we will discuss the problem of contract negotiation in e-marketplaces. ...
The fourth section presents a case study of a marketplace for e-services where agents collaborate for the elaboration and provisioning of integrated services. ...
doi:10.4018/jeco.2008070105
fatcat:xlty2stvafhl5nhaj54zo3ho44
A Comparative Study of Different Types of Cultural NPOs in Terms of the Contract Relationships, Public Service Motivation, satisfaction and Work Performance of their Public Web Portal
2017
International Journal of u- and e- Service, Science and Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The purpose of this study is to compare Korean cultural centers and museums' contract relationships and public service motivation (PSM) for participating in government portals. ...
We investigate the influence of contract relationships and PSM on the user-satisfaction and work performance of these public web portals by comparing cultural centers and museums. ...
According to information system theory and inter-organizational relationship theory, public web portal collaboration is important for digitalized public services and could contribute to contemporary arts ...
doi:10.14257/ijunesst.2017.10.9.11
fatcat:3dj6yyevqfh2loroq6wb2vgh4y
Comparison between Light-Weight and Heavy-Weight Monitoring in a Web Services Fuzzy Architecture
2015
Procedia Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Web services are a reality for many businesses nowadays. The rules of these services are described on e-contracts (ECs). ...
Nevertheless, if a failure happens, the architecture has a recovery module to recovery the service. ...
Acknowledgements We would like to thank FAPESP and CNPq for the financial support. ...
doi:10.1016/j.procs.2015.08.595
fatcat:zb3bfsdslbcifmfzyipy2d6odm
SweetDeal
2003
Proceedings of the twelfth international conference on World Wide Web - WWW '03
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This also newly fleshes out the evolving concept of Semantic Web Services. A prototype (soon public) is running. ...
This provides a foundation for representing and automating deals about servicesin particular, about Web Services, so as to help search, select, and compose them. ...
contract exceptions there. ...
doi:10.1145/775197.775200
fatcat:llcmhf35sjgp7e3kk6b4v6i3nm
Resource Matchmaking Algorithm using Dynamic Rough Set in Grid Environment
[article]
2009
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In this work we propose a solution, called Dynamic Rough Set Resource Discovery (DRSRD), for dealing with cases of vagueness and uncertainty problems based on Dynamic rough set theory which considers dynamic ...
DRSRD shows much better precision for the cases with vagueness and uncertainty in a dynamic system such as the grid rather than the classical rough set theory based algorithm, and UDDI and OWL S combined ...
One of the first methods that can be used for service discovery is UDDI which is used for web service publication and discovery. ...
arXiv:0909.1397v1
fatcat:gsneta3f3ngdxh7f2jh46je5r4
« Previous
Showing results 1 — 15 out of 97,101 results