Behavioral Contracts and Behavioral Subtyping

Behavioral Contracts and Behavioral Subtyping (2001)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Robert Bruce Findler , Mario Latendresse , Matthias Felleisen

Venue:	In Proceedings of ACM Conference Foundations of Software Engineering
Citations:	25 - 1 self

Versions

Version History

Metadata Version 0

Datum	Value	Source
TITLE	Behavioral Contracts and Behavioral Subtyping	SVM HeaderParse 0.1
AUTHOR NAME	Robert Bruce Findler	SVM HeaderParse 0.1
AUTHOR ADDR	6100 South Main; MS 132; Houston, TX 77006; USA	SVM HeaderParse 0.1
AUTHOR NAME	Mario Latendresse	SVM HeaderParse 0.1
AUTHOR NAME	Matthias Felleisen	SVM HeaderParse 0.1
ABSTRACT	Component-based software manufacturing has the potential to bring division-of-labor benefits to the world of software engineering. In order to make a market of software components viable, however, producers and consumers must agree on enforceable software con-tracts. In this paper, we show how to enforce contracts if components are manufactured from class and interface hierarchies. In particular, we focus on one style of contract: pre- and post-conditions. Programmers annotate class and interface methods with pre- and postconditions and the run-time system checks these conditions during evaluation. These contracts guarantee that methods are called properly and provide appropriate results. In procedural languages, the use of pre- and post-condition con-eacts is well-established and studies have demonstrated its value. In object-oriented languages, however, assigning blame for preand post-condition failures poses subtle and complex problems. Specifically, assigning blame for malformed class and interface hierarchies is so difficult that none of the existing contract monitoring tools correctly assign blame for these failures. In this paper, we show how to overcome these problems in the context of Java. Our work is based on the notion of behavioral subtyping.	SVM HeaderParse 0.1
CITATIONS	1 found	ParsCit 1.0