Abstract
Connector-Centric Design (XcD) is a new approach to specifying software architectures. XcD views complex connectors as highly significant in architectural designs, as it is the complex connectors that non-functional quality properties in systems can emanate from. So, XcD promotes in designs a clean separation of connectors (interaction behaviours) from components (functional behaviours). Designers can then specify connectors in detail explicitly thus easing the analysis of system designs for quality properties. Furthermore, XcD separates control behaviour from connectors as control strategies. Architectural designs in XcD thus become highly modular with re-usable components, connectors, and control strategies (representing design solutions for quality properties). The end result is the eased architectural experimentation with different design solutions by re-using components/connectors and formal analysis of these solutions to find out the optimal ones.
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
Perry, D.E., Wolf, A.L.: Foundations for the study of software architecture. SIGSOFT Softw. Eng. Notes 17(4), 40–52 (1992)
Balmelli, L.: The systems modeling language for products and systems development. Journal of Object Technology 6(6), 149–177 (2007)
Feiler, P.H., Gluch, D.P., Hudak, J.J.: The Architecture Analysis & Design Language (AADL): An Introduction. Technical report, Software Engineering Institute (2006)
Delanote, D., Baelen, S.V., Joosen, W., Berbers, Y.: Using aadl to model a protocol stack. In: ICECCS, pp. 277–281. IEEE Computer Society (2008)
Garlan, D., Allen, R., Ockerbloom, J.: Architectural mismatch or why it’s hard to build systems out of existing parts. In: ICSE, pp. 179–185 (1995)
Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Trans. Softw. Eng. Methodol. 6(3), 213–249 (1997)
Wang, N., Schmidt, D.C., O’Ryan, C.: Component-based software engineering, pp. 557–571. Addison-Wesley, Longman Publishing Co., Inc., Boston (2001)
Meyer, B.: Applying ”design by contract”. IEEE Computer 25(10), 40–51 (1992)
Chalin, P., Kiniry, J.R., Leavens, G.T., Poll, E.: Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol. 4111, pp. 342–363. Springer, Heidelberg (2006)
Papazoglou, M.P., Traverso, P., Dustdar, S., Leymann, F.: Service-oriented computing: a research roadmap. Int. J. Cooperative Inf. Syst. 17(2), 223–255 (2008)
Alur, R., Etessami, K., Yannakakis, M.: Inference of message sequence charts. IEEE Trans. Software Eng. 29(7), 623–633 (2003)
Alur, R., Etessami, K., Yannakakis, M.: Realizability and verification of msc graphs. Theor. Comput. Sci. 331(1), 97–114 (2005)
Lau, K.K., Elizondo, P.V., Wang, Z.: Exogenous Connectors for Software Components. In: Heineman, G.T., Crnkovic, I., Schmidt, H.W., Stafford, J.A., Szyperski, C.A., Wallnau, K.C. (eds.) CBSE 2005. LNCS, vol. 3489, pp. 90–106. Springer, Heidelberg (2005)
Pinto, M., Fuentes, L., Linero, J.M.T.: Specifying aspect-oriented architectures in ao-adl. Information & Software Technology 53(11), 1165–1182 (2011)
International, O.T.: Eclipse platform technical overview. Technical report (2003), http://www.eclipse.org/whitepapers/eclipse-overview.pdf
Magee, J., Kramer, J.: Concurrency - state models and Java programs, 2nd edn. Wiley (2006)
Ivers, J., Clements, P., Garlan, D., Nord, R., Schmerl, B., Silva, J.R.O.: Documenting component and connector views with uml 2.0. Technical Report CMU/SEI-2004-TR-008, Software Engineering Institute (Carnegie Mellon University) (2004)
Magee, J., Kramer, J.: Dynamic structure in software architectures. In: SIGSOFT FSE, pp. 3–14 (1996)
Luckham, D.C.: Rapide: A language and toolset for simulation of distributed systems by partial orderings of events. Technical report, Stanford, CA, USA (1996)
Bálek, D., Plasil, F.: Software connectors and their role in component deployment. In: Zielinski, K., Geihs, K., Laurentowski, A. (eds.) DAIS. IFIP Conference Proceedings, vol. 198, pp. 69–84. Kluwer (2001)
Bliudze, S., Sifakis, J.: The algebra of connectors - structuring interaction in bip. IEEE Trans. Computers 57(10), 1315–1330 (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ozkaya, M., Kloukinas, C. (2012). Highly Analysable, Reusable, and Realisable Architectural Designs with XCD. In: Kim, Th., Ramos, C., Kim, Hk., Kiumi, A., Mohammed, S., Ślęzak, D. (eds) Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity. Communications in Computer and Information Science, vol 340. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35267-6_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-35267-6_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35266-9
Online ISBN: 978-3-642-35267-6
eBook Packages: Computer ScienceComputer Science (R0)