Treffer: A semantic-based approach for domain specific language development.

A domain specific language (DSL) ties the business and technical models, by letting technical developers write programs with the business domain properties. Yet, DSLs are not used due to the cost of developing them. Such cost stems from the needed expertise within both the domain knowledge and language development technicalities for any DSL engineer who would design such a language. This paper proposes a semantic-based DSL development approach that utilizes an ontology as a formal way for domain representation. The domain ontology is semi-automatically transformed into a DSL. Then, an ontology reasoning algorithm provides reasoning services on the DSL structure and the programs developed using such DSL by application developers. Such reasoning services can automatically detect flaws in the DSL design like possible inconsistency or the presence of unsatisfiable or redundant classes thus serving the DSL engineer. The reasoning services can also discover inconsistency or redundant classes in programs built using the designed DSL, thus serving the application developer. The proposed approach was implemented within a language workbench using projectional-editing and was evaluated on two different ontologies from varied domains. The results show correct transformation of the input ontology, valid instantiation of designed application, and efficient reasoning services. [ABSTRACT FROM AUTHOR]

Copyright of International Journal of Electrical & Computer Engineering (2088-8708) is the property of Institute of Advanced Engineering & Science and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)