Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publication no #217   Download bibtex file Type :   Html | Bib | Both
Add to my selection
Towards Formalized Software Architectures

Robert Allen and David Garlan.


Technical report, CMU-CS-92-163, Carnegie Mellon University, School of Computer Science, July 1992.

Online links: PS

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.

Keywords: Formal Methods, Software Architecture.  
@TechReport{Allen92PFTR,
      AUTHOR = {Allen, Robert and Garlan, David},
      TITLE = {Towards Formalized Software Architectures},
      YEAR = {1992},
      MONTH = {July},
      KEY = {Allen},
      NUMBER = {CMU-CS-92-163},
      INSTITUTION = {Carnegie Mellon University, School of Computer Science},
      PS = {http://reports-archive.adm.cs.cmu.edu/anon/1992/CMU-CS-92-163.ps},
      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.},
      KEYWORDS = {Formal Methods, Software Architecture}
}
    Created: 2006-08-22 17:43:12     Modified: 2006-08-22 20:38:11
Feedback: ABLE Webmaster
Last modified: Sat October 12 2019 16:15:32
        BibAdmin