Visual specifications of policies and their verification

被引：0
|
作者：
Koch, M [1 ]
Parisi-Presicce, F
机构：
[1] Free Univ Berlin, D-1000 Berlin, DE, Germany
[2] Univ Roma La Sapienza, Rome, IT, Italy
[3] George Mason Univ, Fairfax, VA 22030 USA
来源：
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS | 2003年 / 2621卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The specification of policies is a crucial aspect in the development of complex systems, since policies control the system's behavior. In order to predict a possibly incorrect behavior of the system, it is necessary to have a precise specification of the policy, better if described in an intuitive formalism. We propose policy specifications in three modeling notations, viz. UML, Alloy and Graph Transformations, and compare them from the viewpoint of readability, verifiability as well as tool support. We use a role-based access control policy as example policy.
引用
收藏
页码：278 / 293
页数：16
相关论文
共 50 条
  • [41] Verification Tool and Unified Specifications for Embedded Software
    Yatabe, Shunsuke
    FIRST INTERNATIONAL WORKSHOP ON SOFTWARE TECHNOLOGIES FOR FUTURE DEPENDABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 2009, : 127 - 131
  • [42] A Calculus for Generation, Verification and Refinement of BPEL Specifications
    Abouzaid, Faisal
    Mullins, John
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 200 (03) : 43 - 65
  • [43] Specifications and verification of network protocols by process algebra
    Ciobanu, G
    Sridhar, KN
    SEVENTH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, PROCEEDINGS, 2005, : 250 - 258
  • [44] Algorithmic verification of linear temporal logic specifications
    Kesten, Y
    Pnueli, A
    Raviv, L
    AUTOMATA, LANGUAGES AND PROGRAMMING, 1998, 1443 : 1 - 16
  • [45] Verification criterion directed testing for formal specifications
    Zeng, XM
    Tsai, JJP
    Weigert, TJ
    SEKE '96: THE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, PROCEEDINGS, 1996, : 393 - 399
  • [46] Verification of aggregate specifications using spin system
    Bauzaite, Rasa
    Praneviciene, Irena
    Budnikas, Germanas
    International Conference on Operational Research: Simulation and Optimisation in Business and Industry, 2006, : 59 - 63
  • [47] Slicing Object-Z specifications for verification
    Brückner, I
    Wehrheim, H
    ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS, 2005, 3455 : 414 - 433
  • [48] Formal verification of word-level specifications
    Höreth, S
    Drechsler, R
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION 1999, PROCEEDINGS, 1999, : 52 - 58
  • [49] Application of verification methods to specifications of signalling equipment
    Terada, Natsuki
    Toyama, Takashi
    Quarterly Report of RTRI (Railway Technical Research Institute), 2013, 54 (04) : 202 - 207
  • [50] Immutable Specifications for More Concise and Precise Verification
    David, Cristina
    Chin, Wei-Ngan
    ACM SIGPLAN NOTICES, 2011, 46 (10) : 359 - 374
12345