The Z notation: a reference manual
The Z notation: a reference manual
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Using style to understand descriptions of software architecture
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Exploiting style in architectural design environments
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
Formalizing style to understand descriptions of software architecture
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
A framework for event-based software integration
ACM Transactions on Software Engineering and Methodology (TOSEM)
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Software architecture styles as graph grammars
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Pattern-oriented software architecture: a system of patterns
Pattern-oriented software architecture: a system of patterns
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Creating computer simulation systems: an introduction to the high level architecture
Creating computer simulation systems: an introduction to the high level architecture
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
A Model-Based Approach to Self-Adaptive Software
IEEE Intelligent Systems
Formal Modeling of the Enterprise JavaBeansTM Component Integration Framework
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Acme: an architecture description interchange language
CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
Deadlock-free software architectures for COM/DCOM applications
Journal of Systems and Software - Special issue on: Component-based software engineering
Rapid development of custom software architecture design environments
Rapid development of custom software architecture design environments
AcmeStudio: Supporting Style-Centered Architecture Development
Proceedings of the 26th International Conference on Software Engineering
Compositional Generation of Software Architecture Performance QN Models
WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
Understanding Tradeoffs among Different Architectural Modeling Approaches
WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
Explaining abstract counterexamples
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Bridging the Gap between Systems Design
SEW '05 Proceedings of the 29th Annual IEEE/NASA on Software Engineering Workshop
Software Architecture Reliability Analysis Using Failure Scenarios
WICSA '05 Proceedings of the 5th Working IEEE/IFIP Conference on Software Architecture
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
Analyzing architectural styles with alloy
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Architecting Software Intensive Systems: A Practitioners Guide
Architecting Software Intensive Systems: A Practitioners Guide
Assuring architectural properties during compositional architecture design
SC'11 Proceedings of the 10th international conference on Software composition
A constructive approach to compositional architecture design
ECSA'11 Proceedings of the 5th European conference on Software architecture
Modeling dynamic architectures using Dy-BIP
SC'12 Proceedings of the 11th international conference on Software Composition
Stitch: A language for architecture-based self-adaptation
Journal of Systems and Software
Foundations and tools for end-user architecting
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Robust reconfigurations of component assemblies
Proceedings of the 2013 International Conference on Software Engineering
Synthesis of component and connector models from crosscutting structural views
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Composition-Centered architectural pattern description language
ECSA'13 Proceedings of the 7th European conference on Software Architecture
Hi-index | 0.00 |
The backbone of most software architectures and component integration frameworks is one or more architectural styles that provide a domain-specific design vocabulary and a set of constraints on how that vocabulary is used. Today's architectural styles are increasingly complex, involving rich vocabularies and numerous constraints. Hence, designing a sound and appropriate style becomes an intellectually challenging activity. Unfortunately, although there are numerous tools to help in the analysis of architectures for individual systems, relatively less work has been done on tools to help in the design of architectural styles. In this paper we address this gap by showing how to map an architectural style, expressed formally in an architectural description language, into a relational model that can then be checked for properties, such as whether a style is consistent, whether a style satisfies some predicates over its architectural structure, and whether two styles are compatible for composition.