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
Expressing contract monitors as patterns of communication
2015
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015
Preserved Fulltext
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
2015
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.
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
2018
Journal of functional programming
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.
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
2006
International Journal of Cooperative 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 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2004
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 2016; you can also visit the original URL.
The file type is application/pdf.
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]
2005
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 2016; you can also visit the original URL.
The file type is application/pdf.
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
2006
Proceedings of the 2006 ACM symposium on Applied computing - SAC '06
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 2006; you can also visit the original URL.
The file type is application/pdf.
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]
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 2018; you can also visit the original URL.
The file type is application/pdf.
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
2011
Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11
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 2013; you can also visit the original URL.
The file type is application/pdf.
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
2011
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 2013; you can also visit the original URL.
The file type is application/pdf.
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
2019
2019 20th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)
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 2021; you can also visit the original URL.
The file type is application/pdf.
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
2010
Computer
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 2012; you can also visit the original URL.
The file type is application/pdf.
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
2007
Science of Computer Programming
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 2011; you can also visit the original URL.
The file type is application/pdf.
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
1985
American Journal of Law & Medicine
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 2021; you can also visit the original URL.
The file type is application/pdf.
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
2013
The Journal of Logic and Algebraic Programming
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 2012; you can also visit the original URL.
The file type is application/pdf.
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