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

[img]
Preview
Postscript - Submitted Version
See Usage Policy.

166Kb
[img] PDF - Submitted Version
See Usage Policy.

201Kb

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)
ORCID:
AuthorORCID
Kiniry, Joseph R.0000-0002-3589-2454
Additional Information:© 1999 California Institute of Technology. May, 1999.
Group:Computer Science Technical Reports
DOI:10.7907/Z9PV6HCF
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:14 Mar 2017 21:25

Repository Staff Only: item control page