Exploiting model profiles in requirements verification of cloud systems

被引：0
|
作者：
Moscato, Francesco [1 ]
机构：
[1] DiSciPol, Second University of Naples, Italy, Viale Ellittico 31, Caserta (CE),81100, Italy
来源：
International Journal of High Performance Computing and Networking | 2015年 / 8卷 / 03期
关键词：
D O I：
10.1504/IJHPCN.2015.071258
中图分类号：
学科分类号：
摘要：
45
引用
收藏
页码：259 / 274
相关论文
共 50 条
  • [1] Exploiting an enterprise model during systems' requirements capture and analysis
    Champion, REM
    Moores, TT
    PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING, 1996, : 208 - 215
  • [2] Exploiting Semantics and Patterns for Verification of Orchestrated Cloud Services
    Moscato, Francesco
    2015 9TH INTERNATIONAL CONFERENCE ON COMPLEX, INTELLIGENT, AND SOFTWARE INTENSIVE SYSTEMS CISIS 2015, 2015, : 192 - 199
  • [3] Verification Requirements for Secure and Reliable Cloud Computing
    Ghumman, Waheed Aslam
    Laessig, Jorg
    2013 IEEE THIRD INTERNATIONAL CONFERENCE ON CLOUD AND GREEN COMPUTING (CGC 2013), 2013, : 143 - 150
  • [4] A Model-Driven Framework for Automated Generation and Verification of Cloud Solutions from Requirements
    Nezhad, Hamid R. Motahari
    Nakamura, Taiga
    Sosnovich, Adi
    Yin, Peifeng
    Yorav, Karen
    SERVICE-ORIENTED COMPUTING (ICSOC 2018), 2018, 11236 : 714 - 721
  • [5] On Requirements Verification for Model Refinements
    Ghezzi, Carlo
    Menghi, Claudio
    Sharifloo, Amir Molzam
    Spoletini, Paola
    2013 21ST IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 2013, : 62 - 71
  • [6] Security Requirements Verification for Existing Systems with Model Checking Technique and UML
    Matsuura, Saeko
    Ogata, Shinpei
    Aoki, Yoshitaka
    MODELSWARD: PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2017, : 529 - 535
  • [7] Specification and verification of security requirements in a programming model for decentralized CSCW systems
    Ahmed, Tanvir
    Tripathi, Anand R.
    ACM TRANSACTIONS ON INFORMATION AND SYSTEM SECURITY, 2007, 10 (02)
  • [8] Exploiting Rateless Codes in Cloud Storage Systems
    Anglano, Cosimo
    Gaeta, Rossano
    Grangetto, Marco
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2015, 26 (05) : 1313 - 1322
  • [9] A quality requirements model and verification approach for system of systems based on description logic
    Qing-long WANG
    Zhi-xue WANG
    Ting-ting ZHANG
    Wei-xing ZHU
    FrontiersofInformationTechnology&ElectronicEngineering, 2017, 18 (03) : 346 - 361
  • [10] A quality requirements model and verification approach for system of systems based on description logic
    Wang, Qing-long
    Wang, Zhi-xue
    Zhang, Ting-ting
    Zhu, Wei-xing
    FRONTIERS OF INFORMATION TECHNOLOGY & ELECTRONIC ENGINEERING, 2017, 18 (03) : 346 - 361
12345