Add to ORKGThis report 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 we provide these with a trace based semantics interpreted over Kripke structures. This gives a semantics along the line of 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.
International audienceA formal yet user-friendly test description language could increase the possib...
11 pagesThe development of software systems using UML, the Unified Modelling Language, necessitates ...
STAIRS is a method for the step-wise, compositional development of interactions in the setting of UM...
This report provides a case study based evaluation of UML sequence diagrams as a notation for policy...
-This report provides a case study based evaluation of UML sequence diagrams as a notation for polic...
This paper provides a case study based evaluation of UML sequence diagrams as a notation for policy ...
-The UML is the de facto standard for system specification, but offers little specialized support fo...
Abstract. The UML is the de facto standard for system specification, but offers little specialized s...
UML sequence diagrams is a specification language that has proved itself to be of great value in sys...
UML sequence diagrams is a specification language that has proved itself to be of great value in sys...
Abstract. UML sequence diagrams is a specification language that has proved itself to be of great va...
We present a method for (1) specifying high-level secu-rity policies using UML sequence diagrams and...
With the ever increasing importance of computer networks such as the Internet,and the today almost u...
Abstract. Message Sequence Charts (MSCs) are an appealing visual formalism that play a useful role i...
Live Sequence Charts (LSC) extend Message Sequence Charts (MSC), mainly by distinguishing possible f...
International audienceA formal yet user-friendly test description language could increase the possib...
11 pagesThe development of software systems using UML, the Unified Modelling Language, necessitates ...
STAIRS is a method for the step-wise, compositional development of interactions in the setting of UM...
This report provides a case study based evaluation of UML sequence diagrams as a notation for policy...
-This report provides a case study based evaluation of UML sequence diagrams as a notation for polic...
This paper provides a case study based evaluation of UML sequence diagrams as a notation for policy ...
-The UML is the de facto standard for system specification, but offers little specialized support fo...
Abstract. The UML is the de facto standard for system specification, but offers little specialized s...
UML sequence diagrams is a specification language that has proved itself to be of great value in sys...
UML sequence diagrams is a specification language that has proved itself to be of great value in sys...
Abstract. UML sequence diagrams is a specification language that has proved itself to be of great va...
We present a method for (1) specifying high-level secu-rity policies using UML sequence diagrams and...
With the ever increasing importance of computer networks such as the Internet,and the today almost u...
Abstract. Message Sequence Charts (MSCs) are an appealing visual formalism that play a useful role i...
Live Sequence Charts (LSC) extend Message Sequence Charts (MSC), mainly by distinguishing possible f...
International audienceA formal yet user-friendly test description language could increase the possib...
11 pagesThe development of software systems using UML, the Unified Modelling Language, necessitates ...
STAIRS is a method for the step-wise, compositional development of interactions in the setting of UM...