Applying formal description techniques to software architectural design

Authors:
J.J Li;J.R Horgan
Affiliations:
Telcordia Technologies (formerly Bellcore), 445 South Street, Morristown NJ 07960-6438, USA;Telcordia Technologies (formerly Bellcore), 445 South Street, Morristown NJ 07960-6438, USA
Venue:
Computer Communications
Year:
2000

Citing 6
Cited 3

A wideband approach to integrating performance prediction into a software design environment

Proceedings of the 1st international workshop on Software and performance
On Communicating Finite-State Machines

Journal of the ACM (JACM)
The 4+1 View Model of Architecture

IEEE Software
An Event-Based Architecture Definition Language

IEEE Transactions on Software Engineering
Automatic Simulation to Predict Software Architecture Reliability

ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
A formal approach to software architecture

A formal approach to software architecture

An evaluation of scenario notations and construction approaches for telecommunication systems development

Telecommunications Systems - Modeling, analysis, design and management
A review on specifying software architectures using extended automata-based models

FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
SHADD: A scenario-based approach to software architectural defects detection

Advances in Engineering Software

Quantified Score

Hi-index	0.24

Visualization

Abstract

Mature engineering disciplines have systematic quantified architectural design. Engineering advancement of the software engineering discipline will eventually require systematic and quantified software architectural design. Formal description techniques such as the specification and description language can help to achieve this goal. This paper presents a method to construct formal models of software architectures and to simulate them to predict the behavior, reliability, and performance of the software system. We use the quantified simulation results to evaluate alternative software architectural designs. Our experiments show that our approach identifies better designs.