• DocumentCode
    3385979
  • Title

    Configuration logic: a multi-site modal logic

  • Author

    Villemaire, Roger ; Hallé, Sylvain ; Cherkaoui, Omar

  • Author_Institution
    Univ. du Quebec a Montreal, Que., Canada
  • fYear
    2005
  • fDate
    23-25 June 2005
  • Firstpage
    131
  • Lastpage
    137
  • Abstract
    We introduce a logical formalism for describing properties of configurations of computing systems. This logic of trees allows quantification on node labels, which are modalities containing variables. We explain the motivation behind our formalism and give both a classical semantics and a new equivalent one based on partial functions on variables.
  • Keywords
    configuration management; formal logic; computing system configuration; configuration logic; multi-site modal logic; partial functions; Application software; Computer errors; Computer network management; Computer networks; Computer science; Logic devices; Power system management;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Temporal Representation and Reasoning, 2005. TIME 2005. 12th International Symposium on
  • ISSN
    1530-1311
  • Print_ISBN
    0-7695-2370-6
  • Type

    conf

  • DOI
    10.1109/TIME.2005.18
  • Filename
    1443360
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3385979