Application of the Ontology Axioms for the Development of OCL Constraints from PAL Constraints

被引：0

作者：

Kalibatiene, Diana ^{[1
]}

Vasilecas, Olegas ^{[1
]}

机构：

[1] Vilnius Gediminas Tech Univ, Informat Syst Res Lab, Dept Informat Syst, LT-10223 Vilnius, Lithuania

来源：

INFORMATICA | 2012年 / 23卷 / 03期

关键词：

ontology axiom; conceptual data model; OCL constraint; UML class diagram; transformation; Z language; BUSINESS RULES;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Nowadays, ontologies play a central role in many computer science problems such as data modelling, data exchange, integration of heterogeneous data and models or software reuse. Yet, if many methods of ontology based conceptual data modelling have been proposed, only few attempts have been made to ontology axioms based modelling of business rules, which make an integral part of each conceptual data model. In this paper, we present the approach how ontology axioms can be used for business rules implementation. Our proposal we apply for the transformation of PAL (Protege Axiom Language) constraints (ontology axioms), which is based on KIF (Knowledge Interchange Format) and is part of KIF ontology, into OCL (Object Constraint Language) constraints, which are part of a UML class diagram. Z language is used to formalise the proposal and describe the transformation. The Axiom2OCL plug-in is created for automation of the transformation and a case study is carried out.

引用

页码：369 / 390

页数：22

共 50 条

[1] OCL2AC: Automatic Translation of OCL Constraints to Graph Constraints and Application Conditions for Transformation Rules
Nassar, Nebras
Kosiol, Jens
Arendt, Thorsten
Taentzer, Gabriele
[J]. GRAPH TRANSFORMATION (ICGT 2018), 2018, 10887 : 171 - 177
[2] Transformation techniques for OCL constraints
Cabot, J.
Teniente, E.
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2007, 68 (03) : 179 - 195
[3] On the precise meaning of OCL constraints
Hennicker, R
Hussmann, H
Bidoit, M
[J]. OBJECT MODELING WITH THE OCL: THE RATIONALE BEHIND THE OBJECT CONSTRAINT LANGUAGE, 2002, 2263 : 69 - 84
[4] Simplifying transformations of OCL constraints
Giese, M
Larsson, D
[J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3713 : 309 - 323
[5] Incremental evaluation of OCL constraints
Cabot, Jordi
Teniente, Ernest
[J]. ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS, 2006, 4001 : 81 - 95
[6] Verbalization of Business Rules Application to OCL Constraints in the Utility Domain
Baghli, Rayhana
Traverson, Bruno
[J]. PROCEEDINGS OF THE 2014 2ND INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2014), 2014, : 348 - 355
[7] Generating Boundary Values from OCL Constraints using Constraints Rewriting and Search Algorithms
Ali, Shaukat
Yue, Tao
Qiu, Xiang
Lu, Hong
[J]. 2016 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2016, : 379 - 386
[8] OCL Constraints Generation from Natural Language Specification
Bajwa, Imran Sarwar
Bordbar, Behzad
Lee, Mark G.
[J]. 2010 14TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE (EDOC 2010), 2010, : 204 - 213
[9] From Core OCL Invariants to Nested Graph Constraints
Arendt, Thorsten
Habel, Annegret
Radke, Hendrik
Taentzer, Gabriele
[J]. GRAPH TRANSFORMATION, 2014, 8571 : 97 - 112
[10] Generation of OCL constraints from B abstract machines
Jacques, I
Tatibouët, B
Voisinet, JC
[J]. SERP '05: Proceedings of the 2005 International Conference on Software Engineering Research and Practice, Vols 1 and 2, 2005, : 260 - 266

← 1 2 3 4 5 →