Leading to a Kind Description Language: Thoughts on Component Specification

Kiniry, Joseph R. (1999) Leading to a Kind Description Language: Thoughts on Component Specification. Technical Report. California Institute of Technology. [CaltechCSTR:1999.cs-tr-99-04]

Full text available as:

	Postscript - Requires a viewer, such as GhostView
	Other (Adobe PDF (220KB))

Abstract

The Kind Description Language (KDL) is a language used for describing the interface and behavior of software components. KDL is an extension of the Object Management Group's Object Constraint Language (OCL). While OCL is only able to describe safety properties of a component and its features, KDL can also describe progress properties with temporal operators like leads-to. KDL also introduces several new "convenience" constructs that help simplify and clarify complex component descriptions. KDL can be used to specify a component's simple behavioral interface, as in Meyer's Design by Contract, the more complex temporal properties that distributed objects and components exhibit, and more.

EPrint Type:	Monograph (Technical Report)
Subjects:	All Records
ID Code:	198
Deposited By:	Caltech Library System
Deposited On:	30 April 2001
Record Number:	CaltechCSTR:1999.cs-tr-99-04
Official Persistent URL:	http://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-04
Usage Policy:	You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format.

Archive Staff Only: edit this record