A Mechanism of Modeling and Verification for SaaS Customization Based on TLA

被引：0
|
作者：
Luan, Shuai [1 ]
Shi, Yuliang [1 ]
Wang, Haiyang [1 ]
机构：
[1] Shandong Univ, Software Coll, Jinan 250100, Shandong, Peoples R China
来源：
WEB INFORMATION SYSTEMS AND MINING, PROCEEDINGS | 2009年 / 5854卷
关键词：
SaaS; TLA; Customization; Verification;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
With the gradually mature of SOA and the rapid development of Internet, SaaS has become a popular software service mode. The customized action of SaaS is usually subject to internal and external dependency relationships. This paper first introduces a method for modeling customization process based on Temporal Logic of Actions, and then proposes a verification algorithm to assure that each step in customization will not cause unpredictable influence on system and follow the related rules defined by SaaS provider.
引用
收藏
页码：337 / 344
页数：8
相关论文
共 50 条
  • [31] Generation of BPEL Customization Processes for SaaS Applications from Variability Descriptors
    Mietzner, Ralph
    Leymann, Frank
    2008 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, PROCEEDINGS, VOL 2, 2008, : 359 - 366
  • [32] Deep Customization of Multi-Tenant SaaS Using Intrusive Microservices
    Song, Hui
    Chauvel, Franck
    Solberg, Arnor
    2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING TECHNOLOGIES RESULTS (ICSE-NIER), 2018, : 97 - 100
  • [33] Formal Verification of ASM Models Using TLA+
    Daho, Hocine El-Habib
    Benhamamouch, Djilali
    ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS, 2008, 5238 : 356 - 356
  • [34] Formal Verification of SDN-Based Firewalls by Using TLA&x002B;
    Kim, Young-Mi
    Kang, Miyoung
    IEEE ACCESS, 2020, 8 (08): : 52100 - 52112
  • [35] Verification of XTP context management closing procedure in style of TLA
    Kapus, T
    Brezonik, Z
    SCIENCE OF COMPUTER PROGRAMMING, 1997, 29 (1-2) : 23 - 52
  • [36] Automatic Verification of TLA+ Proof Obligations with SMT Solvers
    Merz, Stephan
    Vanzetto, Hernan
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (LPAR-18), 2012, 7180 : 289 - 303
  • [37] 基于TLA的SaaS业务流程定制及验证机制研究
    史玉良
    栾帅
    李庆忠
    董晋利
    刘方方
    计算机学报, 2010, 33 (11) : 2055 - 2067
  • [38] The TLA+ Proof System: Building a Heterogeneous Verification Platform
    Chaudhuri, Kaustuv
    Doligez, Damien
    Lamport, Leslie
    Merz, Stephan
    THEORETICAL ASPECTS OF COMPUTING, 2010, 6255 : 44 - 44
  • [39] Research on Generation Mechanism of Reverse Matching based on Mass Customization
    Cheng Yanxia
    Wang Fang
    PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON PRODUCT INNOVATION MANAGEMENT, VOLS I AND II, 2010, : 1028 - 1033
  • [40] Customization of Test Case Selection Based on Filtering Mechanism in JUnit
    Shi Wei
    Tang Feilong
    2009 INTERNATIONAL FORUM ON COMPUTER SCIENCE-TECHNOLOGY AND APPLICATIONS, VOL 2, PROCEEDINGS, 2009, : 57 - 60
12345