Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!mnetor!seismo!rutgers!ames!ucbcad!ucbvax!smu.CSNET!leff From: leff@smu.CSNET (Laurence Leff) Newsgroups: comp.doc.techreports Subject: tr-input/mcc Message-ID: <8704200952.AA23744@ucbvax.Berkeley.EDU> Date: Sun, 19-Apr-87 20:23:40 EST Article-I.D.: ucbvax.8704200952.AA23744 Posted: Sun Apr 19 20:23:40 1987 Date-Received: Tue, 21-Apr-87 00:17:18 EST Sender: daemon@ucbvax.BERKELEY.EDU Distribution: world Organization: The ARPA Internet Lines: 1143 Approved: techreports@smu.csnet 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