Filters








156,110 Hits in 5.9 sec

Expressing contract monitors as patterns of communication

Cameron Swords, Amr Sabry, Sam Tobin-Hochstadt
2015 Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015  
We present a new approach to contract semantics which expresses myriad monitoring strategies using a small core of foundational communication primitives.  ...  This approach allows multiple existing contract monitoring approaches, ranging from Findler and Felleisen's original model of higher-order contracts to semi-eager, parallel, or asynchronous monitors, to  ...  We thank the anonymous reviewers of ICFP 2015 for their detailed reviews, which helped to improve the presentation and technical content of the paper.  ... 
doi:10.1145/2784731.2784742 dblp:conf/icfp/SwordsST15 fatcat:qbt346ttvzh63hd4eqdxhdt3ni

Expressing contract monitors as patterns of communication

Cameron Swords, Amr Sabry, Sam Tobin-Hochstadt
2015 SIGPLAN notices  
We present a new approach to contract semantics which expresses myriad monitoring strategies using a small core of foundational communication primitives.  ...  This approach allows multiple existing contract monitoring approaches, ranging from Findler and Felleisen's original model of higher-order contracts to semi-eager, parallel, or asynchronous monitors, to  ...  We thank the anonymous reviewers of ICFP 2015 for their detailed reviews, which helped to improve the presentation and technical content of the paper.  ... 
doi:10.1145/2858949.2784742 fatcat:vyo37wxy7fg3fkhvqpqaboqqiq

An extended account of contract monitoring strategies as patterns of communication

CAMERON SWORDS, AMR SABRY, SAM TOBIN-HOCHSTADT
2018 Journal of functional programming  
By observing that contracts are fundamentally about communication between a program and a monitor, we reframe contract checking as communication between concurrent processes.  ...  Finally, we show that our approach suggests new monitoring approaches and contracts not previously expressible.  ...  Contracts as Patterns of Communication With our core calculus in place, we may now define contract monitoring strategies in a single, unified system, expressing each in terms of the language primitives  ... 
doi:10.1017/s0956796818000047 fatcat:pp3mm43yznah3l4mmmkbksunza

A FORMAL ANALYSIS OF A BUSINESS CONTRACT LANGUAGE

GUIDO GOVERNATORI, ZORAN MILOSEVIC
2006 International Journal of Cooperative Information Systems  
for run time contract monitoring.  ...  The paper shows how this formalism can be mapped onto the key policy concepts of a contract specification language, called Business Contract Language (BCL), previously developed to express contract conditions  ...  Acknowledgements The paper is an extended and revised version of the papers presented at EDOC2005 9 and CoALa2005 8 .  ... 
doi:10.1142/s0218843006001529 fatcat:3pzqbqewejh33isuji3heklbey

Supporting Contract Execution through Recommended Workflows [chapter]

Roger Tagg, Zoran Milosevic, Sachin Kulkarni, Simon Gibson
2004 Lecture Notes in Computer Science  
Our current contract monitoring prototype provides run-time checking of policies in contracts.  ...  We use an example contract to illustrate the different views and the problems of deriving business processes from contracts.  ...  The authors would also like to thank to Dr Michael Lawley and Tony O'Hagan for their comments to an earlier version of this paper.  ... 
doi:10.1007/978-3-540-30075-5_1 fatcat:itq4uctq65hatdpu6wafdejbjy

Towards Integrating Business Policies with Business Processes [chapter]

Zoran Milosevic
2005 Lecture Notes in Computer Science  
One use of such a combined model is to support monitoring of participants' behaviour against agreed policies as in business contracts.  ...  We present a framework for augmenting business process specifications with policy expressions such as obligations, permissions and prohibitions.  ...  The author would also like to thank Andrew Berry and Andy Bond for their comments on an earlier version of this paper.  ... 
doi:10.1007/11538394_31 fatcat:nsyhipsebvct3lfa73uqc6bete

Automated generation of monitors for pattern contracts

Benjamin Tyler, Jason O. Hallstrom, Neelam Soundarajan
2006 Proceedings of the 2006 ACM symposium on Applied computing - SAC '06  
Second, we present a tool that generates a set of aspect-oriented monitors for a system based on the specifications of the patterns used in its design.  ...  To address this problem, we first present a specification language that captures pattern requirements precisely, as well as the ways in which patterns are specialized for use.  ...  Pattern contracts are expressed in terms of these concepts, but the actual definitions are supplied as part of the subcontracts corresponding to particular specializations of the pattern.  ... 
doi:10.1145/1141277.1141695 dblp:conf/sac/TylerHS06 fatcat:6mwitsww3jaxhmwbomj4l4acou

Amplifying the Benefits of Design Patterns: From Specification Through Implementation [chapter]

