🚀 go-pugleaf

The following abstracts describe Non-Proprietary Technical Reports 
available  from MCC's Software Technology Program. Please send requests
to the person in the sign off banner.

********************************************************************
		SOFTWARE TECHNOLOGY PROGRAM
		   TECHNICAL REPORTS
		   (Non-Proprietary)

		   (Updated April 6, 1987)

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- -  - - - - - - - - - 

TR NUMBER:  STP-053-85

DATE ISSUED:  July 22, 1985

TITLE:  A Distributed Algorithm for N-Party Interactions

AUTHOR(S):  Rajive Bagrodia

ABSTRACT:  Presents distributed algorithm to implement generalized
alternative construct, which allows a process to select one of
several possible n-party interactions (n-process rendezvous) for
execution.

CLASSIFICATION:  Non-Proprietary/Unrestricted

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - - 

TR NUMBER:  STP-113-85

DATE ISSUED:  October 18, 1985

TITLE:  An introduction to temporal logic and its application
to software systems.

AUTHOR(S):  

ABSTRACT:  (In preparation; due in 2nd half 1986)

CLASSIFICATION:

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - - 

TR NUMBER:  STP-117-85

DATE ISSUED:  October 18, 1985

TITLE:  Support for Exploratory Design

AUTHOR(S):  Jeff Conklin and Charles Richter

ABSTRACT:  Paper presented at 1985 AIAA Computers in Aerospace
Conference and appears in the proceedings of that conference.
 A snapshot, taken in August, of an evolving theory of the dimensions
of the design space and the relationships between objects in that
space.  While our ideas have changed considerable since this paper
was written, the paper is indicative of the scope of this work.

CLASSIFICATION:  Non-Proprietary/Unrestricted

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - - 



TR NUMBER:  STP-125-85	(OUT OF CIRCULATION)

DATE ISSUED:  October 30, 1985

TITLE:  BiggerTalk:  Object-Oriented Prolog

AUTHOR(S):  Eric Gullichsen

