OntoDSL: An Ontology-Based Framework for Domain-Specific Languages
作者： Tobias Walter , Fernando Silva Parreiras , Steffen Staab
DOI: 10.1007/978-3-642-04425-0_32
关键词: Notation 、 Query language 、 Programming language 、 Computer science 、 Ontology (information science) 、 Debugging 、 Formal semantics (linguistics) 、 Networking hardware 、 Domain model 、 Domain-specific language
摘要: Domain-specific languages (DSLs) are high-level and should provide abstractions notations for better understanding easier modeling of applications a special domain. Current shortcomings DSLs include learning curve formal semantics. This paper reports on novel approach that allows the use ontologies to describe DSLs. The semantics OWL together with reasoning services allow addressing constraint definition, progressive evaluation, suggestions, debugging. integrates existing metamodels, concrete syntaxes query language. A scenario in which domain models network devices created illustrates development environment.
springer.com
sci-hub.st 参考文章(39)
Bijan Parsia, Evren Sirin, Pellet: An OWL DL Reasoner international workshop description logics. ,(2004)
Ragnhild Van Der Straeten, Tom Mens, Jocelyn Simmonds, Viviane Jonckers, Using Description Logic to Maintain Consistency between UML Models Lecture Notes in Computer Science. pp. 326- 340 ,(2003) , 10.1007/978-3-540-45221-8_28
David J. Gilmore, Expert Programming Knowledge: A Strategic Approach Psychology of Programming. pp. 223- 234 ,(1990) , 10.1016/B978-0-12-350772-3.50019-7
Paul Sammut, Tony Clark, James Willans, Applied metamodelling: a foundation for language driven development. Ceteva. ,(2008)
Deborah L McGuinness, Frank Van Harmelen, None, OWL Web ontology language overview W3C Recommendation. ,(2004)
Jin Song Dong, Jing Sun, Jun Sun, Hai H. Wang, Reasoning support for Semantic Web ontology family languages using Alloy Multiagent and Grid Systems. ,vol. 2, pp. 455- 471 ,(2006) , 10.3233/MGS-2006-2410
Matthias Bräuer, Henrik Lochmann, An Ontology for Software Models and Its Practical Implications for Semantic Web Reasoning Lecture Notes in Computer Science. pp. 34- 48 ,(2008) , 10.1007/978-3-540-68234-9_6
Anna Gerber, Michael Lawley, Kerry Raymond, Jim Steel, Andrew Wood, Transformation: The Missing Link of MDA international conference on graph transformation. ,vol. 2505, pp. 90- 105 ,(2002) , 10.1007/3-540-45832-8_9
Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler, Can OWL and logic programming live together happily ever after international semantic web conference. pp. 501- 514 ,(2006) , 10.1007/11926078_36
Bijan Parsia, Yarden Katz, Towards a Nonmonotonic Extension to OWL owl experiences and directions. ,(2005)