Hybridisation at Work

  • Renato Neves
  • Alexandre Madeira
  • Manuel A. Martins
  • Luís S. Barbosa
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8089)


This paper presents the encoding of the hybridisation method proposed in [MMDB11, DM13] into the Hets platform.


Hybrid logics institutions reconfigurable systems 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [AH02]
    Areces, C., Heguiabehere, J.: HyLoRes 1.0: Direct resolution for hybrid logics. In: Voronkov, A. (ed.) CADE 2002. LNCS (LNAI), vol. 2392, p. 156. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  2. [Bla00]
    Blackburn, P.: Representation, reasoning, and relational structures: A hybrid logic manifesto. Logic Journal of IGPL 8(3), 339–365 (2000)MathSciNetzbMATHCrossRefGoogle Scholar
  3. [DM13]
    Diaconescu, R., Madeira, A.: Encoding hybridized institutions into first order logic (submitted, 2013)Google Scholar
  4. [GB92]
    Goguen, J.A., Burstall, R.M.: Institutions: abstract model theory for specification and programming. J. ACM 39, 95–146 (1992)MathSciNetzbMATHCrossRefGoogle Scholar
  5. [HA09]
    Hoffmann, G., Areces, C.: Htab: a terminating tableaux system for hybrid logic. Electr. Notes Theor. Comput. Sci. 231, 3–19 (2009)MathSciNetCrossRefGoogle Scholar
  6. [MFMB11]
    Madeira, A., Faria, J.M., Martins, M.A., Barbosa, L.S.: Hybrid specification of reactive systems: An institutional approach. In: Barthe, G., Pardo, A., Schneider, G. (eds.) SEFM 2011. LNCS, vol. 7041, pp. 269–285. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  7. [MHST03]
    Mossakowski, T., Haxthausen, A., Sannella, D., Tarlecki, A.: CASL: The common algebraic specification language: Semantics and proof theory. Computing and Informatics 22, 285–321 (2003)MathSciNetzbMATHGoogle Scholar
  8. [MMDB11]
    Martins, M.A., Madeira, A., Diaconescu, R., Barbosa, L.S.: Hybridization of institutions. In: Corradini, A., Klin, B., Cîrstea, C. (eds.) CALCO 2011. LNCS, vol. 6859, pp. 283–297. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  9. [MML07]
    Mossakowski, T., Maeder, C., Lüttich, K.: The heterogeneous tool set, hets. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 519–522. Springer, Heidelberg (2007)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Renato Neves
    • 1
  • Alexandre Madeira
    • 2
  • Manuel A. Martins
    • 3
  • Luís S. Barbosa
    • 1
  1. 1.HASLabINESC TEC & Univ. MinhoPortugal
  2. 2.HASLab - INESC TEC & Dep. MathematicsUniv. Aveiro & Critical Software S.A.Portugal
  3. 3.CIDMA - Dep. MathematicsUniv. AveiroPortugal

Personalised recommendations