Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
On Communicating Finite-State Machines
Journal of the ACM (JACM)
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
The 4+1 View Model of Architecture
IEEE Software
An Event-Based Architecture Definition Language
IEEE Transactions on Software Engineering
Evaluating dynamic correctness properties of domain reference architectures
Journal of Systems and Software - Special issue: Best papers on Software Engineering from the SEKE'01 Conference
Architecture-based software reliability modeling
Journal of Systems and Software
A review on specifying software architectures using extended automata-based models
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Applying formal description techniques to software architectural design
Computer Communications
Hi-index | 0.00 |
One of the goals of software architecture research is to analyze the reliability of a software system early in the development lifecycle. This allows the system designers to predict reliability and evaluate alternative designs. This paper presents a methodology and accompanying toolset, Workflow-to-SDL-Direct-Simulation (W2S), for generating a simulator from a semi-formal architecture description. This simulator allows the analysis of the system's reliability based on the simulated behavior and performance. There are three steps in the W2S methodology: (1) translation of the description to a Communicating Extended Finite State Machine (CEFSM) model; (2) generation of a simulator from the CEFSM model and a model of the system environment; and (3) execution of the simulator on top of an underlying CEFSM engine. The W2S methodology was applied to a Bellcore tele communication control system, using a set of tools that we developed. Several sets of experiments were carried out. The result shows that the information generated by the simulator can be used to predict the reliability of a system solely based on its architectural description. This prediction allows designers to select more reliable architectures.