Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Correctness and composition of software architectures
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Acme: architectural description of component-based systems
Foundations of component-based systems
Towards architecture-based self-healing systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
Scenario-Based Analysis of Software Architecture
IEEE Software
Describing Software Architecture Styles Using Graph Grammars
IEEE Transactions on Software Engineering
Pushouts of Order-Sorted Algebraic Specifications
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
Graph rewriting with unification and composition
Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science
Using Graph Rewriting to Specify Software Architectural Transformations
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Software Architecture Transformations
ICSM '00 Proceedings of the International Conference on Software Maintenance (ICSM'00)
Style-Based Refinement of Dynamic Software Architectures
WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
A Category-theoretic Approach to Syntactic Software Merging
ICSM '05 Proceedings of the 21st IEEE International Conference on Software Maintenance
Hi-index | 0.00 |
Although there are many formal representations of architecture, actually determining what an architecture should be when systems are merged is largely based on context and human intuition. The goal of this paper is to find a mathematical model which supports this context and determines the architecture when the systems have been merged. A category of architectural models is presented, and the pushout in this category provides the unique minimal merger of two architectures by way of an abstraction of the desired intersection. We conclude by identifying deeper aspects of architectural type which should be incorporated into this theory, and how the whole model might be automated.