Component-Based Modeling in Mediator

  • Yi Li
  • Meng SunEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10487)


In this paper we propose a new language Mediator to formalize component-based system models. Mediator supports a two-step modeling approach. Automata, encapsulated with an interface of ports, are the basic behavior units. Systems declare components or connectors through automata, and glue them together. With the help of Mediator, components and systems can be modeled separately and precisely. Through various examples, we show that this language can be used in practical scenarios.


Component-based modeling Coordination Formal method 



The work was partially supported by the National Natural Science Foundation of China under grant no. 61532019, 61202069 and 61272160.


  1. 1.
  2. 2.
    Abdulla, P.A., Deneux, J., Stålmarck, G., Ågren, H., Åkerlund, O.: Designing safe, reliable systems using scade. In: Margaria, T., Steffen, B. (eds.) ISoLA 2004. LNCS, vol. 4313, pp. 115–129. Springer, Heidelberg (2006). doi: 10.1007/11925040_8 CrossRefGoogle Scholar
  3. 3.
    Amnell, T., Behrmann, G., Bengtsson, J., D’Argenio, P.R., David, A., Fehnker, A., Hune, T., Jeannet, B., Larsen, K.G., Möller, M.O., Pettersson, P., Weise, C., Yi, W.: UPPAAL - now, next, and future. In: Cassez, F., Jard, C., Rozoy, B., Ryan, M.D. (eds.) MOVEP 2000. LNCS, vol. 2067, pp. 99–124. Springer, Heidelberg (2001). doi: 10.1007/3-540-45510-8_4 CrossRefGoogle Scholar
  4. 4.
    Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329–366 (2004)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Curry, E.: Message-oriented middleware. In: Mahmoud, Q. (ed.) Middleware for Communications, pp. 1–28. Wiley (2004)Google Scholar
  6. 6.
    Gropp, W., Lusk, E., Thakur, R.: Using MPI-2: Advanced Features of the Message-Passing Interface. MIT Press, Cambridge (1999)Google Scholar
  7. 7.
    Hagit, A., Jennifer, W.: Distributed Computing: Fundamentals, Simulations, and Advanced Topics. Wiley, Hoboken (2004)zbMATHGoogle Scholar
  8. 8.
    Hahn, B., Valentine, D.T.: SIMULINK toolbox. In: Essential MATLAB for Engineers and Scientists, pp. 341–356. Academic Press (2016)Google Scholar
  9. 9.
    Junqueira, F.P., Reed, B.C., Serafini, M.: Zab: high-performance broadcast for primary-backup systems. In: Proceedings of DSN 2011, pp. 245–256. IEEE Compute Society (2011)Google Scholar
  10. 10.
    Kim, H., Lee, E.A., Broman, D.: A toolkit for construction of authorization service infrastructure for the internet of things. In: Proceedings of IoTDI 2017, pp. 147–158. ACM (2017)Google Scholar
  11. 11.
    Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585–591. Springer, Heidelberg (2011). doi: 10.1007/978-3-642-22110-1_47 CrossRefGoogle Scholar
  12. 12.
    Liu, Z., Morisset, C., Stolz, V.: rCOS: theory and tool for component-based model driven development. In: Arbab, F., Sirjani, M. (eds.) FSEN 2009. LNCS, vol. 5961, pp. 62–80. Springer, Heidelberg (2010). doi: 10.1007/978-3-642-11623-0_3 CrossRefGoogle Scholar
  13. 13.
    Margolis, M.: Arduino Cookbook. O’Reilly Media Inc., Sebastopol (2011)Google Scholar
  14. 14.
    National Instruments: Labview.
  15. 15.
    Zou, L., Zhan, N., Wang, S., Fränzle, M., Qin, S.: Verifying simulink diagrams via a hybrid hoare logic prover. In: Proceedings of EMSOFT 2013, pp. 9:1–9:10. IEEE (2013)Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.LMAM and Department of InformaticsSchool of Mathematical Sciences, Peking UniversityBeijingChina

Personalised recommendations