Software Architecture Modeling & Analysis: A Rigorous Approach

@inproceedings{Kramer2003SoftwareAM,
  title={Software Architecture Modeling & Analysis: A Rigorous Approach},
  author={Jeff Kramer and Jeff Magee and Sebasti{\'a}n Uchitel},
  booktitle={SFM},
  year={2003}
}
In this overview paper, we outline a tool supported approach to the design and analysis of complex systems at the architectural level. The foundations of this approach are the use of the architectural description language Darwin to capture structural information about components and their interconnection and the use of a process algebra FSP to describe the behaviour of individual components. These descriptions are combined to construct a system behavioural model that can be animated to validate… CONTINUE READING