Towards Formalized Software Architectures (1992)
Cached
Download Links
- [reports.adm.cs.cmu.edu]
- [www.cs.cmu.edu]
- [reports-archive.adm.cs.cmu.edu]
- [www.engr.uconn.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | Computer Science Today: Recent Trends and Developments, Lecture Notes in Computer Science, Volume 1000 |
| Citations: | 42 - 3 self |
BibTeX
@INPROCEEDINGS{Allen92towardsformalized,
author = {Robert Allen and David Garlan},
title = {Towards Formalized Software Architectures},
booktitle = {Computer Science Today: Recent Trends and Developments, Lecture Notes in Computer Science, Volume 1000},
year = {1992},
pages = {307--323},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
An important goal in software engineering is to describe complex software systems at an architectural level of abstraction. While there are many useful architectural paradigms (pipes, blackboards, etc.) they are typically understood only idiomatically and applied in an ad hoc fashion. We show how a formal model allows us to say precisely what we mean by a software architecture, explore its properties, and systematically describe instances of the architecture. We illustrate the approach using the well-known example of pipe-filter architectures. This research was sponsored by the National Science Foundation under Grants CCR-9109469 and CCR-9112880, and by Siemens Corporate Research, Inc. The views and conclusions contained in this document are those of the author and should not be interpreted as representing the official policies, either expressed or implied, of Siemens or the U.S. Government. Keywords: Dataflow Systems, Pipes and Filters, Software Architecture, Software Engineering, S...
