Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Exploiting style in architectural design environments
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
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)
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)
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)
Documenting Software Architectures: Views and Beyond
Documenting Software Architectures: Views and Beyond
A Model-Based Approach to Self-Adaptive Software
IEEE Intelligent Systems
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
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
Software Architecture Reliability Analysis Using Failure Scenarios
WICSA '05 Proceedings of the 5th Working IEEE/IFIP Conference on Software Architecture
Architecture-driven modelling and analysis
SCS '06 Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69
A Java toolkit for the design and the automatic checking of server architectures
Proceedings of the 5th international symposium on Principles and practice of programming in Java
Graph-Based Design and Analysis of Dynamic Software Architectures
Concurrency, Graphs and Models
Modes in component behavior specification via EBP and their application in product lines
Information and Software Technology
A declarative formal approach to dynamic reconfiguration
Proceedings of the 1st international workshop on Open component ecosystems
Modeling and analyzing architectural change with alloy
Proceedings of the 2010 ACM Symposium on Applied Computing
Analyzing architectural styles
Journal of Systems and Software
Architectural style as an independent variable
Proceedings of the IEEE/ACM international conference on Automated software engineering
Monarch: model-based development of software architectures
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Specifying self-configurable component-based systems with fractoy
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Towards formalizing network architectural descriptions
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Pol: specification-driven synthesis of architectural code frameworks for platform-based applications
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
| Hi-index | 0.00 |
The backbone of many architectures is an architectural style that provides a domain-specific design vocabulary and set of constraints on how that vocabulary can be used. Hence, designing a sound and appropriate architectural style becomes an important and intellectually challenging activity. Unfortunately, although there are numerous tools to help in the analysis of individual architectures, relatively less work has been done on tools to help the style designer. In this paper we show how to map an architectural style, expressed formally in an architectural description language, into a relational model that can be automatically checked for properties such as whether a style is consistent, whether a style satisfies some predicate over the architectural structure, whether two styles are compatible for composition, and whether one style refines another.