A Tool-Supported Compliance Process for Software Systems

被引：0
|
作者：
Engiel, Priscila [1 ,2 ]
Sampaio do Prado Leite, Julio Cesar [1 ]
Mylopoulos, John [3 ]
机构：
[1] Pontificia Univ Catolica Rio de Janeiro, Dept Informat, Rio de Janeiro, Brazil
[2] Univ Trento, Dept Informat Engn & Comp Sci, Trento, Italy
[3] Univ Ottawa, Sch Elect Engn & Comp Sci, Ottawa, ON, Canada
来源：
2017 11TH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS) | 2017年
基金：
欧洲研究理事会;
关键词：
requirement compliance; compliance; regulatory requirement; REQUIREMENTS;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Laws and regulations impact the design of software systems, as they may introduce additional requirements and possible conflicts with pre-existing requirements. We propose a systematic, tool-supported process for establishing compliance of a software system with a given law. The process elicits new requirements from the law, compares them with existing ones and manages conflicts, exploiting a set of heuristics, partially supported by a tool. We illustrate our proposal through an exploratory study using the Italian Privacy Law. We also present results of a preliminary empirical study that indicates that adoption of the process improves compliance analysis for a simple compliance scenario.
引用
收藏
页码：66 / 76
页数：11
相关论文
共 50 条
  • [21] Tool-supported parallel application development
    Clemencon, C
    Decker, KM
    Deshpande, VR
    Endo, A
    Fritscher, J
    Lorenzo, PAR
    Masuda, N
    Muller, A
    Ruhl, R
    Sawyer, W
    Wylie, BJN
    Zimmermann, F
    [J]. CONFERENCE PROCEEDINGS OF THE 1996 IEEE FIFTEENTH ANNUAL INTERNATIONAL PHOENIX CONFERENCE ON COMPUTERS AND COMMUNICATIONS, 1996, : 294 - 302
  • [22] Tool-supported Refactoring for Java']JavaScript
    Feldthaus, Asger
    Millstein, Todd
    Moller, Anders
    Schaefer, Max
    Tip, Frank
    [J]. OOPSLA 11: PROCEEDINGS OF THE 2011 ACM INTERNATIONAL CONFERENCE ON OBJECT ORIENTED PROGRAMMING SYSTEMS LANGUAGES AND APPLICATIONS, 2011, : 119 - 137
  • [23] Tool-supported design of data aggregation processes in cloud monitoring systems
    Cai, Simin
    Gallina, Barbara
    Nystrom, Dag
    Seceleanu, Cristina
    Larsson, Alf
    [J]. JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, 2019, 10 (07) : 2519 - 2535
  • [24] Tool-supported hierarchical design of distributed real-time systems
    Dierks, H
    Tapken, J
    [J]. 10TH EUROMICRO WORKSHOP ON REAL-TIME SYSTEMS, PROCEEDINGS, 1998, : 222 - 229
  • [25] Tool-supported design of data aggregation processes in cloud monitoring systems
    Simin Cai
    Barbara Gallina
    Dag Nyström
    Cristina Seceleanu
    Alf Larsson
    [J]. Journal of Ambient Intelligence and Humanized Computing, 2019, 10 : 2519 - 2535
  • [26] Tool-Supported Verification of Product Line Requirements
    Prasanna Padmanabhan
    Robyn R. Lutz
    [J]. Automated Software Engineering, 2005, 12 (4) : 447 - 465
  • [27] Tool-Supported Analysis of Dynamic and Stochastic Behaviors in Cyber-Physical Systems
    Huang, Li
    Liang, Tian
    Kang, Eun-Young
    [J]. 2019 IEEE 19TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2019), 2019, : 228 - 239
  • [28] Tool-supported Refactoring for Java']Java Script
    Feldthaus, Asger
    Millstein, Todd
    Moller, Anders
    Schaefer, Max
    Tip, Frank
    [J]. ACM SIGPLAN NOTICES, 2011, 46 (10) : 119 - 137
  • [29] TOOL-SUPPORTED LEGAL RISK MANAGEMENT: A ROADMAP
    Mahler, Tobias
    [J]. EUROPEAN JOURNAL OF LEGAL STUDIES, 2010, 2 (03): : 146 - 167
  • [30] Tool-supported compression of UML class diagrams
    Rácz, FD
    Koskimies, K
    [J]. UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 172 - 187
12345