Solomon++

A declarative framework for goal-oriented smart environments

Solomon++ is a declarative open-source framework to represent hierarchical smart environments, user-set goals, and customisable energy-aware mediation policies to reconcile contrasting user and global goals and actuator settings across multiple IoT systems.

Repository

  • Publications
  •    G. Bisicchia, S. Forti, A. Brogi. Sustainable goal-oriented smart environments: a declarative programming approach. Journal of Logic and Computation, 2023.
    PrototypeDOIRepositoryCite
    The sustainable management of smart environments enabled by the Internet of Things requires new methodologies and tools to handle users and their objectives on cyber-physical systems. This article proposes a declarative framework to model IoT-enabled smart environments, user roles, hierarchical environments, customized mediation policies, and energy-aware actuator settings.
  •    G. Bisicchia, S. Forti, A. Brogi. A Declarative Goal-oriented Framework for Smart Environments with LPaaS. Italian Conference on Computational Logic (CILC 2021), 2021.
    PrototypeDOIPDFRepositorySlidesCite
    Smart environments powered by the Internet of Things aim at improving our daily lives by automatically tuning ambient parameters and achieving energy savings. This article proposes a declarative framework to represent smart environments, user-set goals, and customisable mediation policies across multiple IoT systems.
  •    G. Bisicchia, S. Forti, A. Brogi. Declarative Goal Mediation in Smart Environments. IEEE International Conference on Smart Computing (SMARTCOMP 2021), 2021.
    PrototypeDOIPDFRepositorySlidesVideoCite
    Smart environments enabled by the Internet of Things aim at improving our daily lives by automatically tuning ambient parameters and by achieving energy savings through self-managing cyber-physical systems. Commercial solutions, however, only permit setting simple target goals and do not mediate between conflicting goals among different users or system administrators.