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 条
  • [31] An intermediate metamodel with scenarios and resources for generating performance models from UML designs
    Dorin B. Petriu
    Murray Woodside
    [J]. Software & Systems Modeling, 2007, 6 : 163 - 184
  • [32] Improving the accuracy of UML metamodel extensions by introducing induced associations
    Xavier Burgués
    Xavier Franch
    Josep M. Ribó
    [J]. Software & Systems Modeling, 2008, 7 : 361 - 379
  • [33] A comparative study of metamodel integration and interoperability in UML and web services
    Staikopoulos, A
    Bordbar, B
    [J]. MODEL DRIVEN ARCHITECTURE FOUNDATIONS AND APPLICATIONS, PROCEEDINGS, 2005, 3748 : 145 - 159
  • [34] A metamodel approach to software process Modeling based on UML extension
    Wu, Minghui
    Li, Gang
    Ying, Jing
    Yan, Hui
    [J]. 2006 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-6, PROCEEDINGS, 2006, : 4508 - +
  • [35] Improving the accuracy of UML metamodel extensions by introducing induced associations
    Burgues, Xavier
    Franch, Xavier
    Ribo, Josep M.
    [J]. SOFTWARE AND SYSTEMS MODELING, 2008, 7 (03): : 361 - 379
  • [36] Ontology definition metamodel based consistency checking of UML models
    Wang, Shengjun
    Jin, Longfei
    Jin, Chengzhi
    [J]. 2006 10TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, PROCEEDINGS, VOLS 1 AND 2, 2006, : 1043 - 1047
  • [37] Metamodel based approach to generate user interface mockup from UML class diagram
    Thomas, Mahatody
    Mihaela, Ilie
    Andrianjaka, Rapatsalahy Miary
    Germain, Dimbisoa William
    Sorin, Ilie
    [J]. 12TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT) / THE 4TH INTERNATIONAL CONFERENCE ON EMERGING DATA AND INDUSTRY 4.0 (EDI40) / AFFILIATED WORKSHOPS, 2021, 184 : 779 - 784
  • [38] Metamodel and Constraints Co-evolution: A Semi Automatic Maintenance of OCL Constraints
    Khelladi, Djamel Eddine
    Hebig, Regina
    Bendraou, Reda
    Robin, Jacques
    Gervais, Marie-Pierre
    [J]. SOFTWARE REUSE: BRIDGING WITH SOCIAL-AWARENESS, 2016, 9679 : 333 - 349
  • [39] Metamodel Usage Analysis for Identifying Metamodel Improvements
    Herrmannsdoerfer, Markus
    Ratiu, Daniel
    Koegel, Maximilian
    [J]. SOFTWARE LANGUAGE ENGINEERING, 2011, 6563 : 62 - 81
  • [40] A metamodel and UML profile for rule-extended OWL DL ontologies
    Brockmans, Saartje
    Haase, Peter
    Hitzler, Pascal
    Studer, Rudi
    [J]. SEMANTIC WEB: RESEARCH AND APPLICATIONS, PROCEEDINGS, 2006, 4011 : 303 - 316
12345