References

  1. BIP Grammar. http://www-verimag.imag.fr/TOOLS/DCS/bip/doc/latest/html/Bip2-simplified.html. Accessed: 2018-05-20.
  2. Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen & Joseph Sifakis (2011): Rigorous Component-Based System Design Using the BIP Framework. Software, IEEE 28(3), pp. 41–48, doi:10.1109/MS.2011.27.
  3. Marco Beccani, Hakan Tunc, Addisu Taddese, Ekawahyu Susilo, Péter Völgyesi, Akos Lédeczi & Pietro Valdastri (2015): Systematic design of medical capsule robots. IEEE Design & Test 32(5), pp. 98–108, doi:10.1109/MDAT.2015.2459591.
  4. Donald Bell (2003): UML basics: An introduction to the Unified Modeling Language. The Rational Edge.
  5. Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen & Joseph Sifakis (2009): D-Finder: A Tool for Compositional Deadlock Detection and Verification. In: Ahmed Bouajjani & Oded Maler: Computer Aided Verification. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 614–619, doi:10.1007/11817963_11.
  6. Sami Beydeda, Matthias Book & Volker Gruhn (2005): Model-driven software development Vol. 15. Springer, doi:10.1007/3-540-28554-7.
  7. Simon Bliudze, Alessandro Cimatti, Mohamad Jaber, Sergio Mover, Marco Roveri, Wajeb Saab & Qiang Wang (2015): Formal Verification of Infinite-State BIP Models. In: Bernd Finkbeiner, Geguang Pu & Lijun Zhang: Automated Technology for Verification and Analysis. Springer International Publishing, Cham, pp. 326–343, doi:10.1007/978-3-319-24953-7_25.
  8. Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek & Alina Zolotukhina (2017): Exogenous coordination of concurrent software components with JavaBIP. Software: Practice and Experience, doi:10.1002/spe.2495.
  9. Simon Bliudze & Joseph Sifakis (2007): The Algebra of Connectors — Structuring Interaction in BIP. In: Proc. of the EMSOFT'07. ACM SigBED, pp. 11–20, doi:10.1145/1289927.1289935.
  10. Simon Bliudze & Joseph Sifakis (2010): Causal semantics for the algebra of connectors. Formal Methods in System Design 36(2), pp. 167–194, doi:10.1007/s10703-010-0091-z.
  11. Marius Bozga, Mohamad Jaber, Nikolaos Maris & Joseph Sifakis (2012): Modeling Dynamic Architectures Using Dy-BIP. In: Thomas Gschwind, Flavio Paoli, Volker Gruhn & Matthias Book: Software Composition, Lecture Notes in Computer Science 7306. Springer Berlin Heidelberg, pp. 1–16, doi:10.1007/978-3-642-30564-1_1.
  12. Paul Clements, David Garlan, Len Bass, Judith Stafford, Robert Nord, James Ivers & Reed Little (2002): Documenting software architectures: views and beyond. Pearson Education.
  13. Robert Daigneau (2011): Service design patterns: Fundamental design solutions for SOAP/WSDL and restful Web Services. Addison-Wesley.
  14. Romain Edelmann, Simon Bliudze & Joseph Sifakis (2017): Functional BIP: Embedding connectors in functional programming languages. Journal of Logical and Algebraic Methods in Programming 92, pp. 19 – 44, doi:10.1016/j.jlamp.2017.06.003. Available at http://www.sciencedirect.com/science/article/pii/S235222081630178X.
  15. David Harel & Bernhard Rumpe (2004): Meaningful modeling: what's the semantics of ``semantics"?. Computer 37(10), pp. 64–72, doi:10.1109/MC.2004.172.
  16. George T Heineman & William T Councill (2001): Component-based software engineering. Springer.
  17. Gregor Hohpe & Bobby Woolf (2003): Enterprise integration patterns: designing, building, and deploying messaging solutions. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA.
  18. 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.
  19. P. S. Kumar, W. Emfinger, A. Kulkarni, G. Karsai, D. Watkins, B. Gasser, C. Ridgewell & A. Anilkumar (2015): ROSMOD: a toolsuite for modeling, generating, deploying, and managing distributed real-time component-based software using ROS. In: 2015 International Symposium on Rapid System Prototyping (RSP), pp. 39–45, doi:10.1109/RSP.2015.7416545.
  20. I. Malavolta, P. Lago, H. Muccini, P. Pelliccione & A. Tang (2013): What Industry Needs from Architectural Languages: A Survey. IEEE Transactions on Software Engineering 39(6), pp. 869–891, doi:10.1109/TSE.2012.74.
  21. Miklós Maróti, Tamás Kecskés, Róbert Kereskényi, Brian Broll, Péter Völgyesi, László Jurácz, Tihamer Levendovszky & Ákos Lédeczi (2014): Next Generation (Meta) Modeling: Web-and Cloud-based Collaborative Tool Infrastructure.. In: MPM@ MoDELS, pp. 41–60.
  22. Anastasia Mavridou, Eduard Baranov, Simon Bliudze & Joseph Sifakis (2016): Architecture Diagrams: A Graphical Language for Architecture Style Specification. In: Proceedings 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Greece, 8-9 June 2016., pp. 83–97, doi:10.4204/EPTCS.223.6.
  23. Anastasia Mavridou, Joseph Sifakis & Janos Sztipanovits (2018): DesignBIP: A Design Studio for Modeling and Generating Systems with BIP. Available at https://arxiv.org/abs/1805.09919. ArXiv:1805.09919 [cs.SE].
  24. Anastasia Mavridou, Emmanouela Stachtiari, Simon Bliudze, Anton Ivanov, Panagiotis Katsaros & Joseph Sifakis (2017): Architecture-Based Design: A Satellite On-Board Software Case Study. In: Olga Kouchnarenko & Ramtin Khosravi: Formal Aspects of Component Software. Springer International Publishing, Cham, pp. 260–279, doi:10.1007/978-3-642-25264-8_4.
  25. N. Medvidovic & R. N. Taylor (2000): A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering 26(1), pp. 70–93, doi:10.1109/32.825767.
  26. H. Neema, J. Sztipanovits, M. Burns & E. Griffor (2016): C2WT-TE: A model-based open platform for integrated simulations of transactive smart grids. In: 2016 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES), pp. 1–6, doi:10.1109/MSCPES.2016.7480218.
  27. 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.
  28. J. A. Stankovic, Ruiqing Zhu, R. Poornalingam, Chenyang Lu, Zhendong Yu, M. Humphrey & B. Ellis (2003): VEST: an aspect-based composition tool for real-time systems. In: The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings., pp. 58–69, doi:10.1109/RTTAS.2003.1203037.
  29. Clemens Szyperski (1998): Component Software: Beyond Object-oriented Programming. ACM Press/Addison-Wesley Publishing Co., New York, NY, USA.
  30. K. Thramboulidis (2005): Model-integrated mechatronics - toward a new paradigm in the development of manufacturing systems. IEEE Transactions on Industrial Informatics 1(1), pp. 54–61, doi:10.1109/TII.2005.844427.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org