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 条
  • [1] Data Privacy Preserving Mechanism based on Tenant Customization for SaaS
    Zhang, Kun
    Shi, Yuliang
    Li, Qingzhong
    Bian, Ji
    MINES 2009: FIRST INTERNATIONAL CONFERENCE ON MULTIMEDIA INFORMATION NETWORKING AND SECURITY, VOL 1, PROCEEDINGS, 2009, : 599 - 603
  • [2] A New Data Integrity Verification Mechanism for SaaS
    Shi, Yuliang
    Zhang, Kun
    Li, Qingzhong
    WEB INFORMATION SYSTEMS AND MINING, 2010, 6318 : 236 - 243
  • [3] Scalable SaaS- Based Process Customization with CaseWalls
    Sun, Yu-Jen John
    Barukh, Moshe Chai
    Benatallah, Boualem
    Beheshti, Seyed-Mehdi-Reza
    SERVICE-ORIENTED COMPUTING, (ICSOC 2015), 2015, 9435 : 218 - 233
  • [4] Modeling and Analysis of Workflow Based on TLA
    Chen Shu
    Wu Guo Qing
    JOURNAL OF COMPUTERS, 2009, 4 (01) : 27 - 34
  • [5] Process Customization Framework in SaaS Applications
    Chen, Dapeng
    Li, Qingzhong
    Kong, Lanju
    2013 10TH WEB INFORMATION SYSTEM AND APPLICATION CONFERENCE (WISA 2013), 2013, : 471 - 474
  • [6] Linking Simulation with Formal Verification and Modeling of Wireless Sensor Network in TLA
    Martyna, Jerzy
    COMPUTER NETWORKS, 2010, 79 : 131 - 140
  • [7] The Design and Implementation of Manual Task Customization in Workflow System Based on SaaS
    Xiao, Ding
    Hui, Ming
    Luo, Ruobing
    Wang, Quanfeng
    PROCEEDINGS OF 2010 3RD IEEE INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (ICCSIT 2010), VOL 8, 2010, : 493 - 497
  • [8] Cache coherence verification with TLA
    Akhiani, H
    Doligez, D
    Harter, P
    Lamport, L
    Scheid, J
    Tuttle, M
    Yu, Y
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1871 - 1871
  • [9] SaaS Multi-Tenant Application Customization
    Tsai, Wei-Tek
    Sun, Xin
    2013 IEEE SEVENTH INTERNATIONAL SYMPOSIUM ON SERVICE-ORIENTED SYSTEM ENGINEERING (SOSE 2013), 2013, : 1 - 12
  • [10] A Flexible Business Process Customization Framework for SaaS
    Shi, Yuliang
    Luan, Shuai
    Li, Qingzhong
    Wang, Haiyang
    2009 WASE INTERNATIONAL CONFERENCE ON INFORMATION ENGINEERING, ICIE 2009, VOL II, 2009, : 350 - 353
12345