Filters








97,101 Hits in 5.4 sec

A theory of contracts for web services

Giuseppe Castagna, Nils Gesbert, Luca Padovani
2008 Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08  
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

Giuseppe Castagna, Nils Gesbert, Luca Padovani
2008 SIGPLAN notices  
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

Giuseppe Castagna, Nils Gesbert, Luca Padovani
2009 ACM Transactions on Programming Languages and Systems  
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

Karthikeyan Umapathy, Sandeep Purao
2007 Information Systems Frontiers  
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  
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

Hai Liu, Qing Li, Naijie Gu, An Liu
2008 Proceeding of the 17th international conference on World Wide Web - WWW '08  
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  
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]

Cosimo Laneve, Luca Padovani
2013 Lecture Notes in Computer Science  
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

Cosimo Laneve, Luca Padovani
2015 Formal Aspects of Computing  
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]

Sriram K. Rajamani, Jakob Rehof
2006 Lecture Notes in Computer Science  
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

Larbi Esmahi
2008 Journal of Electronic Commerce in Organizations  
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

Youngran Hyun
2017 International Journal of u- and e- Service, Science and Technology  
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

Anderson Francisco Talon, Edmundo Roberto Mauro Madeira
2015 Procedia Computer Science  
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

Benjamin N. Grosof, Terrence C. Poon
2003 Proceedings of the twelfth international conference on World Wide Web - WWW '03  
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]

Iraj Ataollahi, Mortza Analoui
2009 arXiv   pre-print
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