Software Interconnection Models (1987)
Cached
Download Links
- [www.ece.utexas.edu]
- [www.ece.utexas.edu]
- [users.ece.utexas.edu]
- [sunset.usc.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | Proceedings of the 9th International Conference on Software Engineering |
| Citations: | 55 - 14 self |
BibTeX
@INPROCEEDINGS{Perry87softwareinterconnection,
author = {Dewayne E. Perry},
title = {Software Interconnection Models},
booktitle = {Proceedings of the 9th International Conference on Software Engineering},
year = {1987},
pages = {61--69}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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. We discuss various tools that use these models and evaluate how well these models support the management of system evolution. We then introduce the semantic interconnection model. The semantic interconnection model incorporates the advantages of the unit and syntactic interconnection models and provides extremely useful extensions to them. By refining the grain of interconnections to the 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. We do this by using the semantic interconnection model to formalize the semantics of program construction, the semantics of changes, and the semantics of version equivalence and compatibi...
