• Corpus ID: 8157970

Software interconnection models

@inproceedings{Perry1987SoftwareIM,
  title={Software interconnection models},
  author={Dewayne E. Perry},
  booktitle={ICSE '87},
  year={1987}
}
  • D. Perry
  • Published in ICSE '87 1 March 1987
  • Computer Science
We present a formulation of interconnection models and present the unit and syntactic models — the primary models used for managing the evolution of large software systems. [] Key Method By refining the grain of interconnections to level of semantics (that is, to the predicates that define aspects of behavior) we provide tools that are better suited to manage the details of evolution in software systems and that provide a better understanding of the implications of changes.

Figures from this paper

Abstractions and implementations for architectural connections

TLDR
The role of connector abstractions in software design, the connector abstraction currently supported by UniCon, and implementation issues associated with supporting an open-ended collection of connectors are described.

Abstractions for Software Architecture and Tools to Support Them

TLDR
The purpose is to support the abstractions used in practice by software designers, and sketches a model for defining architectures and presents an implementation of the basic level of that model.

Formulations and Formalisms in Software Architecture

TLDR
The progressive codification of software architecture is explored: the relation between emerging models and the selection, development, and use of formal systems.

Formulations and Formalisms in Software Architecture ? 1 Status and Needs of Software Architecture

TLDR
This paper explores the progressive codiication of software architecture: the relation between emerging models and the selection, development, and use of formal systems.

A System for Programming-in-the-large*

TLDR
R rigi was designed to address three of the most difficult problems in the area of programming-in-the-large: the mastery of the structural complexity of large software systems, the effective presentation of development information, and the definition of pmcdures for checking and maintaining the completeness, consistency, and traceability of system descriptions.

The logic of propagation in the inscape environment

TLDR
This discussion presents how Inscape uses operation specifications (based on Hoare's input/output predicate approach) as the basis for synthesizing the interfaces for such complex languages statements as sequence, selection and iteration.

Rigi: a system for programming-in-the-large

  • H. MüllerK. Klashinsky
  • Computer Science
    Proceedings. [1989] 11th International Conference on Software Engineering
  • 1988
TLDR
Randi was designed to address three of the most difficult problems in the area of programming-in-the-large: the mastery of the structural complexity of large software systems, the effective presentation of development information, and the definition of procedures for checking and maintaining the completeness, consistency, and traceability of system descriptions.

Representing architectural evolution

TLDR
This paper addresses expression of system evolution at the architectural level based on a formal model of box-and-line diagrams and shows how familiar design concepts--such as extension, abstraction, and structural refinement-- can be formalized in simple terms within the framework developed.

A practical approach to semantic configuration management

TLDR
This work believes that the simplified formulation of the semantic CM problem, which has not been formalized previously in nonsemantic terms, offers the potential for considerably more powerful debugging and configuration management tools.

Formalizing architectural connection

  • R. AllenD. Garlan
  • Computer Science
    Proceedings of 16th International Conference on Software Engineering
  • 1994
TLDR
A theory is presented for one aspect of architectural description, the interactions between components, to define architectural connectors as explicit semantic entities that characterize each of the participant roles in an interaction and how these roles interact.
...

References

SHOWING 1-10 OF 36 REFERENCES

Version control in the Inscape environment

TLDR
Using Instress (Inscape's module interface specification language) specifications, Invariant provides a better understanding of the notion of parallel versions, a more comprehensive notion of version consistency, and a more flexible method of system composition than current mechanisms.

Automated Enhancement of Knowledge Representations

A new class of maintenance tool is presented, designed specifically for enhancement of knowledge representation systems. These tools are based on the structure of a domain model and the ways it can

Rcs — a system for version control

  • W. Tichy
  • Computer Science
    Softw. Pract. Exp.
  • 1985
TLDR
Basic version control concepts are introduced and the practice of version control using RCS is discussed, and usage statistics show that RCS's delta method is space and time efficient.

Lint, a C Program Checker

TLDR
This document discusses the use of lint, gives an overview of the implementa- tion, and gives some hints on the writing of machine independent C code.

Abstraction and Verification in Alphard: Introduction to Language and Methodology

TLDR
This paper attempts to capture the symbiotic influence of these two goals on the design of Alphard by interleaving the language description with the presentation of a proof technique and discussion of programming methodology.

Make — a program for maintaining computer programs

  • S. Feldman
  • Computer Science, Education
    Softw. Pract. Exp.
  • 1979
TLDR
A program that can keep track of the relationships between parts of a program, and issue the commands needed to make the parts consistent after changes are made is described.

Computer-Aided Software Engineering in a distributed workstation environment

TLDR
DSEE is a distributed, production quality, software development environment that runs on Apollo workstations that provides source code control, configuration management, release control, advice management, task management, and user-defined dependency tracking with automatic notification.

An axiomatic basis for computer programming

In this paper an attempt is made to explore the logical foundations of computer programming by use of techniques which were first applied in the study of geometry and have later been extended to

Smart recompilation

TLDR
Smart recompilation is a method for reducing the set of modules that must be recompiled after a change by isolating the differences among program modules and analyzing the effect of changes.

Infuse: a tool for automatically managing and coordinating source changes in large systems

In current change management tools, the actual changes occur outside the tool. In contrast, Infuse concentrates on the actual change process and provides facilities for both managing and coordinating