ABSTRACT:  BiggerTalk is a system of Prolog routines which provide
capability for object-oriented programming in Prolog.  When compiled
into standard Prolog environment, the Biggertalk system permits
programming in object-oriented style of message passing between
objects, themselves defined as components of a poset (the `inheritance
structure') created through other Biggertalk commands.  An exploration
of integration of logic programming and object-oriented computational
metaphors is also conducted.

CLASSIFICATION:  Non-Proprietary/Unrestricted

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - - 

TR NUMBER:  STP-053-86

DATE ISSUED:  February 25, 1986

TITLE:  BiggerTalk* = BiggerTalk + Gordion

AUTHOR(S):  Eric Gullichsen

ABSTRACT:  BiggerTalk is a system of Prolog routines that provides
a capability for object-oriented programming in Prolog.  When
compiled into a standard Prolog environment, the BiggerTalk system
permits programming in the object-oriented style.  The aim of
the development of BiggerTalk* was to provide a tool to:  (1)
Explore the integration of logic programming and object-oriented
computational metaphors, (2) Experiment with inheritance strategies,
and (3) Act as a local front-end programming environment for Gordion,
the MCC-STP Object Server, a shared persistent repository of objects.

CLASSIFICATION:  Non-Proprietary/Unrestricted

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - - 

TR NUMBER:  STP-182-85

DATE ISSUED:  February 27, 1986

TITLE:  Raddle - An Informal Introduction

AUTHOR(S):  Ira R. Forman

ABSTRACT:  Raddle is a new model for the design of distributed
systems.  The two main (and novel) features of the model are the
synchronization/communication primitive, called interaction, and
the abstraction mechanism, called a team.  An interaction is an
N-party synchronization that allows multiway communication among
the parties.  The team provides a mechanism for building complex
interactions from primitive interactions.

CLASSIFICATION:  Non-Proprietary/Unrestricted 

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - - 

TR NUMBER:  STP-078-86

DATE ISSUED:  March 10, 1986

TITLE:  Design Technology Assessment:  Overview

AUTHOR(S):  Susan L. Gerhart

ABSTRACT:  The purpose and structure of the Software Technology
Program Design Process Group Technology Assessment project are
described.

CLASSIFICATION:  Non-Proprietary/Unrestricted

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - - 

TR NUMBER:  STP-107-86

DATE:  March 20, 1986

TITLE:  Design Technology Assessment:  The Statecharts Approach

AUTHOR(S):  Glenn R. Bruns, Susan L. Gerhart, Ira Forman, Michael
Graf

ABSTRACT:  The technology assessed is "Statecharts", a visual
formalism for presenting and analyzing specifications of reactive
systems.  This report provides additional understanding gained
from an intensive two-week study to supplement two attached technical
reports by the originators of the Statecharts methods and technology.
 An example, the lift problem, is described in some detail to
illustrate the methods and the lessons learned during the study.
 Assessments are made for both the originators' goals and the
goals of STP.

CLASSIFICATION:  Non-Proprietary/Unrestricted

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - - 

TR NUMBER:  STP-097-86

DATE:  March 31,1986

TITLE:  petri - A UNIX Tool for the Analysis of Petri Nets

AUTHOR(S):  Ira R. Forman

ABSTRACT:  An analyzer of Petri nets is described.  Petri nets
are a tool for modeling concurrent systems.  The program supports
three forms of analysis: simulation, reachability analysis, and
invariant analysis.  The combination of these forms of analysis
yields an engineering tool that should be useful in many software
engineering environments.

CLASSIFICATION:  Non-Proprietary/Unrestricted

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - - 

 

TR NUMBER:  STP-113-86

DATE:  April 3, 1986

TITLE:  Software Psychology:  The Need for an Interdisciplinary
Program

AUTHOR(S):  Bill Curtis, Elliott Soloway, Ruven Brooks, John Black,
Kate Ehrlich,
                 H. Rudy Ramsey              

ABSTRACT:  This paper was prepared for the National Science Foundation
and has been revised and updated for publication in the Proceedings
of the IEEE.  This review focuses on the state of the art in software
psychology - the study of human factors in computer sstems.  One
area of software psychology, the psychology of programming, is
picked for an in-depth discussion of research results.  The review
then discusses the methodological issues involved in performing
experimental research in software psychology.  Future trends are
discussed both for the programming research reviewed here and
for the whole field of software psychology.  The conclusions identify
multidisciplinary training and research as critical to further
progress in this field.

CLASSIFICATION:  Non-Proprietary/Unrestricted

REVISIONS: None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - - 

TR  NUMBER:  STP-114-86

DATE:  April 3, 1986

TITLE:  Key Leverage Points in software Productivity and the MCC
Software Techology
         Program

AUTHOR(S):  Bill Curtis

ABSTRACT:  These viewgraphs present the keynote address delivered
by the author at the Second National Conference on Software Productivity
and Quality on March 12, 1986 in Alexandria, VA.  This talk provided
a brief review of MCC, discussed some of the productivity and
quality data collected over the last decade from which we have
identified some key leverage points, reviewed the research strategy
we are pursuing in addressing the software productivity and quality
of our shareholders, elaborated on models of software process,
and ended with a call for government procurement officers to keep
abreast of how advances in software technology should influence
their standards and practices.

CLASSIFICATION:  Non-Proprietary/Unrestricted

REVISIONS:  None  

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - - 

TR NUMBER:  STP-068-86

DATE:  April 7, 1986

TITLE:  Theories of Design:  An Introduction to the Literature

AUTHOR(S):  Glenn R. Bruns and Susan L. Gerhart

ABSTRACT:  The body of general knowledge concerning theories and
methodology of design will be important to STP, in particular
to its Design Process Group, in the development of Leonardo's
design process model.  This report surveys theories found in the
worldwide and cross-area design movement and in the computer science
literature in the light of the Leonardo conceptual framework.

CLASSIFICATION:  Non-Proprietary/Unrestricted

REVISIONS:  None 

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - - 

TR NUMBER:  STP-133-86

DATE:  April 11, 1986

TITLE:  Future Requirements for Testing - Position paper for Workshop
on Software
         Testing, Banff, July 1986

AUTHOR(S):  Johannes Grande

ABSTRACT:  The Software Technology Program (STP) at MCC is developing
and integrating technologies for future design of large, complex
systems.  Validation and verification are important aspects of
those technologies and the possible use of current software testing
methods would be desirable.  This paper takes a brief look at
the future testing requirement of STP, assesses the suitability
of current methods, and identifies several areas in which testing
technologies and other methods for achieving software quality
might advance to meet the needs of STP.

CLASSIFICATION:  Non-Proprietary/Unrestricted

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - - 

TR NUMBER:  STP-141-86

DATE:  April 16, 1986

TITLE:  What Is Leonardo?

AUTHOR(S):  Peter Marks

ABSTRACT:  MCC's Software Technology Program (MCC-STP) was created
in 1984 by the participating companies to perform focused research
aimed at achieving enormous iimprovements both in the productivity
of the process of developing large, complex, software-intensive
systems and in the quality of the resulting products.  The output
of STP's efforts - Leonardo - is to be a prototype technology
subject to further development by the shareholders.  In late 1985
a committee was formed to write a document describing "the dream
of Leonardo".  The result was this report, a terse, thought-provoking
discussion of Leonardo's problem domain.  A second report {TR#
STP-140-86Q, "The Leonardo Problem Domain"} was created re-stating
the problem domain discussion (Chapters 0-3 only) into an easier-to-read
format.

CLASSIFICATION:  Non-Proprietary/Unrestricted

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - -

TR NUMBER:  STP-168-86

DATE:  Mary 21, 1986

TITLE:  Reusability Overview

AUTHOR(S):  Ted J. Biggerstaff

ABSTRACT:  Reusability is a strategy of great promise and it is
one whose promise has been largely unfulfilled.  I will try to
explain why I believe that this is true and describe what can
be done to allow reusability to fulfill its promise.  In the remaining
sections I will: (1) Describe the problems that stand in the way
of fulfilling the promise, (2) describe and categorize some of
the technologies that can be brought to bear on the reusability
problem, (3) describe some of the dilemmas presented by the reusability
problem, (4) describe the important research issues, and (5) make
some predictions on the evolution of reusability technology.

CLASSIFICATION:  Non-Proprietary/Unrestricted

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - -

TR NUMBER:  STP-172-86

DATE:  May 30, 1986

TITLE:  Design and Implementation of GORDION, An Object Base Management
System

AUTHOR(S):  Aral Ege and Clarence A. Ellis

ABSTRACT:  An experimental object base management system called
Gordion is presented.  Gordion is a server which provides permanence
and sharing of objects for workstations within an object-oriented
environment.  Among the unique aspects of Gordion are:  its ability
to communicate with multiple languages, introduction of new concurrency
control primitives, ability to manipulate objects of arbitrary
size, and object sharing across the languages through a base set
of classes.  The system is currently interfaced to two languages,
BiggerTalk and Zetalisp Flavors.  Beside its language interface,
Gordion has an interface for the system administrator, and an
interface for debugging.  A discussion of the future prospects
for Gordion concludes the paper.

CLASSIFICATION:  Non-Proprietary/Unrestricted

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - -

TR NUMBER:  STP-201-86

DATE:  June 23, 1986

TR TITLE:  PROJECT NICK: Meetings Augmentation and Analysis

AUTHOR(S):  Michael Begeman, Peter Cook Clarence Ellis, Mike Graf,
Gail Rein,
               Tom Smith                

ABSTRACT:  This paper describes research work on analysis and
augmentation of design meetings ongoing within the Design Interface
Group of the Software Technology Program at MCC.  The paper presents
a model of meeting progression which serves as a framework for
our research.  Primary topics covered in the paper are meetings
analysis, where measures of quantities such as meeting effectiveness
are considered, and meetings augmentation, where facilities and
techniques for capture and presentation of meeting information
are considered.

CLASSIFICATION:  Non-Proprieitary/Unrestricted

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - -

TR NUMBER:  STP-197-86

DATE:  June 25, 1986

TR TITLE:  Research Problems in Automating the Reuse of Designs

AUTHOR(S):  Ted J. Biggerstaff

ABSTRACT:  This talk uses an Object Oriented model to discuss
the problem of reusing designs.  The Object Oriented model has
a number of appealing characteristics (e.g., encapsulation of
information, inheritance and so forth) and works reasonably well
for reusing code.  In trying to adapt the Object Oriented model
to the reuse of designs, we run into some problems.  We will characterize
these problems and speculate about how we might change the model
in order to adapt it to the reuse of designs.  We conclude that
these problems are not central to the Object Oriented aspect of
the model, but rather are a result of representations that are
more suited to coding and speculation than to designing.

CLASSIFICATION:  Non-Proprietary/Unrestricted

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - -

TR NUMBER:  STP-202-86

DATE:  June 27, 1986

TR TITLE:  Skills versus Knowledge in Software Engineering Education:
 A Retrospective on             the Wang Institute MSE Program

AUTHOR(S):  Susan L. Gerhart

ABSTRACT:  This report contains a paper submitted to a workshop
Software Engineering Education - 1986:  The Educational Needs
of the Software Community sponsored by the Carnegie-Mellon University
Software Engineering Institute Education Division, Pittsburgh,
Pa.  February 27-28, 1986.  Proceedings of the workshop will be
published in late 1986 by Springer-Verlag.  The audience for this
report is members of STP shareholder companies with an interest
in internal industrial or external traditional education of high-quality
industrial software engineers.  A preface summarizes the Workshop
context and directions towards the development of a software engineering
curriculum.

CLASSIFICATION:  Non-Proprietary/Unrestricted

REVISIONS:  NONE

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - -

TR NUMBER:  STP-229-86

DATE:  July 22, 1986

TR TITLE:  Requirements for Environments for Analysts

AUTHOR(S):  Susan L. Gerhart

ABSTRACT:  Most programming environments have several kinds of
users.  These users often play several roles in the content of
software development.  This paper looks at the requirements for
one such role - the ANALYST - whose job is to perform detailed
technical analyses and to produce reports and recommendations
for other designers and developers.  The role of analyst specialists
is characterized, providing a context for team work in software
design and development.  Three existing environments for analysts
are summarized and generalized to derive requirements for support
from programming environments.  The paper's primary purpose is
to follow a systematic approach for support from programming environments.
 The paper's primary purpose is to follow a systematic approach
to reach requirements for supporting the analysts role.

CLASSIFICATION:  Non-Proprietary/Unrestricted

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - -   

TR NUMBER:  STP-266-86

DATE:  August 5, 1986

TR TITLE:  Design Issues for Window Managers

AUTHOR(S):  James L. Peterson

ABSTRACT:  Window managers are becoming an important new part
of modern computer systems.  A window manager allocates screen
space to several different output sources, either from a single
application or from multiple processes to share a single display,
or set of displays.  Window manager clients create windows to
display their output.  Windows are virtual or logical terminals
which are mapped by the window manager onto the physical displays.
 Windows can be created, moved, resized, and deleted.  Window
systems can be tiled or overlapped.  Control over the windows
can be internal or external.  Either bit-mapped or character-oriented
displays may be used.  Often a keyboard and mouse (or other pointing
device) is also required.

CLASSIFICATION:  Non-Proprietary/Unrestricted

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - -   

TR NUMBER:  STP-284-86

DATE:  August 20, 1986

TR TITLE:  A Software Metrics Survey

AUTHOR(S):	S.D. Conte, Purdue University; H.E. Dunsmore,
Purdue University
		V.Y. Shen, MCC; W.M. Zage, Purdue University

ABSTRACT:  This paper was adapted from the book Software Engineering
Metrics and Models, Benjamin Cummings Publishing Company (1986),
by S.D. Conte, H.E. Dunsmore, and V.Y. Shen.

CLASSIFICATION:  Non-Proprietary/Unrestricted

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - -   

TR NUMBER:  STP-286-86

DATE:  August 21, 1986

TR TITLE:  Future Technologies for Design of Complex Systems

AUTHOR(S):	Johannes Grande

ABSTRACT:  Microelectronics and Computer Technology Corporation
(MCC) is performing research aimed at improving the process of
developing complex, software intensive systems.  This research
focuses on the up-stream design activities, the process of team
design, and the technologies for design representation and design
visualization.

CLASSIFICATION:  Non-Proprietary/Unrestricted

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - -   

TR NUMBER:  STP-296-86

DATE:  September 8, 1986

TR TITLE:  Technology Assessment: PAISley

AUTHOR(S):	Glenn R. Bruns

ABSTRACT:  The technology assessed is "PAISley", an executable
specification language intended to be well suited to real-time
and distributed systems.  This report provides an overview and
assessment of the PAISley language, tools, and method.  The assessments
are made for both the originators' goals and the goals of STP.
 Additionally, two PAISley elevator system specifications are
shown, described, and compared.

CLASSIFICATION:  Non-Proprietary/Unrestricted

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - -   

TR NUMBER:  STP-345-86

DATE:  October 15, 1986

TR TITLE:  Reusability Framework, Assessment, and Directions

AUTHOR(S):	T. Biggerstaff and C. Richter

ABSTRACT:   Reusability is widely believed to be a key to improving
software development productivity and quality.  The reuse of software
components "amplifies" the software developer's capabilities.
 It allows him or her to write fewer total symbols in the development
of a system, and allows him or her to spend less time in the process
of organizing those symbols.  However, while reusability is a
strategy of great promise, it is one whose promise has been largely
unfulfilled.  We will try to explain why we believe that this
is true and describe what can be done to allow reusability to
fulfill its promise.  This paper is intended to provide a short
overview of the reuse of software and then assess the current
state of reusability technology.

CLASSIFICATION: Non-Proprietary/Unrestricted

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - -   
  

TR NUMBER:  STP-361-86

DATE:  October 28, 1986

TR TITLE:  Design Representation Technology: A Survey

AUTHOR(S):	 Dallas Webster

ABSTRACT:  This report presents a broad, qualitative survey of
design representation technologies.  Representation of software
design information, along with the associated representational
requirements, is stressed.  Most notably, a preliminary or working
"technology map" is exhibited, illustrating relationships among
a broad range of current and developing technologies and providing
a context for continued research in design representation.  Limitations
of the representation mechanisms of conventional software development
technologies are pointed out, and several alternatives that are
under investigation and development at STP are described.

CLASSIFICATION: Non-Proprietary/Unrestricted  

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - -   

TR NUMBER:  STP-369-86

DATE:  November 5, 1986

TR TITLE:  Technology Assessment:  Gist

AUTHOR(S):	 G. Bruns, D. Bridgeland, D. Webster

ABSTRACT:  Gist is an operational specification language developed
by Bob Balzer and others at USCs Information Sciences Institute.
 It is a rich language that uses multiple paradigms including
object-oriented, rule-based, logic-based, and constraint-based.
 The purpose of having multiple paradigms is to allow a high degree
of expressiveness.  We found Gist to be difficult to understand
from published papers and a two-day training session, but interesting
enough to warrant further investigation.  This preliminary report
describes Gist and evaluates the language, technology, and method.
 Two appendices assess Gist as a knowledge representation language.

CLASSIFICATION: Non-Proprietary/Unrestricted 

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - -   

TR NUMBER:  STP-440-86

DATE:  December 23, 1986

TR TITLE:  The Application of KL-ONE to Software Design Information:
A Case Study

AUTHOR(S):	 Charles Richter

ABSTRACT: One of the goals of the Design Information Group is
to develop a "theory" of the information space.  As a first step
toward that goal, we are evaluating the applicability of selected
knowledge representation schemes to the domain of software design
information.  In this paper we evaluate KL-ONE [2] as a foundation
for a particular application, an issue manager.

This paper is divided into four major sections.  In section 1
we discuss the purpose and limits of the evaluation.  We also
outline our reasons for choosing KL-ONE.  Section 2 summarizes
the features of KL-ONE.  In section 3, we apply KL-ONE on an issue
manager.  We first describe what tasks an issue manager might
perform; we then represent certain issue-oriented information
in KL-ONE and discuss how the issue manager could be built on
top of such a knowledge base.  Section 4 lists our conclusions
and future directions.

CLASSIFICATION: Non-Proprietary/Unrestricted 

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - -   

TR NUMBER:  STP-236-86

DATE:  July 25, 1986 (printed in Jan., 1987)

TR TITLE:  A Theory and Tool for Coordination

AUTHOR(S):	 Jeff Conklin

ABSTRACT: Teamwork depends heavily on successful communication
and coordination.  This paper describes research which combines
work on Issue Based Information Systems, conversational protocols,
hypertext, and a preliminary theory on the internal structure
of design decisions (ISAACs).  A tool is proposed which allows
designers to capture and structure their own deliberations about
design decisions in a way that (1) makes this deliberative process
directly communicable to the designer's teammates, and (2) supports
the uncertain and exploratory of early design conversations.

CLASSIFICATION: Non-Proprietary/Unrestricted 

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - -   

TR NUMBER:  STP-365-86

DATE:  January 8, 1987

TR TITLE:  System Development as a Performing Art - A People-Centered
View of                          Leonardo

AUTHOR(S):	 Peter Marks

ABSTRACT:   This report explores a view of system development,
drawn by analogy to performing arts like theater and competitive
sports, as an ongoing progression of Practice-Performance-Postmortem
cycles.  These stages are defined with regard to their treatment
of errors, and the roles of Performer, Audience, and Coach.  Potential
impact of this model on STP's part in "building Leonardo" is suggested.

CLASSIFICATION: Non-Proprietary/Unrestricted 

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - -   

TR NUMBER:  STP-098-86, Revision 1.0 

DATE:  January 26, 1987

TR TITLE:  On the Design of Large Distributed Systems

AUTHOR(S):	 Ira R. Forman

ABSTRACT:   Higher level abstractions are needed for the design
of distributed systems.  Such an abstraction is the N-party interaction,
which is the synchronous state change of N processes.  It is proposed
that this be used as the main primitive for the design of distributed
systems.  A language called Raddle is described that supports
the N-party interaction as its synchronization and communication
primitive.  A problem is solved in which it is shown how this
language can be used to develop a distributed system by refinement
of interactions.

CLASSIFICATION: Non-Proprietary/Unrestricted 

REVISIONS:  Rev. 1.0

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - -   

TR NUMBER:  STP-026-87

DATE:  January 27, 1987

TR TITLE:  PARIS:  A System for Reusing Partially Interpreted
Schemas

AUTHOR(S):	 Shmuel Katz, Charles Richter, and Khe-Sing The

ABSTRACT:   This paper describes PARIS, an implemented system
that facilitates the reuse of partially interpreted schemas. 
A schema is a program and specification with abstract, or uninterpreted,
entities.  Different interpretations of those entities will produce
different programs.  The PARIS system maintains a library of such
schemas and provides an interactive mechanism to interpret a schema
into a useful program by means of partially automated matching
and verification procedures.  Key words and phrases:  partially
interpreted schemas, reusability, abstract programs, specification
and verification, distributed programming, matching problems to
specifications, applying automatic theorem proving.

CLASSIFICATION: Non-Proprietary/Unrestricted 

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - -   

TR NUMBER:  HI-400-86*

DATE:  December 1986 (printed and distributed in February, 1987)

TR TITLE:  From Modern Alchemy to a New Renaissance

AUTHOR(S):	 Kim Fairchild, Human Interface Program and
                 Eric Gullichsen, Software Program

ABSTRACT:   Western society today stands at a turning point, largely
unaware that it is poised on the brink of a new revolution in:
 computing power including the technology of hardware capable
of providing affordable computer power for all and software to
provide: flexible dynamic hypermedia, and techniques based on
object-orientation to manage the complexity and volume of data
required to support multiple layers of abstractions; participant
systems which permit group collaboration on large-scale problems;
and electronic communication capabilities which both support participant
systems and can supplant traditional paper and telephone-based
media to effect radical changes in our society.  Synergy of the
three areas of new improvements leads to the possibility of construction
of elaborate Artificial Realities.  Combined with electronic interpersonal
communication, these have the potential to generate change in
individual consciousness and social structure.

CLASSIFICATION: Non-Proprietary/Unrestricted 

REVISIONS:  None
* ? Jointly developed by STP & Human Interface Program; in Feb.
87, Mr. Fairchild joined STP.

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - -   

TR NUMBER:  STP-039-87

DATE:  January 30, 1987

TR TITLE:  Information Management Challenges in the Software Design
Process

AUTHOR(S):	 T. Biggerstaff, C. Ellis, F. Halasz, C. Kellogg,
C. Richter, D. Webster

ABSTRACT:  The upstream software design process challenges database
technology via its requirements for effective handling of diverse
data -- both unstructured and structured, fuzzy and concrete,
incomplete and fully specified.  Informal and formal, complex
and primitive.  Commercial databases provide robust commercial
products that deal well with the "easy" (complete, regular, precise,
formal, consistent) problems.  Data, knowledge and information
based technologies must be developed further and merged to deal
with the "hard" ones.

CLASSIFICATION: Non-Proprietary/Unrestricted 

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - -   

TR NUMBER:  STP-356-86, Rev. 1

DATE:  February 9, 1987

TR TITLE: A Survey of Hypertext

AUTHOR(S):	 Jeff Conklin 

ABSTRACT:  Hypertext is a computer-supported medium for information
in which many interlinked documents are displayed with their links
on a high-resolution computer screen.  The links may be directly
activated by a pointing device such as a mouse, which causes the
document referenced by the link to appear instantly in a new window
on the screen.  While the concepts of hypertext are not new, the
technology to make it effective is new.  This paper reviews most
of the existing hypertext systems, and then explores in some detail
the fundamental features of hypertext and some of the design options
in constructing hypertext systems.  The advantages and disadvantages
of hypertext are discussed in terms of four major application
categories: macro literary systems, problem exploration systems,
and structured browsing systems, and systems developed to explore
hypertext technology. 

CLASSIFICATION: Non-Proprietary/Unrestricted  

REVISIONS:  Rev. 1

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - -   

TR NUMBER:  STP-070-87

DATE:  February 24, 1987

TR TITLE:  Highlights of the MCC Software Technology Program (Charts
+ Video)

AUTHOR(S):	 Ted Biggerstaff

ABSTRACT:  This is a chart plus video presentation of some current
activities in the Software Technology Program (STP). The viewgraphs
contain an overview of STP and introductions to PlaneText, a hypertext
system; IDeA, a design reuse system; and VERDI, a visual environment
for the design of distributed systems. The videotape consists
of short demonstrations of PlaneText, IDeA, and VERDI. 

CLASSIFICATION: Non-Proprietary/Unrestricted 

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - -   

TR NUMBER:  STP-072-87

DATE:  February 25, 1987

TR TITLE:  A Study of the Relation Between Coordination Primitives
of Raddle
            and other Languages

AUTHOR(S):	 Devendra Kumar

ABSTRACT:  This report presents a comparison between the coordination
primitives of Raddle and those of the following languages:  ADA,
SR, Cell, Modula-2, and ARGUS.  The purpose of the study is to
gain insight into the relation of other paradigms of coordination
and insight into how Raddle designs may be implemented.

CLASSIFICATION: Non-Proprietary/Unrestricted 

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - -   

TR NUMBER:  STP-086-87

DATE:  March 13, 1987

TR TITLE:  SMDC:  An Interactive Software Metrics Data Collection
and Analysis System

AUTHOR(S):	 T. J. Yu, AT&T Bell Laboratories, B. A. Nejmeh,
AT&T Bell Laboratories, H.E. Dunsmore, Purdue University, V.Y.
Shen, MCC

ABSTRACT:  This paper presents the data and capabilities provided
by the Software Metrics Data Collection (SMDC) system.  SMDC is
an APL-based system which runs on the UNIX 4.3BSD system at Purdue
University.  The data stored in SMDC was collected from hundreds
of (1) software products developed at industrial environments
and (2) experiments conducted at Purdue University.  The largest
software product in SMDC has more than 1,000,000 lines of code.
 SMDC also provides a number of statistical functions and plotting
routines which can be used for detailed analysis of existing data.
 The data and tools in SMDC are available for use by non-Purdue
researchers with some limitations.  This paper has been submitted
to the Journal of Systems and Software for publication.

CLASSIFICATION: Non Proprietary/Unrestricted

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - -   

TR NUMBER:  STP-087-87

DATE:  March 13, 1987

TR TITLE:  An Analysis of Several Software Defect Models

AUTHOR(S):	 Tie-Jie Yu, AT&T Bell Laboratories, Hubert E.
Dunsmore, Purdue University

ABSTRACT:  This paper presents the results of analyzing several
defect models using data collected from two large commercial projects.
 Traditional models typically use either program metrics (i.e.,
measurements from software products) or testing time or combinations
of these as independent variables.  The limitations of such models
have been well documented.  The models considered in this paper
all use the number of defects detected in the earlier phase of
the development process as the independent variable.  We have
found a very strong correlation between the number of earlier
defects and that of later ones.  Using this relationship, we constructed
a mathematical model which may be used to estimate the number
of defects remaining in software.  This paper has been accepted
for publication in IEEE Trans. on Software Engineering.  The publication
data is currently not known.

CLASSIFICATION: Non Proprietary/Unrestricted

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - -   

			ADDENDUM				
 #####################################################
#####################################################

The reports listed below are NOT the property of MCC. They are
supplemental material to other STP Technical Reports (as noted)
and are made available to STP Participants with the express permission
of the authors.                                              
      ------------------------------------------------------------------------------------------------------------

TR NUMBER:  None (Reference STP-114-85)

DATE ISSUED:  October 18, 1985

TITLE:  Partially Interpreted Schemas for CSP Programming

AUTHOR(S):  Orit Baruch and Shmuel Katz

ABSTRACT:  Partially interpreted program schemata are suggested
as a tool for formally specifying and defining the range of applicability
of patterns of communication.  The schemata syntactically resemble
programs, but contain free variables which represent uninterpreted
program sections, domains, functions, or other aspects of the
program.  The specification of the schema includes both applicability
requirements and result assertions, as well as specifications
for the free variables.

NOTE:  This paper is not the property of the MCC Software Technology
Program.  It is being distributed as background for STP-114-85
through the expressed permission of the authors.

CLASSIFICATION:  None

REVISIONS:  None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - - 

TR NUMBER:  None (Reference STP-107-86)

DATE ISSUED:  January 1985

TITLE:  On the Development of Reactive Systems

AUTHOR(S):  D. Harel and A. Pneuli

ABSTRACT:  Some observations are made concerning the process of
developing complex systems.  A broad class of systems, termed
reactive, is singled out as being particularly problematic when
it comes to finding satisfactory methods for behavioral description.
 In this paper we recommend the recently proposed statechart method
for this purpose.

NOTE:  This paper is not the property of the MCC Software Technology
Program.  It is being distributed as background for STP-107-86
 through the expressed permission of the authors.

CLASSIFICATION:  Non-Proprietary/Unrestricted

REVISIONS:   None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - - 

ADDENDUM (Cont'd)

TR NUMBER:  None (Reference STP-107-86)

DATE:  February 1986

TITLE:  Statecharts:  A Visual Approach to Complex Systems

AUTHOR(S):  David Harel

ABSTRACT:  We present a broad extension of the conventional formalism
of state machines and state diagrams, that is relevant to the
design, specification, documentation and maintenance of a complex
discrete-event entity, such as a large multi-computer real-time
system.  Our diagrams, which we call statecharts, are intended
to capture the dynamic behavioral aspects of a system, rather
than its physical or functional ones, in a clear, flexible and
concise manner.  Statecharts can be used either as a stand-alone
behavioral description or as part of a more general design methodology
that deals also with the system's other aspects.

NOTE:  This paper is not the property of the MCC Software Technology
Program.  It is being distributed as background for STP-107-86
 through the expressed permission of the authors.

CLASSIFICATION:  Non-Proprietary/Unrestricted

REVISIONS:   None

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - - 

###########################################################################		END
of ABSTRACT LISTING
###########################################################################



-- 

James D. Babcock @ MCC
Software Technology Program
P.O. Box 200195
9390 Research Blvd.  Austin, Tx. 78720
512/338-3489

uucp: {seismo,harvard,gatech,pyramid}!ut-sally!im4u!milano!babcock
arpa: babcock@mcc.com