Filters








404 Hits in 3.8 sec

Compliance and Testing Preorders Differ [chapter]

Giovanni Bernardi, Matthew Hennessy
2014 Lecture Notes in Computer Science  
We compare two possible formulations, one based on compliance and the other on the testing theory of De Nicola and Hennessy.  ...  Conclusion In this paper we have shown the differences between the sub-contract preorders [CGP09, Pad10, Ber13] and the testing preorders [DH84, BH13] .  ...  The two essential differences in how servers are treated by the compliance relation and the testing relation are crystallised Example 3.1 and Example 3.2.  ... 
doi:10.1007/978-3-319-05032-4_6 fatcat:nn53fwoww5f6lj627kit4fuf74

Compliance Preorders for Web Services [chapter]

Michele Bugliesi, Damiano Macedonio, Luca Pino, Sabina Rossi
2010 Lecture Notes in Computer Science  
Following recent attempts in the literature, we interpret compliance as an experiment, much like the experiments made by a test process in testing theories, and use it as the basis for a notion of compliance  ...  We review the different notions of compliance in the literature, analyze their relative strengths and weaknesses, and formalize their interrelationships by providing a uniform formal framework where we  ...  In particular, they all interpret compliance as a basic test for investigating services, extract the preorder relationships induced by the test, and justify a compliance-preserving substitution principle  ... 
doi:10.1007/978-3-642-14458-5_5 fatcat:3yprahjuznc4rj4glfzelxybma

Choreographies and Behavioural Contracts on the Way to Dynamic Updates

Mario Bravetti, Gianluigi Zavattaro
2014 Electronic Proceedings in Theoretical Computer Science  
The obtained maximal preorders are then characterized in terms of a new form of testing, called compliance testing, where not only tests must succeed but also the system under test (thus relating to controllability  ...  theory), and compared with classical preorders such as may/must testing, trace inclusion, etc.  ...  In this respect compliance testing differs from standard testing theories which imply trace inclusion.  ... 
doi:10.4204/eptcs.168.2 fatcat:w4m2pbogsbgdjbqxcxzwniuggy

Using Higher-Order Contracts to Model Session Types (Extended Abstract) [chapter]

Giovanni Bernardi, Matthew Hennessy
2014 Lecture Notes in Computer Science  
The model is settheoretic, in the sense that the denotation of a contract is given by the set of contracts with which it complies; we use a novel notion of peer compliance.  ...  Research supported by SFI project SFI 06 IN.1 1898, and FCT project PTDC/EIA-CCO/122547/2010.  ...  Acknowledgements The authors would like to thank the reviewers, and reviewers of a previous version of this paper, for their insightful comments and questions.  ... 
doi:10.1007/978-3-662-44584-6_27 fatcat:g67oi5thffbebab5auvi2ojmny

Two notions of sub-behaviour for session-based client/server systems: 10 Years Later

Franco Barbanera, Ugo de'Liguoro
2020 22nd International Symposium on Principles and Practice of Declarative Programming  
Clearly different definitions of matching induce different relations of compliance.  ...  As shown in [35, 40] , one can formulate a natural notion of sub-contract relation inspired to must-preorder from testing semantics of CCS [32, 38] that is based on the concept of observation via experiments  ...  A fully-abstract characterisation of client preorders due to must and compliance testing was then developed and analysed in [21] .  ... 
doi:10.1145/3414080.3414082 dblp:conf/ppdp/Barbanerad20 fatcat:vwyewdbjwze3nlmmsmy4cal2se

Using higher-order contracts to model session types

Giovanni Bernardi, Matthew Hennessy, Davide Sangiorgi
2016 Logical Methods in Computer Science  
Session types are used to describe and structure interactions between independent processes in distributed systems.  ...  Acknowledgements The authors would like to thank the reviewers, and reviewers of a previous version of this paper, for their insightful comments and questions.  ...  of contracts, and then, in the style of testing theory [10] , the sub-contract preorder is defined using the compliance.  ... 
doi:10.2168/lmcs-12(2:10)2016 fatcat:5vjz4227zzbbtaequs5bph6sre

Multiparty testing preorders [article]

Rocco de Nicola, Hernán Melgratti
2022 arXiv   pre-print
We have that the uncoordinated preorder is coarser than the classical must testing preorder and finer than the individualistic one.  ...  Variants of the must testing approach have been successfully applied in Service Oriented Computing for analysing the compliance between (contracts exposed by) clients and servers or, more generally, between  ...  We thank the anonymous reviewers for their careful reading of our manuscript and their many insightful comments and suggestions.  ... 
arXiv:1612.03191v3 fatcat:woyurmpl35cnbfgyxndbojrvhu

