Aligning the map requirements modelling with the B-method for formal software development

被引：1
|
作者：
Babar, Abdul [1 ,2 ]
Tosic, Vladimir [1 ,2 ,3 ]
Potter, John [1 ]
机构：
[1] Univ New South Wales, Sch Comp Sci & Engn, Kensington, NSW 2033, Australia
[2] NICTA, Empirical Software Engn, Eveleigh, NSW, Australia
[3] Univ Western Ontario, Dept Comp Sci, London, ON N6A 3K7, Canada
来源：
14TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS | 2007年
关键词：
D O I：
10.1109/ASPEC.2007.54
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We present a software development approach that aligns a requirements elicitation technique with a formal method of software specification abstraction. The goal/strategy modeling technique Map augmented with Jackson's context diagrams (representing environment) is used to elicit requirements and the B-method is used to translate Map requirements into formal specifications. Comprehensive tool support allows the B-method to refine and implement the specification correctly. Our approach brings improvement to an approach that uses generic requirements for rigorous software development. The resulting specification model bridges the gap between software requirements and formal specifications and supports automatic refinement of strategic requirements into software code. To illustrate how our approach bridges this. gap, we discuss the Point of Sale (PoS) requirements model of Seven Eleven Japan (SEJ).
引用
收藏
页码：17 / +
页数：2
相关论文
共 50 条
  • [1] Some guidelines for formal development of web-based applications in B-Method
    Rezazadeh, A
    Butler, M
    [J]. ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS, 2005, 3455 : 472 - 491
  • [2] Bases for the development of LAST:: a formal method for business software requirements specification
    Almendros-Jiménez, JM
    González-Jiménez, L
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2002, 44 (02) : 65 - 75
  • [3] FORMAL METHODS IN SOFTWARE-DEVELOPMENT REQUIREMENTS FOR A CASE
    BJORNER, D
    PREHN, S
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 509 : 178 - 210
  • [4] BHive: Behavior-Driven Development Meets B-Method
    Carter, John Douglas
    Gardner, William Bennett
    [J]. QUALITY SOFTWARE THROUGH REUSE AND INTEGRATION, 2018, 561 : 232 - 255
  • [5] Modelling and reasoning for confidentiality requirements in software development
    Onabajo, Adeniyi
    Jahnke, Jens H.
    [J]. 13TH ANNUAL IEEE INTERNATIONAL SYMPOSIUM AND WORKSHOP ON ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS: MASTERING THE COMPLEXITY OF COMPUTER-BASED SYSTEMS, 2006, : 460 - +
  • [6] BHive: Towards Behaviour-Driven Development Supported by B-Method
    Carter, J.
    Gardner, W. B.
    [J]. PROCEEDINGS OF 2016 IEEE 17TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IEEE IRI), 2016, : 249 - 256
  • [7] Application of formal method to CAD software development
    [J]. Xinan Jiaotong Daxue Xuebao, 6 (693-697):
  • [8] Software sustainability requirements: a unified method for improving requirements process for software development
    Saputri, Theresia Ratih Dewi
    Lee, Seok-Won
    [J]. 29TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE 2021), 2021, : 506 - 507
  • [9] A method of software requirements specification and validation for global software development
    Ali, Naveed
    Lai, Richard
    [J]. REQUIREMENTS ENGINEERING, 2017, 22 (02) : 191 - 214
  • [10] A method of software requirements specification and validation for global software development
    Naveed Ali
    Richard Lai
    [J]. Requirements Engineering, 2017, 22 : 191 - 214
12345