kirancodes.me
To Proof Maintenance & Beyond!
ASE 2000

pi-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems

Christelle Chaudet, Flávio Oquendo

DOI 10.1109/ase.2000.873669dblp

Abstract

This paper presents an architecture description language, called /spl pi/-SPACE, designed to cope with requirements on evolving software architectures. /spl pi/-SPACE provides constructs for describing architectures based on the /spl pi/-calculus. It supports the adding, replacing and removing of components and connectors in an evolving software system. Applications of /spl pi/-SPACE are motivated by work on the relationships between business processes (including software development) and the software systems which support them. Businesses need flexible software that enhances their ability to adapt and survive in changing organizations.

BibTeX
@inproceedings{Chaudet-Oquendo:ASE00,
  author    = {Christelle Chaudet and
               Fl{\'{a}}vio Oquendo},
  title     = {{pi-SPACE:} A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems},
  booktitle = {ASE},
  pages     = {245--248},
  publisher = {{IEEE} Computer Society},
  year      = {2000},
}

Related papers