Design and implementation of enterprise systems in fine-grained concurrent computation

被引:1
|
作者
Ohmori, Kenji [1 ]
机构
[1] Hosei Univ, Fac Comp & Informat Sci, Koganei, Tokyo 184, Japan
关键词
Communicating Sequential Processes; Model-View-Control Software Architecture; Agile Software Development;
D O I
10.1016/j.protcy.2012.09.038
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The computational power required to an enterprise system changes dynamically depending on services and the number of users. Massive concurrent computing is excellent in scalability, so that the paper proposes utilizing it for designing and implementing enterprise systems. The proposed accounting system is developed using Agile software development method to study the scalability of massive concurrent systems. When combining two subsystems in Agile, an attaching function is introduced. The system is designed using Model-View-Control software architecture and communicating sequential processes and then implemented with JCSP. Before implementation, the validity of the model is verified using verification tools. It reduces development cost and time. (C) 2012 Published by Elsevier Ltd. Selection and/or peer review under responsibility of CENTERIS/SCIKA - Association for Promotion and Dissemination of Scientific Knowledge
引用
收藏
页码:344 / 353
页数:10
相关论文
共 50 条
  • [1] Fine-grained concurrent completion
    Kirchner, C
    Lynch, C
    Scharff, C
    REWRITING TECHNIQUES AND APPLICATIONS, 1996, 1103 : 3 - 17
  • [2] Fine-Grained Secure Computation
    Campanelli, Matteo
    Gennaro, Rosario
    THEORY OF CRYPTOGRAPHY, TCC 2018, PT II, 2018, 11240 : 66 - 97
  • [3] Design and Implementation of a Fine-Grained NAND Flash programmer
    Zhang Li
    Wang Wenming
    Tan Yuan
    Sun Xunhu
    Sun Zhi
    Yang Yang
    2012 13TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS, AND TECHNOLOGIES (PDCAT 2012), 2012, : 257 - 261
  • [4] Design and implementation of a fine-grained software inspection tool
    Anderson, P
    Reps, T
    Teitelbaum, T
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2003, 29 (08) : 721 - 733
  • [5] Communicating State Transition Systems for Fine-Grained Concurrent Resources
    Nanevski, Aleksandar
    Ley-Wild, Ruy
    Sergey, Ilya
    Andres Delbianco, Andgerman
    PROGRAMMING LANGUAGES AND SYSTEMS, 2014, 8410 : 290 - 310
  • [6] Fine-grained authorization for job execution in the Grid: design and implementation
    Keahey, K
    Welch, V
    Lang, S
    Liu, B
    Meder, S
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2004, 16 (05): : 477 - 488
  • [7] Mechanized Verification of Fine-Grained Concurrent Programs
    Sergey, Ilya
    Nanevski, Aleksandar
    Banerjee, Anindya
    ACM SIGPLAN NOTICES, 2015, 50 (06) : 77 - 87
  • [8] Concurrent Fine-grained Versioning of UML Models
    De Lucia, Andrea
    Fasano, Fausto
    Scanniello, Giuseppe
    Tortora, Genoveffa
    13TH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING: CSMR 2009, PROCEEDINGS, 2009, : 89 - +
  • [9] Deriving Linearizable Fine-Grained Concurrent Objects
    Vechev, Martin
    Yahav, Eran
    PLDI'08: PROCEEDINGS OF THE 2008 SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN & IMPLEMENTATION, 2008, : 125 - 135
  • [10] Deriving linearizable fine-grained concurrent objects
    Vechev, Martin
    Yahav, Eran
    ACM SIGPLAN NOTICES, 2008, 43 (06) : 125 - 135