Full-Abstraction for Must Testing Preorders [chapter]

Giovanni Bernardi, Adrian Francalanza
2017 Lecture Notes in Computer Science  
The client must preorder relates tests (clients) instead of processes (servers).  ...  In this paper we characterise the set of usable clients for finite-branching LTSs, and give a sound and complete decision procedure for it.  ...  It turns out that these abstractions are fundamental to characterise must-testing preorders and also compliance preorders [3, 5, 24] .  ... 
doi:10.1007/978-3-319-59746-1_13 fatcat:rugs36qo2nf7bpixvy575ynvl4

An algebraic theory for web service contracts

Cosimo Laneve, Luca Padovani
2015 Formal Aspects of Computing  
We study a natural notion of compliance between clients and services in terms of their bpel (abstract) descriptions.  ...  The induced preorder shows interesting connections with the must preorder and has normal form representatives that are parallel-free finite-state activities, called contracts.  ...  To equip contracts with a subcontract preorder, we commit to a testing approach.  ... 
doi:10.1007/s00165-015-0334-2 fatcat:yicgfnuup5fgvm7jw2t5iyf54y

An Algebraic Theory for Web Service Contracts [chapter]

Cosimo Laneve, Luca Padovani
2013 Lecture Notes in Computer Science  
We study a natural notion of compliance between clients and services in terms of their bpel (abstract) descriptions.  ...  The induced preorder shows interesting connections with the must preorder and has normal form representatives that are parallel-free finite-state activities, called contracts.  ...  To equip contracts with a subcontract preorder, we commit to a testing approach.  ... 
doi:10.1007/978-3-642-38613-8_21 fatcat:wt4novk5wvhmlaydchb5pz6acq

Page 522 of Mathematical Reviews Vol. , Issue 2002A [page]

2002 Mathematical Reviews  
Characterise the preorder on A-terms defined by MC, N => [M]CIN] where the latter preorder is Milner’s may testing semantics defined formally by PC Q <=> for all contexts C,C[P])} > C[Q]4 where P|} means  ...  ., they can be tested on the fly. One of these properties is shown to be minimal with re- spect to visible and RDT-compliant properties.  ... 

A theory of contracts for Web services

Giuseppe Castagna, Nils Gesbert, Luca Padovani
2009 ACM Transactions on Programming Languages and Systems  
We show that filters can be seen as proofs of a sound and complete subcontracting deduction system which simultaneously refines and extends Hennessy's classical axiomatisation of the must testing preorder  ...  with different usage scenarios.  ...  Here we consider a slightly different version of strong compliance relation which now coincides with the must testing preorder, while in PLAN-X strong compliance differed from must testing for some (uninteresting  ... 
doi:10.1145/1538917.1538920 fatcat:32jweopji5cx3ggan7erra7qne

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  
We show that filters can be seen as proofs of a sound and complete subcontracting deduction system which simultaneously refines and extends Hennessy's classical axiomatisation of the must testing preorder  ...  with different usage scenarios.  ...  Here we consider a slightly different version of strong compliance relation which now coincides with the must testing preorder, while in PLAN-X strong compliance differed from must testing for some (uninteresting  ... 
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  
We show that filters can be seen as proofs of a sound and complete subcontracting deduction system which simultaneously refines and extends Hennessy's classical axiomatisation of the must testing preorder  ...  with different usage scenarios.  ...  Here we consider a slightly different version of strong compliance relation which now coincides with the must testing preorder, while in PLAN-X strong compliance differed from must testing for some (uninteresting  ... 
doi:10.1145/1328897.1328471 fatcat:wn6g7hn6kfgelb4eprminezygu

Belief revision in Horn theories

James P. Delgrande, Pavlos Peppas
2015 Artificial Intelligence  
In particular, a standard construction based on a total preorder over possible worlds may violate the accepted (AGM) postulates.  ...  Conversely, in the obvious extension to the AGM approach, Horn revision functions are not captured by total preorders over possible worlds.  ...  find another binary relation ≺ , different from ≺, that also induces * via Definition 2 and which is a total preorder.  ... 
doi:10.1016/j.artint.2014.08.006 fatcat:cemlqkyyrzcotbmn3znqyy5dby
« Previous Showing results 1 — 15 out of 404 results