| Preservation of Policy Adherence under Refinement |
| Download PDF |
| Bjornar Solhaug,Ketil Stolen. Preservation of Policy Adherence under Refinement. International Journal of Software and Informatics, 2011,5(1-2Part1):139~157 |
| Hits: 5693 |
| Download times: 2640 |
|
| Fund:This work is partly supported by the European Commission through the NESSoS network of excellence under Grant No.256980. |
|
| Abstract:In this paper we present a method based on UML sequence diagrams for integrating policy requirements with requirements to system design and functionality in the development process. The approach allows policy requirements to be taken into account throughout the system development instead of in a post hoc manner. The method supports
the formalization of system specifications and policy specifications at various levels of abstraction, where the abstraction levels are related by refinement. The notion of policy adherence formally captures what it means that a system specification satisfies a policy specification. For analysis with respect to adherence at abstract levels to be meaningful, the results must be preserved under refinement. This paper gives a characterization of conditions
under which adherence is preserved under refinement, and identifies development rules that guarantee adherence preservation. By results of transitivity and modularity, the development process, as well as analysis tasks, may be conducted in a stepwise manner addressing individual parts of the specifications separately. |
| keywords:policy adherence policy refinement adherence preservation UML sequence diagrams |
| View Full Text View/Add Comment Download reader |
