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

Preview

Postscript - Submitted Version
See Usage Policy.
170kB

PDF - Submitted Version
See Usage Policy.
206kB

Use this Persistent URL to link to this item: https://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:

Author	ORCID
Kiniry, Joseph R.	0000-0002-3589-2454

Additional Information:

Group:

Computer Science Technical Reports

DOI:

10.7907/Z9PV6HCF

Record Number:

CaltechCSTR:1999.cs-tr-99-04

Persistent URL:

https://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:

03 Oct 2019 03:18

Repository Staff Only: item control page