Abdul Hafeez, A. Wagan, Aamir Iqbal Umrani, Samreen Javed
{"title":"基于本体的UML/OCL约束转换与验证","authors":"Abdul Hafeez, A. Wagan, Aamir Iqbal Umrani, Samreen Javed","doi":"10.30537/sjcms.v5i2.840","DOIUrl":null,"url":null,"abstract":"In Software Engineering (SE), the graphical models specify the system's architecture, connection, and characteristics. New SE methods such as MDA utilize graphical models as a nucleus of all development activities. This paper presents the transformation and verification of class diagram and Object Constraint Language (OCL) and transformation algorithm from Class model to ontology in the continuity of our research on UML and ontology integration. The class diagram is transformed into ontology, and constraints specified through OCL are transformed into SPARQL.","PeriodicalId":32391,"journal":{"name":"Sukkur IBA Journal of Computing and Mathematical Sciences","volume":" ","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2021-12-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Ontology-Based Transformation and Verification of UML/OCL Constraints\",\"authors\":\"Abdul Hafeez, A. Wagan, Aamir Iqbal Umrani, Samreen Javed\",\"doi\":\"10.30537/sjcms.v5i2.840\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In Software Engineering (SE), the graphical models specify the system's architecture, connection, and characteristics. New SE methods such as MDA utilize graphical models as a nucleus of all development activities. This paper presents the transformation and verification of class diagram and Object Constraint Language (OCL) and transformation algorithm from Class model to ontology in the continuity of our research on UML and ontology integration. The class diagram is transformed into ontology, and constraints specified through OCL are transformed into SPARQL.\",\"PeriodicalId\":32391,\"journal\":{\"name\":\"Sukkur IBA Journal of Computing and Mathematical Sciences\",\"volume\":\" \",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2021-12-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Sukkur IBA Journal of Computing and Mathematical Sciences\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.30537/sjcms.v5i2.840\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Sukkur IBA Journal of Computing and Mathematical Sciences","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.30537/sjcms.v5i2.840","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Ontology-Based Transformation and Verification of UML/OCL Constraints
In Software Engineering (SE), the graphical models specify the system's architecture, connection, and characteristics. New SE methods such as MDA utilize graphical models as a nucleus of all development activities. This paper presents the transformation and verification of class diagram and Object Constraint Language (OCL) and transformation algorithm from Class model to ontology in the continuity of our research on UML and ontology integration. The class diagram is transformed into ontology, and constraints specified through OCL are transformed into SPARQL.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
