Feature Model Based on Description Logics

2006 ◽  
pp. 1144-1151 ◽  
Author(s):  
Shaofeng Fan ◽  
Naixiao Zhang
Keyword(s):  
Description Logics ◽  
Feature Model ◽  
Model Based

Feature model-based grasp formulation

1993 ◽  
Vol 31 (2) ◽  
pp. 351-364 ◽  
Author(s):  
J. P. HUISSOON ◽  
M. CACAMBOURAS
Keyword(s):  
Feature Model ◽  
Model Based

Research on Consistency Checking of OntoUML Model

2012 ◽  
Vol 433-440 ◽  
pp. 2862-2867
Author(s):  
Bin Yang ◽  
Yu Dong Qi ◽  
Xiu We Wang ◽  
Ya Ning Wang
Keyword(s):  
Knowledge Base ◽  
Conceptual Model ◽  
Description Logics ◽  
Conceptual Modeling ◽  
Modeling Language ◽  
Consistency Checking ◽  
Model Based ◽  
Reasoning System ◽  
Uml Metamodel

OntoUML is a conceptual modeling language which is built with a lightweight expansion of UML metamodel, but it doesn’t provide mechanism of consistency checking on conceptual model. The correctness of the syntax and semantics of the model still need artificial check. The paper introduced OntoUML briefly and put forward a scheme of consistency checking of OntoUML model based on description logics. By transforming into knowledge base of description logics, the detection of consistencies at the OntoUML model can be realized using existing mature reasoning system.

A Feature Model Based Framework for Refactoring Software Product Line Architecture

2016 ◽  
Vol 31 (5) ◽  
pp. 951-986 ◽  
Author(s):  
Mohammad Tanhaei ◽  
Jafar Habibi ◽  
Seyed-Hassan Mirian-Hosseinabadi
Keyword(s):  
Software Product Line ◽  
Product Line ◽  
Feature Model ◽  
Model Based ◽  
Product Line Architecture ◽  
Software Product
Sign in / Sign up

Export Citation Format

Share Document