Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Uncovering architectural mismatch in component behavior
Science of Computer Programming
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Design and use of software architectures: adopting and evolving a product-line approach
Design and use of software architectures: adopting and evolving a product-line approach
Characteristics of scalability and their impact on performance
Proceedings of the 2nd international workshop on Software and performance
Using a coordination language to specify and analyze systems containing mobile components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modeling software architectures in the Unified Modeling Language
ACM Transactions on Software Engineering and Methodology (TOSEM)
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Model checking software architecture specifications in SAM
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
A comparative study of formal verification techniques for software architecture specifications
Annals of Software Engineering
Scenario-Based Analysis of Software Architecture
IEEE Software
A survey on software architecture analysis methods
IEEE Transactions on Software Engineering
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
Behaviour Analysis of Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Specification and verification of concurrent systems in CESAR
Proceedings of the 5th Colloquium on International Symposium on Programming
Software Architecture in Practice
Software Architecture in Practice
Automated Translation of UML Models of Architectures for Verification and Simulation Using SPIN
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Incremental Verification of Architecture Specification Language for Real-Time Systems
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
A Survey of Architecture Description Languages
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Proceedings of the 16th IEEE international conference on Automated software engineering
Automated Check of Architectural Models Consistency Using SPIN
Proceedings of the 16th IEEE international conference on Automated software engineering
Fluent model checking for event-based systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, Sfm 2003 (Lecture Notes in Computer Science, 2804)
ACM SIGSOFT Software Engineering Notes
Formally analyzing software architectural specifications using SAM
Journal of Systems and Software
A Framework for Classifying and Comparing Software Architecture Evaluation Methods
ASWEC '04 Proceedings of the 2004 Australian Software Engineering Conference
Compositional Verification of Middleware-Based Software Architecture Descriptions
Proceedings of the 26th International Conference on Software Engineering
Real World Influences on Software Architecture - Interviews with Industrial System Experts
WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
Comparison of Scenario-Based Software Architecture Evaluation Methods
APSEC '04 Proceedings of the 11th Asia-Pacific Software Engineering Conference
The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems
Proceedings of the 27th international conference on Software engineering
RSP '05 Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping
ACM SIGSOFT Software Engineering Notes
The Golden Age of Software Architecture
IEEE Software
On relating functional specifications to architectural specifications: a case study
Science of Computer Programming
Symbolic invariant verification for systems with dynamic structural adaptation
Proceedings of the 28th international conference on Software engineering
Moving architectural description from under the technology lamppost
Information and Software Technology
ICSE '07 Proceedings of the 29th international conference on Software Engineering
On Accurate Automatic Verification of Publish-Subscribe Architectures
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Architecture-driven modelling and analysis
SCS '06 Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69
Graphical scenarios for specifying temporal properties: an automated approach
Automated Software Engineering
Probabilistic Model-Checking Support for FMEA
QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
Specification patterns for probabilistic quality properties
Proceedings of the 30th international conference on Software engineering
Architecting Dependable Systems V
Architecting Dependable Systems V
Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems
Journal of Systems and Software
A Timed Extension of Property Sequence Chart
HASE '08 Proceedings of the 2008 11th IEEE High Assurance Systems Engineering Symposium
A Formal Semantics for a Quality of Service Contract Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
CHARMY: A Framework for Designing and Verifying Architectural Specifications
IEEE Transactions on Software Engineering
Monitoring probabilistic properties
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
A Process Algebraic Approach to Software Architecture Design
A Process Algebraic Approach to Software Architecture Design
A Rewriting Semantics for a Software Architecture Description Language
Electronic Notes in Theoretical Computer Science (ENTCS)
IEEE Transactions on Software Engineering
A Formal Syntax for Probabilistic Timed Property Sequence Charts
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Model checking publish-subscribe systems
SPIN'03 Proceedings of the 10th international conference on Model checking software
Probabilistic timed behavior trees
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
A formal approach to designing secure software architectures
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
A visualization framework for the modeling and formal analysis of high assurance systems
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
On the use of real-time maude for architecture description and verification: a case study
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Hierarchical verification in maude of Lf P software architectures
ECSA'07 Proceedings of the First European conference on Software Architecture
A framework for classifying and comparing software architecture tools for quality evaluation
ICCSA'11 Proceedings of the 2011 international conference on Computational science and Its applications - Volume Part V
FSP and FLTL framework for specification and verification of middle-agents
International Journal of Applied Mathematics and Computer Science - Semantic Knowledge Engineering
Reliability analysis in component-based development via probabilistic model checking
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Journal of Systems and Software
Towards formalising installation and reconfiguration tasks of AADL architecture
International Journal of Communication Networks and Distributed Systems
Hi-index | 0.00 |
Software architecture specifications are used for many different purposes, such as documenting architectural decisions, predicting architectural qualities before the system is implemented, and guiding the design and coding process. In these contexts, assessing the architectural model as early as possible becomes a relevant challenge. Various analysis techniques have been proposed for testing, model checking, and evaluating performance based on architectural models. Among them, model checking is an exhaustive and automatic verification technique, used to verify whether an architectural specification conforms to expected properties. While model checking is being extensively applied to software architectures, little work has been done to comprehensively enumerate and classify these different techniques. The goal of this paper is to investigate the state-of-the-art in model checking software architectures. For this purpose, we first define the main activities in a model checking software architecture process. Then, we define a classification and comparison framework and compare model checking software architecture techniques according to it.