• DocumentCode
    2952651
  • Title

    Specifying Policies Using UML Sequence Diagrams--An Evaluation Based on a Case Study

  • Author

    Solhaug, Bjornar ; Elgesem, Dag ; Stolen, Ketil

  • Author_Institution
    Univ. of Bergen, Bergen
  • fYear
    2007
  • fDate
    13-15 June 2007
  • Firstpage
    19
  • Lastpage
    28
  • Abstract
    This paper provides a case study based evaluation of UML sequence diagrams as a notation for policy specification. Policy rules are defined on the basis of deontic logic and provided a trace based semantics interpreted over Kripke structures. This gives a semantics comparable to the UML trace semantics for sequence diagrams, which is utilized in the evaluation. The focus is on requirements with respect to expressivity, utility and human readability.
  • Keywords
    Unified Modeling Language; diagrams; formal specification; Kripke structures; UML sequence diagrams; UML trace semantics; deontic logic; policy rules; policy specification; trace based semantics; Automatic control; Control systems; Electronic learning; Humans; Information security; Logic; Management information systems; Specification languages; Unified modeling language;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Policies for Distributed Systems and Networks, 2007. POLICY '07. Eighth IEEE International Workshop on
  • Conference_Location
    Bologna
  • Print_ISBN
    0-7695-2767-1
  • Type

    conf

  • DOI
    10.1109/POLICY.2007.42
  • Filename
    4262567
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2952651