Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

EWSA
2004
Springer

favoriteEmaildiscussreport

69views Software Engineering» more EWSA 2004»

Model Checking for Software Architectures

13 years 9 months ago

Model Checking for Software Architectures

Download ftp.inrialpes.fr

Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow to represent a system’s structure and behaviour together with its dynamic changes and evolutions. Model checking techniques oﬀer a useful way for automatically verifying ﬁnitestate Adl descriptions w.r.t. their desired correctness requirements. In this position paper, we discuss several issues related to the application of model checking in the area of software architectures, underlining the aspects of interest for current and future research (construction of state spaces, expression and veriﬁcation of requirements, state explosion).

Radu Mateescu

Real-time Traffic

EWSA 2004 | Model Checking | Model Checking Techniques | Software Architectures |

claim paper

Related Content

» Checking Architectural and Implementation Constraints for DomainSpecific Component Framewo...

» Automated Architecture Consistency Checking for Model Driven Software Development

» ModelChecking Plus Testing From Software Architecture Analysis to Code Testing

» Bogor an extensible and highlymodular software model checking framework

» Bogor A Flexible Framework for Creating Software Model Checkers

» A Comparison of Static Architecture Compliance Checking Approaches

» Exception Handling An Architecture Model and Utility Support

» On the Systematic Conformance Check of Software Artefacts

» Modeling Environment for Component Model Checking from Hierarchical Architecture

Post Info
More Details (n/a)

Added	01 Jul 2010
Updated	01 Jul 2010
Type	Conference
Year	2004
Where	EWSA
Authors	Radu Mateescu

Comments (0)