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: 5590
Download times: 2449
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



Top Paper  |  FAQ  |  Guest Editors  |  Email Alert  |  Links  |  Copyright  |  Contact Us

© Copyright by Institute of Software, the Chinese Academy of Sciences

京公网安备 11040202500065号