Report on the Larch shared language
Science of Computer Programming
Adding relational abstraction to programming languages
Conference proceedings on Formal methods in software development
Software evolution through iterative prototyping
ICSE '92 Proceedings of the 14th international conference on Software engineering
Abstractions for Software Architecture and Tools to Support Them
IEEE Transactions on Software Engineering - Special issue on software architecture
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
Correct Architecture Refinement
IEEE Transactions on Software Engineering - Special issue on software architecture
Independent on-line monitoring of evolving systems
Proceedings of the 18th international conference on Software engineering
A Component- and Message-Based Architectural Style for GUI Software
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Dynamic structure in software architectures
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Integrating architecture description languages with a standard design method
Proceedings of the 20th 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
Acme: an architecture description interchange language
CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
AML: An Architecture Meta-Language
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Requirements monitoring in dynamic environments
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
A formal approach to software architecture
A formal approach to software architecture
Rapid development of custom software architecture design environments
Rapid development of custom software architecture design environments
Revealing component properties through architectural styles
Journal of Systems and Software - Special issue on: Component-based software engineering
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Hi-index | 0.00 |
The language AML was designed to specify the semantics of architecture description languages, ADLs, especially ADLs describing architectures wherein the architecture itself evolves over time. Dynamic evolution concerns arise with considerable variation in time scale. One may constrain how a system may evolve by monitoring its development lifecycle. Another approach to such concerns involves limiting systems' construction primitives to those from appropriate styles. One may wish to constrain what implementations are appropriate; concerns for interface compatibility are then germane. And finally, one may want to constrain the ability of the architecture to be modified as it is running. AML attempts to circumscribe architectures in such a way that one may express all of these constraints without committing to which time scale will be used to enforce them. Example AML specifications of the C2 style and Acme are presented.