Mapping From OCL/UML Metamodel to PVS Metamodel

被引：0
|
作者：
Rahim, Lukman Ab. [1 ]
机构：
[1] Univ Teknol PETRONAS, Tronoh 31750, Perak, Malaysia
来源：
INTERNATIONAL SYMPOSIUM OF INFORMATION TECHNOLOGY 2008, VOLS 1-4, PROCEEDINGS: COGNITIVE INFORMATICS: BRIDGING NATURAL AND ARTIFICIAL KNOWLEDGE | 2008年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
There are many approaches in model transformation. In this paper metamodel transformation approach is used to transform elements in Object Constraint Language (OCL) and Unified Modeling Language (UML) metamodel to elements in Prototype Verification System (PVS) metamodel. The mappings of individual elements in the source metamodels to elements in the target metamodel are discussed. This paper also proposed a metamodel for PVS specification language.
引用
收藏
页码：474 / 481
页数：8
相关论文
共 50 条
  • [1] PVS Metamodel
    Rahim, Lukman A. B.
    [J]. SEPADS'09: PROCEEDINGS OF THE 8TH WSEAS INTERNATIONAL CONFERENCE ON RECENT ADVANCES IN SOFTWARE ENGINEERING, PARALLEL AND DISTRIBUTED SYSTEMS, 2009, : 45 - 50
  • [2] A metamodel for OCL
    Richters, M
    Gogolla, M
    [J]. UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 156 - 171
  • [3] Evolution of the UML Interactions Metamodel
    Wendland, Marc-Florian
    Schneider, Martin
    Haugen, Oystein
    [J]. MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, 2013, 8107 : 405 - 421
  • [4] Analysis of the Evolution of the UML Metamodel
    Ma, Zhiyi
    He, Huihong
    Liu, Jinyang
    He, Xiao
    [J]. PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2018, : 356 - 363
  • [5] A Technique Based on the OMG Metamodel and OCL for the definition of Object Oriented Metrics Applied to UML Models
    Debnath, N.
    Riesco, D.
    Montejano, G.
    Uzal, R.
    Baigorria, L.
    Dasso, A.
    Funes, A.
    [J]. 3RD ACS/IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, 2005, 2005,
  • [6] A metamodel for generating performance models from UML designs
    Petriu, DB
    Woodside, M
    [J]. UML 2004 - THE UNIFIED MODELING LANGUAGE: MODELING LANGUAGES AND APPLICATIONS, PROCEEDINGS, 2004, 3273 : 41 - 53
  • [7] A layered metamodel for hierarchical modeling in UML
    Song, CY
    Baik, DK
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2003, 13 (02) : 191 - 214
  • [8] A metamodel for specifying design patterns in UML
    Jaberi, R
    Razzazi, M
    [J]. INFORMATION TECHNOLOGY AND ORGANIZATIONS: TRENDS, ISSUES, CHALLENGES AND SOLUTIONS, VOLS 1 AND 2, 2003, : 1118 - 1122
  • [9] Formalizing UML Models and OCL Constraints in PVS
    Kyas, Marcel
    Fecher, Harald
    de Boer, Frank S.
    Jacob, Joost
    Hooman, Jozef
    van der Zwaag, Mark
    Arons, Tamarah
    Kugler, Hillel
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 115 : 39 - 47
  • [10] Heuristic-Based Recommendation for Metamodel - OCL Coevolution
    Batot, Edouard
    Kessentini, Wael
    Sahraoui, Houari
    Famelis, Michalis
    [J]. 2017 ACM/IEEE 20TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2017), 2017, : 210 - 220
12345