Automated Software Specification and Design Using the SOFL Formal Engineering Method

被引：2
|
作者：
Liu, Shaoying [1 ]
Xue, Xiang [2 ]
机构：
[1] Hosei Univ, Tokyo, Japan
[2] Shanghai Jiao Tong Univ, Shanghai, Peoples R China
来源：
2009 WRI WORLD CONGRESS ON SOFTWARE ENGINEERING, VOL 4, PROCEEDINGS | 2009年
关键词：
D O I：
10.1109/WCSE.2009.43
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The Structured Object-Oriented Formal Language (SOFL) offers a formal engineering method for effectively incorporating formal specifications into system architectures in order to improve the quality of software design, but faces a challenge in tool support. This paper describes the techniques for building an effective software tool to support the construction of design specifications using SOFL. The techniques include (1) enforcing error detection and prevention in specification construction, (2) offering an "intelligent" and systematic guidance for decomposing operations and for completing specifications, and (3) supplying inter-related navigation among different representations of a SOFL specification. The tool has been applied in our several projects.
引用
收藏
页码：283 / +
页数：2
相关论文
共 50 条
  • [1] Formal engineering for industrial software development - An introduction to the SOFL specification language and method
    Liu, SY
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 7 - 8
  • [2] Developing quality software systems using the SOFL formal engineering method
    Liu, SY
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 3 - 19
  • [3] A formal specification constructing tool for SOFL
    Xue, X
    [J]. ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 12 - 13
  • [4] Service-Oriented Modeling Using the SOFL Formal Engineering Method
    Miao, Weikai
    Liu, Shaoying
    [J]. 2009 IEEE ASIA-PACIFIC SERVICES COMPUTING CONFERENCE (APSCC 2009), 2009, : 163 - 168
  • [5] Software engineering education:: Roles of formal specification and design calculi
    Bjorner, D
    Cuéllar, JR
    [J]. ANNALS OF SOFTWARE ENGINEERING, 1998, 6 : 365 - 409
  • [6] Integration of the domain modeling method for families of systems with the SOFL formal specification language
    Gomaa, Hassan
    Liu, Shaoying
    Shin, Michael E.
    [J]. Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, 2000, : 61 - 71
  • [7] Integration of the domain modeling method for families of systems with the SOFL formal specification language
    Gomaa, H
    Liu, SY
    Shin, ME
    [J]. SIXTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2000, : 61 - 71
  • [8] Formal specification languages in knowledge and software engineering
    Fensel, D
    [J]. KNOWLEDGE ENGINEERING REVIEW, 1995, 10 (04): : 361 - 404
  • [9] A formal method applied to the automated software engineering with quality guarantees
    Teixeira, Marcelo
    Ribeiro, Richardson
    Barbosa, Marco
    Marin, Luciene
    [J]. 2014 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2014, : 108 - 111
  • [10] A FORMAL METHOD FOR THE ABSTRACT SPECIFICATION OF SOFTWARE
    MCLEAN, J
    [J]. JOURNAL OF THE ACM, 1984, 31 (03) : 600 - 627
12345