Jason O. Hallstrom, Neelam Soundarajan, Benjamin Tyler
2006 Lecture Notes in Computer Science  
The monitoring code is generated automatically from the pattern specifications underlying the system's design.  ...  Second, we describe an approach to monitoring a system's runtime behavior to determine whether the appropriate pattern specifications are respected.  ...  Community involvement is essential in ensuring that the contracts faithfully capture the intent of the patterns specified.  ... 
doi:10.1007/11693017_17 fatcat:onrok4pncze7romkmc2vkabdje

Temporal higher-order contracts

Tim Disney, Cormac Flanagan, Jay McCarthy
2011 Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11  
Our development formalizes module behavior as a trace of events such as function calls and returns.  ...  The paper presents both a programmatic contract API as well as a temporal contract language, and reports on experience and performance results from implementing these contracts in Racket.  ...  Acknowledgements We thank Shriram Krishnamurthi and Michael Greenberg for valuable comments on an earlier draft of this paper, Robby Findler for helpful discussions on temporal contracts, and Matthias  ... 
doi:10.1145/2034773.2034800 dblp:conf/icfp/DisneyFM11 fatcat:ninxtmn3qrghpnoylaq3obnl2i

Temporal higher-order contracts

Tim Disney, Cormac Flanagan, Jay McCarthy
2011 SIGPLAN notices  
Our development formalizes module behavior as a trace of events such as function calls and returns.  ...  The paper presents both a programmatic contract API as well as a temporal contract language, and reports on experience and performance results from implementing these contracts in Racket.  ...  Acknowledgements We thank Shriram Krishnamurthi and Michael Greenberg for valuable comments on an earlier draft of this paper, Robby Findler for helpful discussions on temporal contracts, and Matthias  ... 
doi:10.1145/2034574.2034800 fatcat:vkmtrq3emja5fidw7qslg3nkuy

Toward Sustainable Communities with a Community Currency – A Study in Car Sharing

Keitaro Nakasai, Yoshiharu Ikutani, Daiki Takata, Hideaki Hata, Kenichi Matsumoto
2019 2019 20th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)  
Toward building sustainable communities in FLOSS development, we first study our car-sharing experiment at NAIST, as a common pool resource management.  ...  We report the details of the car uses in our experiment, and describe the design of our new system to make better CPR management.  ...  In the current car-sharing setting, no specific mechanism to coordinate, monitor, and sanction the patterns of appropriation by users.  ... 
doi:10.1109/snpd.2019.8935650 dblp:conf/snpd/NakasaiITHM19 fatcat:ux5poa4ixje3llgog57r4b2xki

Runtime Verification of Web Service Interface Contracts

Sylvain Hallé, Tevfik Bultan, Graham Hughes, Muath Alkhalaf, Roger Villemaire
2010 Computer  
Using the Amazon E-Commerce Service as an example, we show how we can automatically test an implementation for conformance as well as monitor at runtime that each partner fulfils its part of the contract  ...  Web applications are required to follow an interface contract that specifies their expected behaviour when they communicate with a web service.  ...  Moreover, in most situations, interface contracts can be expressed by combining a small set of predefined templates or patterns.  ... 
doi:10.1109/mc.2010.76 fatcat:lfa7yodeabahtndlk4fw53wzfa

Using role-based coordination to achieve software adaptability

Alan Colman, Jun Han
2007 Science of Computer Programming  
Abstract management contracts regulate the flow of control through the roles and provide monitoring interception points.  ...  We elaborate how contracts can be used to monitor, regulate and configure the interactions between clusters of software entities called roles.  ...  This allows variable NFRs to be expressed as conditions of the contract.  ... 
doi:10.1016/j.scico.2006.06.006 fatcat:2o5asxqyuzgg5koa7ais3oxadu

Correspondence

Barry S. Schifrin
1985 American Journal of Law & Medicine  
I wish to make quite clear that this communication is an expression of my own personal opinion and in no way reflects any expression or statement from the Kaiser Permanente Southern California Medical  ...  As an example, the high risk patients monitored in labor by Haverkamp et al., had previously been screened for fetal risk by the contraction stress test, a test based upon electronic fetal monitoring.  ... 
doi:10.1017/s0098858800009400 fatcat:ohuf7axqlfc5rlg25m7mhlqnpm

Distributed system contract monitoring

Adrian Francalanza, Andrew Gauci, Gordon J. Pace
2013 The Journal of Logic and Algebraic Programming  
We also illustrate the expressivity of the calculus by showing how contracts in a simple contract language can be synthesised into different mDP monitors.  ...  System distribution poses major challenges to contract monitoring, from monitoring-induced information leaks to computation load balancing, communication overheads and fault-tolerance.  ...  We present a monitoring distributed calculus in sections 3 and 4, and illustrate its use for monitoring behavioural contracts expressed as regular expressions in section 5.  ... 
doi:10.1016/j.jlap.2013.04.001 fatcat:whcqtzblgzenhmuqllrlg2fp6u
« Previous Showing results 1 — 15 out of 156,110 results