Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baresi, L., et al.: Style-Based Refinement of Dynamic Software Architectures. In: Proc. WICSA 2004: 4th Working International IEEE/IFIP Conference on Software Architecture, pp. 155–164. IEEE Computer Society, Los Alamitos (2004)
Caporuscio, M., Inverardi, P., Pelliccione, P.: Formal Analysis of Architectural Patterns. In: Oquendo, F., Warboys, B.C., Morrison, R. (eds.) EWSA 2004. LNCS, vol. 3047, pp. 10–24. Springer, Heidelberg (2004)
Dashofy, E.M., van der Hoek, A., Taylor, R.N.: Towards architecture-based self-healing systems. In: Proceedings of the first workshop on Self-healing systems, Charleston, South Carolina, pp. 21–26 (2002)
Denford, M., et al.: Architectural Abstraction as Transformation of Poset Labelled Graphs. Journal of Universal Computer Science (Special Issue on Formal Specification of Computer Based Systems) 10(10), 1408–1428 (2004)
Fowler, M., Scott, K.: UML Distilled, 2nd edn. Addison Wesley Longman. Inc., Amsterdam (2000)
Kazman, R., et al.: Scenario-Based Analysis of Software Architecture. IEEE Software, 47–55 (November 1996)
Fahmy, H., Holt, R.C.: Software Architecture Transformations. In: ICSM 2000: International Conference on Software Maintenance, San Jose, CA (Oct. 2000)
Fahmy, H., Holt, R.C.: Using Graph Rewriting to Specify Software Architectural Transformations. In: 15th IEEE International Conference on Automated Software Engineering (ASE’00), p. 187 (2000)
Garlan, D., Monroe, R.T., Wile, D.: Acme: Architectural Description of Component-Based Systems. In: Leavens, G.T., Sitaraman, M. (eds.) Foundations of Component-Based Systems, pp. 47–68. Cambridge University Press, Cambridge (2000)
Goguen, J.A., Burstall, R.M.: Institutions: abstract model theory for specification and programming. Journal of the ACM 39(1), 95–146 (1992)
Haxthausen, A.E., Nickl, F.: Pushouts of Order-Sorted Algebraic Specifications. In: Nivat, M., Wirsing, M. (eds.) AMAST 1996. LNCS, vol. 1101, pp. 132–148. Springer, Heidelberg (1996)
Le Métayer, D.: Describing Software Architecture Styles Using Graph Grammars. IEEE Transactions on Software Engineering 24(7) (1998)
Moriconi, M., Qian, X.: Correctness and Composition of Software Architectures. In: Proceedings, ACM SIGSOFT’94, Symposium on Foundations of Software Engineering, New Orleans, Louisiana, December 1994, pp. 164–174 (1994)
Niu, N., Easterbrook, S., Sabetzadeh, M.: A Category-theoretic Approach to Syntactic Software Merging. In: 21st IEEE International Conference on Software Maintenance, pp. 197–206 (2005)
Parisi-Presicce, F., Ehrig, H., Montanari, U.: Graph rewriting with unification and composition. In: Ehrig, H., et al. (eds.) Graph Grammars 1986. LNCS, vol. 291, pp. 496–514. Springer, Heidelberg (1987)
Google Groups Discussion Forum: comp.mail.eudora.ms-windows
The Attributed Graph Grammar System: http://tfs.cs.tu-berlin.de/agg/index.html Last Modified: 30 January 2006
Carnegie Mellon University, Software Engineering Institute, http://www.sei.cmu.edu/architecture/adl.html Last Modified: 31 August 2005.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Solomon, A. (2007). Pushout: A Mathematical Model of Architectural Merger. In: Virbitskaite, I., Voronkov, A. (eds) Perspectives of Systems Informatics. PSI 2006. Lecture Notes in Computer Science, vol 4378. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70881-0_33
Download citation
DOI: https://doi.org/10.1007/978-3-540-70881-0_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-70880-3
Online ISBN: 978-3-540-70881-0
eBook Packages: Computer ScienceComputer Science (R0)