Advertisement

Logics for Actor Networks: A Case Study in Constrained Hybridization

A Case Study in Constrained Hybridization
  • José Fiadeiro
  • Ionuţ Ţuţu
  • Antónia Lopes
  • Dusko Pavlovic
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10669)

Abstract

Actor Networks are a modeling framework for cyber-physical system protocols based on Latour’s actor-network theory that addresses the way we now create and exploit the power of computational networks. We advance a logic for modeling and reasoning about such actor networks, which is obtained through a two-stage constrained hybridization process. The first stage results in a logic that captures the structure of actor networks and the way knowledge flows across them; the second addresses the dynamic aspects of actor networks, that is the way they can evolve as a result of the interactions that occur within them. For each of these stages, we develop a sound and complete proof system.

Notes

Acknowledgment

The work of D. Pavlovic was partially supported by NSF. J. Fiadeiro and A. Lopes received support from AFOSR for research visits to the University of Hawaii.

References

  1. 1.
    Blackburn, P.: Representation, reasoning, and relational structures: a hybrid logic manifesto. Logic J. IGPL 8(3), 339–365 (2000)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Prior, A.: Past, Present and Future. Oxford University Press, Oxford (1967)CrossRefzbMATHGoogle Scholar
  3. 3.
    Braüner, T.: Hybrid Logic and its Proof-Theory. Applied Logic Series, vol. 37. Springer, Dordrecht (2011).  https://doi.org/10.1007/978-94-007-0002-4 zbMATHGoogle Scholar
  4. 4.
    Neves, R., Madeira, A., Martins, M.A., Barbosa, L.S.: Proof theory for hybrid(ised) logics. Sci. Comput. Program. 126, 73–93 (2016)CrossRefGoogle Scholar
  5. 5.
    Diaconescu, R.: Quasi-varieties and initial semantics for hybridized institutions. J. Logic Comput. 26(3), 855–891 (2016)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Găină, D.: Birkhoff style calculi for hybrid logics. Formal Aspects Comput. 29(5), 805–832 (2017)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Madeira, A., Neves, R., Barbosa, L.S., Martins, M.A.: A method for rigorous design of reconfigurable systems. Sci. Comput. Program. 132, 50–76 (2016)CrossRefGoogle Scholar
  8. 8.
    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).  https://doi.org/10.1007/978-3-642-22944-2_20 CrossRefGoogle Scholar
  9. 9.
    Pavlovic, D., Meadows, C.: Actor-network procedures (extended abstract). In: Ramanujam, R., Ramaswamy, S. (eds.) ICDCIT 2012. LNCS, vol. 7154, pp. 7–26. Springer, Heidelberg (2012).  https://doi.org/10.1007/978-3-642-28073-3_2 CrossRefGoogle Scholar
  10. 10.
    Latour, B.: Reassembling the Social: An Introduction to Actor-Network Theory. Oxford University Press, Oxford (2005)Google Scholar
  11. 11.
    Milner, R.: The space and motion of communicating agents. CUP (2009)Google Scholar
  12. 12.
    Malinowski, G.: Many-Valued Logics. Oxford Logic Guides. Clarendon Press, Oxford (1993)zbMATHGoogle Scholar

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  • José Fiadeiro
    • 1
  • Ionuţ Ţuţu
    • 1
  • Antónia Lopes
    • 2
  • Dusko Pavlovic
    • 3
  1. 1.Department of Computer ScienceRoyal Holloway University of LondonEghamUK
  2. 2.Department of Informatics, Faculty of SciencesUniversity of LisbonLisbonPortugal
  3. 3.Department of Information and Computer SciencesUniversity of HawaiiHonoluluUSA

Personalised recommendations