Precise scenarios - A customer-friendly foundation for formal specifications

被引：0
|
作者：
Au, Oliver [1 ]
Stone, Roger [1 ]
Cooke, John [1 ]
机构：
[1] Univ Loughborough, Loughborough LE11 3TU, Leics, England
来源：
INTEGRATED FORMAL METHODS, PROCEEDINGS | 2007年 / 4591卷
关键词：
precise scenario; formal method; requirements specification; use case; Z notation; MODELS;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
A formal specification, written in a mathematical notation, is beyond the comprehension of the average software customer. As a result, the customer cannot provide useful feedback regarding its correctness and completeness. To address this problem, we suggest the formalism expert to work with the customer to create precise scenarios. With only a few simple Z concepts, a precise scenario describes an operation by its effects on the system state. The customer would find a concrete precise scenario easier to understand than its corresponding abstract schema. The Z expert derives schemas based on the precise scenarios. Precise scenarios afford user involvement that improves the odds of a formal specification fully capturing the user requirements.
引用
收藏
页码：21 / 36
页数：16
相关论文
共 23 条
  • [1] Facilitating customer-friendly network use
    Koch, B
    BWK, 2005, 57 (7-8): : 20 - 22
  • [2] CREATING A CUSTOMER-FRIENDLY AUTOLOGOUS PROGRAM
    DAMIT, D
    WENDT, C
    TRANSFUSION, 1992, 32 (08) : S92 - S92
  • [3] CUSTOMER-FRIENDLY PACKING SYSTEM FOR COILS
    KOLBE, CG
    VANBREMEN, H
    STAHL UND EISEN, 1993, 113 (04): : 121 - 123
  • [4] TERMINAL FOR CUSTOMER-FRIENDLY LOGISTICS SERVICES
    Matzenberger, Petra
    Hartl-Benz, Volker
    Rueger, Bernhard
    PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON TRAFFIC AND TRANSPORT ENGINEERING (ICTTE), 2016, : 346 - 351
  • [5] How customer-friendly is your school?
    Chambers, L
    EDUCATIONAL LEADERSHIP, 1998, 56 (02) : 33 - 35
  • [6] Customer-friendly Approach or Pidginization of German Tourist Discourse
    Bosnar-Valkovic, Brigita
    Gjuran-Coha, Anamarija
    ALTRE MODERNITA-RIVISTA DI STUDI LETTERARI E CULTURALI, 2012, : 59 - 74
  • [7] Test center: Customer-friendly test lab provides conclusive results
    Powder Bulk Eng, 1600, 3 (42-46):
  • [8] Airspace map design to implement customer-friendly service on unmanned aerial vehicles
    JinYoung Kwon
    YeonWoong Kim
    Se-Hyu Choi
    Spatial Information Research, 2019, 27 : 87 - 95
  • [9] Customer-friendly sales division, transfer pricing, and the direct channel in the divisionalized firm
    Hamamura, Jumpei
    Hayashi, Momoe
    Wada, Koki
    ECONOMICS BULLETIN, 2024, 44 (03):
  • [10] Airspace map design to implement customer-friendly service on unmanned aerial vehicles
    Kwon, JinYoung
    Kim, YeonWoong
    Choi, Se-Hyu
    SPATIAL INFORMATION RESEARCH, 2019, 27 (01) : 87 - 95
123