Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Exploiting ADLs to specify architectural styles induced by middleware infrastructures
Proceedings of the 21st international conference on Software engineering
Avoiding packaging mismatch with flexible packaging
Proceedings of the 21st international conference on Software engineering
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Acme: architectural description of component-based systems
Foundations of component-based systems
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Self-organising software architectures for distributed systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
Analyzing architectural styles with alloy
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
An Automated Formal Approach to Managing Dynamic Reconfiguration
ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
Effective Realization of Software Architectural Styles with Aspects
WICSA '08 Proceedings of the Seventh Working IEEE/IFIP Conference on Software Architecture (WICSA 2008)
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Software Architecture: Foundations, Theory, and Practice
Software Architecture: Foundations, Theory, and Practice
Verification of DSMLs using graph transformation: a case study with Alloy
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
A constraint solver for software engineering: finding models and cores of large relational specifications
Architectural style as an independent variable
Proceedings of the IEEE/ACM international conference on Automated software engineering
On the modular representation of architectural aspects
EWSA'06 Proceedings of the Third European conference on Software Architecture
Architecture as an independent variable for aspect-oriented application descriptions
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Semantic anchoring with model transformations
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
A formal approach to software synthesis for architectural platforms
Proceedings of the 33rd International Conference on Software Engineering
Bottom-up model-driven development
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
Hi-index | 0.01 |
In recent work we showed that it is possible to separate, and combine formal representations of, application properties and architectural styles, respectively. We do this by defining style-specific mappings from style-independent application models to architectural models in given styles. This paper shows that this separation of concerns supports a model-based development and tools approach to architectural-style-independent application modeling, and architecture synthesis with style as a separate design variable. In support of these claims, we present a proof-of-concept tool, Monarch, and illustrate its use.