Software Architecture Directed Behaviour Analysis

Authors:
Jeff Magee;Jeff Kramer;Dimitra Giannakopoulou
Affiliations:
Department of Computing, Imperial College of Science, Technology and Medicine, 180 Queen's Gate, London SW7 2BZ, UK.;Department of Computing, Imperial College of Science, Technology and Medicine, 180 Queen's Gate, London SW7 2BZ, UK.;Department of Computing, Imperial College of Science, Technology and Medicine, 180 Queen's Gate, London SW7 2BZ, UK.
Venue:
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Year:
1998

Citing 9
Cited 5

Introduction to the Special Issue on Software Architecture

IEEE Transactions on Software Engineering - Special issue on software architecture
Checking subsystem safety properties in compositional reachability analysis

Proceedings of the 18th international conference on Software engineering
Formalizing architectural connection

ICSE '94 Proceedings of the 16th international conference on Software engineering
Verification of liveness properties using compositional reachability analysis

ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
The Theory and Practice of Concurrency

The Theory and Practice of Concurrency
The 4+1 View Model of Architecture

IEEE Software
Specifying Distributed Software Architectures

Proceedings of the 5th European Software Engineering Conference
Compositional State Space Generation from Lotos Programs

TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Composing Distributed Objects in CORBA

ISADS '97 Proceedings of the 3rd International Symposium on Autonomous Decentralized Systems

Checking progress with action priority: is it fair?

ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Behavioural analysis of the enterprise JavaBeans component architecture

SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Modelling for Mere Mortals

TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
A model-driven approach to automate the propagation of changes among Architecture Description Languages

Software and Systems Modeling (SoSyM)
Reliability prediction through system modeling

ACM SIGSOFT Software Engineering Notes

Quantified Score

Hi-index	0.00

Visualization

Abstract

A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this position paper, we discuss an approach to using architectural description for the behavioural analysis of distributed software systems and some of the issues which arise in providing tool support. The approach is based on the use of finite state automata to specify behaviour and Compositional Reachability Analysis to check composite system models. The architecture description of a system is used directly to generate the model used for analysis.