CaltechAUTHORS
  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 . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-04

[img]
Preview
Postscript
See Usage Policy.

166Kb
[img]
Preview
Other (Adobe PDF (220KB))
See Usage Policy.

214Kb

Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-04

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.


Item Type:Report or Paper (Technical Report)
Group:Computer Science Technical Reports
Record Number:CaltechCSTR:1999.cs-tr-99-04
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.
ID Code:26848
Collection:CaltechCSTR
Deposited By: Imported from CaltechCSTR
Deposited On:30 Apr 2001
Last Modified:26 Dec 2012 14:07

Repository Staff Only: item control page