• DocumentCode
    476694
  • Title

    Mapping from OCL/UML metamodel to PVS metamodel

  • Author

    Rahim, Lukman Ab

  • Author_Institution
    Universiti Teknologi PETRONAS, Bandar Seri Iskandar, 31750 Tronoh, Perak, Malaysia
  • Volume
    1
  • fYear
    2008
  • fDate
    26-28 Aug. 2008
  • Firstpage
    1
  • Lastpage
    8
  • Abstract
    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.
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Information Technology, 2008. ITSim 2008. International Symposium on
  • Conference_Location
    Kuala Lumpur
  • Print_ISBN
    978-1-4244-2327-9
  • Electronic_ISBN
    978-1-4244-2328-6
  • Type

    conf

  • DOI
    10.1109/ITSIM.2008.4631599
  • Filename
    4631599
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=476694