Runtime Semantics of Use Case Stories

被引:0
|
作者
Smialek, Michal [1 ]
Jarzebowski, Norbert [1 ]
Nowakowski, Wiktor [1 ]
机构
[1] Warsaw Univ Technol, Warsaw, Poland
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Direct end-user participation in software system construction necessitates bringing general-purpose programming activities to the level understandable by "laymen". This paper introduces a new software development approach where stories written in commonly understood structured natural language gain runtime semantics. Stories are precisely linked to domain concepts and actions, thus forming the application logic of the system. These constructs are written at a high level of abstraction, very close to detailed software requirements specifications. In fact, they are structured into familiar use case models that include special "invocation" relationships between use cases. At the same time, the paper proposes precise translational semantics for such defined stories. For each story element, equivalent Java code is derived. This semantics has been implemented within a tool containing a story editor and a code generator producing fully dynamic application logic code with Swing-based user interface. Ease of use of the new story language and usefulness of the generated Java code has been evaluated through student assignment projects.
引用
收藏
页码:159 / 162
页数:4
相关论文
共 50 条
  • [1] Comparing LTL Semantics for Runtime Verification
    Bauer, Andreas
    Leucker, Martin
    Schallhart, Christian
    JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (03) : 651 - 674
  • [2] Extending OpenMP Metadirective Semantics for Runtime Adaptation
    Yan, Yonghong
    Wang, Anjia
    Liao, Chunhua
    Scogland, Thomas R. W.
    de Supinski, Bronis R.
    OPENMP: CONQUERING THE FULL HARDWARE SPECTRUM, IWOMP 2019, 2019, 11718 : 201 - 214
  • [3] Formal Semantics: stories and challenges
    Neto, Jose Borges
    Mueller, Ana
    de Oliveira, Roberta Pires
    REVISTA DE ESTUDOS DA LINGUAGEM, 2012, 20 (01) : 119 - 148
  • [4] THE USE OF CASE STORIES IN NEWSPAPER PUBLICITY
    Routzahn, Mary Swain
    FAMILY, 1925, 6 (06): : 168 - 170
  • [5] Accelerated Runtime Verification of LTL Specifications with Counting Semantics
    Medhat, Ramy
    Bonakdarpour, Borzoo
    Fischmeister, Sebastian
    Joshi, Yogi
    RUNTIME VERIFICATION, (RV 2016), 2016, 10012 : 251 - 267
  • [6] Abstract operational semantics for use case maps
    Hassine, J
    Rilling, J
    Dssouli, R
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005, 2005, 3731 : 366 - 380
  • [7] An ASM operational semantics for use case maps
    Hassine, J
    Rilling, J
    Dssouli, R
    13th IEEE International Conference on Requirements Engineering, Proceedings, 2005, : 467 - 468
  • [8] Enhanced use case map traversal semantics
    Kealey, Jason
    Amyot, Daniel
    SDL 2007: DESIGN FOR DEPENDABLE SYSTEMS, PROCEEDINGS, 2007, 4745 : 133 - 149
  • [9] Semantics-directed Prototyping of Hardware Runtime Monitors
    Harrison, William L.
    Allwein, Gerard
    PROCEEDINGS OF THE 2018 29TH INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING (RSP): SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 2018, : 42 - 48
  • [10] Formal Semantics of Runtime Monitoring, Verification, Enforcement and Control
    Chen, Zhe
    Wei, Ou
    Huang, Zhiqiu
    Xi, Hongwei
    PROCEEDINGS 2015 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, 2015, : 63 - 70