Formal and Semi-formal descriptions of a Cross-Connector Software Architecture

Software Architectures (SAs) represent the overall system structure by modeling individual components and their interactions. SA descriptions capture both the statics and the dynamics, at an appropriately high level of abstraction and can be used to analyze complex software systems relevant properties. In this work we show our experience on a real, complex telecommunication software system trying to understand how formal and coherent software architectural description can be specified to make architectural level quantitative analysis possible.

[1]  Dimitra Giannakopoulou,et al.  Model checking for concurrent software architectures , 1999 .

[2]  Robert L. Nord,et al.  Applied Software Architecture , 1999, Addison Wesley object technology series.

[3]  Edward D. Lazowska,et al.  Quantitative system performance - computer system analysis using queueing network models , 1983, Int. CMG Conference.

[4]  Paul Clements,et al.  Software architecture in practice , 1999, SEI series in software engineering.

[5]  Dieter Hogrefe,et al.  SDL : formal object-oriented language for communicating systems , 1997 .

[6]  Connie U. Smith,et al.  Performance evaluation of software architectures , 1998, WOSP '98.

[7]  Paul C. Clements,et al.  A survey of architecture description languages , 1996, Proceedings of the 8th International Workshop on Software Specification and Design.

[8]  Paola Inverardi,et al.  An approach to performance evaluation of software architectures , 1998, WOSP '98.

[9]  F. Russo,et al.  Performance evaluation of a software architecture: a case study , 1998, Proceedings Ninth International Workshop on Software Specification and Design.