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 条
  • [21] Towards Verification of the Pastry Protocol Using TLA+
    Lu, Tianxiang
    Merz, Stephan
    Weidenbach, Christoph
    FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, 2011, 6722 : 244 - 258
  • [22] Specification and verification of a parametric handover procedure using TLA
    Kapus, Tatjana
    JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 2006, 15 (06) : 881 - 906
  • [23] A Component-based Approach to Verification of Embedded Control Systems using TLA+
    Rysavy, Ondrej
    Rab, Jaroslav
    2008 INTERNATIONAL MULTICONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (IMCSIT), VOLS 1 AND 2, 2008, : 668 - 674
  • [24] Research of optimization technology based the customization mechanism in CORBA
    Xiang, J.
    Wu, Q.-Y.
    Wang, H.-M.
    Guofang Keji Daxue Xuebao/Journal of National University of Defense Technology, 2001, 23 (03): : 83 - 87
  • [25] Mechanism of customization for application service based on ASP mode
    Key Lab. of CIMS, Sch. of Mechatronics, Guangdong Univ. of Technol., Guangzhou 510075, China
    Jisuanji Jicheng Zhizao Xitong, 2007, 5 (1035-1040):
  • [26] A QoS Based Reliable Routing Mechanism for Service Customization
    Bo Yi
    Xing-Wei Wang
    Min Huang
    Qiang He
    Journal of Computer Science and Technology, 2022, 37 (6) : 1492 - 1508
  • [27] A QoS Based Reliable Routing Mechanism for Service Customization
    Yi, Bo
    Wang, Xing-Wei
    Huang, Min
    He, Qiang
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2022, 37 (06) : 1492 - 1508
  • [28] Formal verification of dynamic UML diagrams using TLA
    Couzinier, M
    Féraud, L
    PROCEEDINGS OF THE SECOND IASTED INTERNATIONAL MULTI-CONFERENCE ON AUTOMATION, CONTROL, AND INFORMATION TECHNOLOGY - SOFTWARE ENGINEERING, 2005, : 85 - 91
  • [29] Formal verification of concurrent scheduling strategies using TLA
    Grov, Gudmund
    Michaelson, Greg
    Ireland, Andrew
    2007 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLS 1 AND 2, 2007, : 839 - 844
  • [30] Formal Verification of the Pastry Protocol Using TLA+
    Lu, Tianxiang
    DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS, AND APPLICATIONS, SETTA 2015, 2015, 9409 : 284 - 299
12345