CaltechAUTHORS
  A Caltech Library Service

A New Construct for Systems Modeling and Theory: The Kind

Kiniry, Joseph R. (1998) A New Construct for Systems Modeling and Theory: The Kind. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-14

[img]
Preview
Postscript
See Usage Policy.

202Kb
[img]
Preview
Other (Adobe PDF (253KB))
See Usage Policy.

247Kb

Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-14

Abstract

Our primary research goal is the development of theories and technology to facilitate the design, implementation, and management of complex systems. Complex systems, in this context, are any systems which exhibit "interesting" behavior including, but not limited to, nondeterminism, collective or emergent behavior, and adaptability. We can claim to understand a system only when we can describe how it works (e.g. provide a specification) such that, if it is a constructive system, another can build it. This notion is our constructive peer of the traditional scientific method: repeatability of results is equivalent to repeatability of construction. Abstraction is recognized as a key to understanding complex systems. While increasing our abstraction level results in a more complete metamodel (i.e. we can talk about more systems because we can talk about more complex systems), it also means a more complex metamodel. On the other hand, we don't want to create theories and systems that only an expert can use. We need abstractions that are useful, comprehensible, and manipulable by humans (modelers, simulators, designers, developers, tool builders, etc.) and systems. In our experience, the highest-level abstractions in use today (e.g. classes, objects, types, subjects) can not model the systems we are interested in exploring. A higher-level abstraction missing: an "ubertype" of sorts - a syntactic and semantic bridge between types. We call this new abstraction a "kind". This paper will briefly describe kinds and provide several examples of their use.


Item Type:Report or Paper (Technical Report)
Group:Computer Science Technical Reports
Record Number:CaltechCSTR:1998.cs-tr-98-14
Persistent URL:http://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-14
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:26841
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