References

  1. Farhad Arbab (2004): Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science 14(3), pp. 329–366, doi:10.1017/S0960129504004153.
  2. Paul Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber & Joseph Sifakis (2015): A General Framework for Architecture Composability. Formal Aspects of Computing, pp. 1–25, doi:10.1007/s00165-015-0349-8.
  3. Simon Bliudze & Joseph Sifakis (2008): The Algebra of Connectors — Structuring Interaction in BIP. IEEE Transactions on Computers 57(10), pp. 1315–1330, doi:10.1109/TC.2008.26.
  4. Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari & Emilio Tuosto (2008): Style-Based architectural reconfigurations. Bulletin of the EATCS 94, pp. 161–180.
  5. Robert Daigneau (2011): Service design patterns: Fundamental design solutions for SOAP/WSDL and restful Web Services. Addison-Wesley.
  6. Jeffrey Dean & Sanjay Ghemawat (2008): MapReduce: Simplified Data Processing on Large Clusters. Commun. ACM 51(1), pp. 107–113, doi:10.1145/1327452.1327492.
  7. Ioannis Georgiadis, Jeff Magee & Jeff Kramer (2002): Self-organising software architectures for distributed systems. In: Proceedings of the first workshop on Self-healing systems. ACM, pp. 33–38, doi:10.1145/582128.582135.
  8. Dan Hirsch, Paola Inverardi & Ugo Montanari (1999): Modeling software architectures and styles with graph grammars and constraint solving. In: Patrick Donohoe: Software Architecture, IFIP 12. Springer, pp. 127–143, doi:10.1007/978-0-387-35563-4_8.
  9. Gregor Hohpe & Bobby Woolf (2003): Enterprise integration patterns: designing, building, and deploying messaging solutions. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA.
  10. ISO/IEC/IEEE 42010 (2011): Systems and software engineering — Architecture description.
  11. James Ivers, Paul Clements, David Garlan, Robert Nord, Bradley Schmerl & Jaime R Silva (2004): Documenting component and connector views with UML 2.0. Technical Report. DTIC Document.
  12. Daniel Jackson (2002): Alloy: A Lightweight Object Modelling Notation. ACM Trans. Softw. Eng. Methodol. 11(2), pp. 256–290, doi:10.1145/505145.505149.
  13. Jung Soo Kim & David Garlan (2010): Analyzing architectural styles. Journal of Systems and Software 83(7), pp. 1216–1235, doi:10.1016/j.jss.2010.01.049.
  14. Christian Koehler, Alexander Lazovik & Farhad Arbab (2008): Connector rewriting with high-level replacement systems. Electronic Notes in Theoretical Computer Science 194(4), pp. 77–92, doi:10.1016/j.entcs.2008.03.100.
  15. Jeff Kramer (1990): Configuration programming — A framework for the development of distributable systems. In: CompEuro'90. Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering. IEEE, pp. 374–384.
  16. Christian Krause, Ziyan Maraikar, Alexander Lazovik & Farhad Arbab (2011): Modeling dynamic reconfigurations in Reo using high-level replacement systems. Sci. of Comp. Prog. 76(1), pp. 23–36, doi:10.1016/j.scico.2009.10.006.
  17. Daniel Le Métayer (1998): Describing software architecture styles using graph grammars. IEEE Transactions on Software Engineering 24(7), pp. 521–533, doi:10.1109/32.708567.
  18. Ivano Malavolta, Patricia Lago, Henry Muccini, Patrizio Pelliccione & Anthony Tang (2013): What industry needs from architectural languages: A survey. Software Engineering, IEEE Transactions on 39(6), pp. 869–891, doi:10.1109/TSE.2012.74.
  19. Anastasia Mavridou, Eduard Baranov, Simon Bliudze & Joseph Sifakis (2015): Configuration Logics: Modelling Architecture Styles. In: Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, pp. 256–274, doi:10.1007/978-3-319-28934-2_14.
  20. Anastasia Mavridou, Eduard Baranov, Simon Bliudze & Joseph Sifakis (2016): Architecture Diagrams — A Graphical Language for Architecture Style Specification. Technical Report 215210. EPFL. Available at: http://infoscience.epfl.ch/record/215210.
  21. Nenad Medvidovic & Richard N Taylor (2000): A classification and comparison framework for software architecture description languages. Software Engineering, IEEE Transactions on 26(1), pp. 70–93, doi:10.1109/32.825767.
  22. OMG Unified Modeling Language (OMG UML) specification, Version 2.5. http://www.omg.org/spec/UML/2.5/. (Accessed on 17/03/2016).
  23. Mert Ozkaya & Christos Kloukinas (2013): Are we there yet? Analyzing architecture description languages for formal analysis, usability, and realizability. In: Software Engineering and Advanced Applications (SEAA), 2013 39th EUROMICRO Conference on. IEEE, pp. 177–184, doi:10.1109/SEAA.2013.34.
  24. George A. Papadopoulos & Farhad Arbab (1998): Coordination Models and Languages. Advances in Computers 46, doi:10.1016/S0065-2458(08)60208-9.
  25. Dewayne E Perry & Alexander L Wolf (1992): Foundations for the study of software architecture. ACM SIGSOFT Software Engineering Notes 17(4), pp. 40–52, doi:10.1145/141874.141884.
  26. Grzegorz Rozenberg (1997): Handbook of graph grammars and computing by graph transformation. World Scientific.
  27. Mary Shaw & David Garlan (1996): Software architecture: perspectives on an emerging discipline 1. Prentice Hall Englewood Cliffs.
  28. Michel Wermelinger, Antónia Lopes & José Luiz Fiadeiro (2001): A graph based architectural (re)configuration language. ACM SIGSOFT Software Engineering Notes 26(5), pp. 21–32, doi:10.1145/503209.503213.
  29. Eoin Woods & Rich Hilliard (2005): Architecture description languages in practice session report. In: Proceedings of the 5th Working IEEE/IFIP Conference on Software Architecture (WICSA'05). IEEE Computer Society, pp. 243–246, doi:10.1109/WICSA.2005.15.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org