Reasoning About Quantitative Architectural Attributes (Invited Paper)
暂无分享,去创建一个
It is widely accepted that software architectures represent non functional attributes of software systems. Yet we know of no Architectural Description Language that provides automated support for reasoning about such attributes. In this paper we discuss our ongoing research in representing and reasoning about non functional properties of software architectures.
[1] David Garlan,et al. Acme: an architecture description interchange language , 2010, CASCON.
[2] Bradley R. Schmerl,et al. AcmeStudio: supporting style-centered architecture development , 2004, Proceedings. 26th International Conference on Software Engineering.
[3] Christopher van Eenoo,et al. Addressing non-functional properties in software architectures using ADL , 2005 .
[4] David Garlan,et al. A formal basis for architectural connection , 1997, TSEM.