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

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

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

239Kb

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

Repository Staff Only: item control page