A Caltech Library Service

Leading to a Kind Description Language: Thoughts on Component Specification

Kiniry, Joseph R. (1999) Leading to a Kind Description Language: Thoughts on Component Specification. California Institute of Technology , Pasadena, CA. (Unpublished)

Postscript - Submitted Version
See Usage Policy.

[img] PDF - Submitted Version
See Usage Policy.


Use this Persistent URL to link to this item:


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.

Item Type:Report or Paper (Technical Report)
Kiniry, Joseph R.0000-0002-3589-2454
Additional Information:© 1999 California Institute of Technology. May, 1999.
Group:Computer Science Technical Reports
Record Number:CaltechCSTR:1999.cs-tr-99-04
Persistent URL:
Usage Policy:You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format.
ID Code:26848
Deposited By: Imported from CaltechCSTR
Deposited On:30 Apr 2001
Last Modified:03 Oct 2019 03:18

Repository Staff Only: item control page