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 条
  • [21] Exploring Different Specifications Grading Policies
    Montagner, Igor dos Santos
    Ferrao, Rafael Corsi
    Zilles, Craig
    Silva, Mariana
    PROCEEDINGS OF THE 56TH ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, SIGCSE TS 2025, VOL 2, 2025, : 276 - 282
  • [22] Exploring Different Specifications Grading Policies
    Montagner, Igor dos Santos
    Ferrao, Rafael Corsi
    Zilles, Craig
    Silva, Mariana
    PROCEEDINGS OF THE 56TH ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, SIGCSE TS 2025, VOL 1, 2025, : 276 - 282
  • [23] Visual specifications of correct spreadsheets
    Abraham, R
    Erwig, M
    Kollmansberger, S
    Seifert, E
    2005 IEEE SYMPOSIUM ON VISUAL LANGUAGE AND HUMAN-CENTRIC COMPUTING, PROCEEDINGS, 2005, : 189 - 196
  • [24] VISUAL SPECIFICATIONS FOR TEMPORAL REASONING
    DILLON, LK
    KUTTY, G
    MELLIARSMITH, PM
    MOSER, LE
    RAMAKRISHNA, YS
    JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 1994, 5 (01): : 61 - 81
  • [25] THE VISUAL PRESENTATION OF VDM SPECIFICATIONS
    DICK, J
    LOUBERSAC, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 670 - 671
  • [26] Frozen food visual specifications
    不详
    FOOD AUSTRALIA, 2009, 61 (1-2): : 37 - 37
  • [27] Visual construction of algebraic specifications
    Neary, DS
    Woodward, MR
    2000 IEEE INTERNATIONAL SYMPOSIUM ON VISUAL LANGUAGES, PROCEEDINGS, 2000, : 79 - 80
  • [28] Immutable Specifications for More Concise and Precise Verification
    David, Cristina
    Chin, Wei-Ngan
    OOPSLA 11: PROCEEDINGS OF THE 2011 ACM INTERNATIONAL CONFERENCE ON OBJECT ORIENTED PROGRAMMING SYSTEMS LANGUAGES AND APPLICATIONS, 2011, : 359 - 374
  • [29] Modular formal verification of specifications of concurrent systems
    Gradara, Sara
    Santone, Antonella
    Vaglini, Gigliola
    Villani, Maria Luisa
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2008, 18 (01): : 5 - 28
  • [30] Expressive program verification via structured specifications
    Cristian Gherghina
    Cristina David
    Shengchao Qin
    Wei-Ngan Chin
    International Journal on Software Tools for Technology Transfer, 2014, 16 : 363 - 380
12345