ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
An epistemic operator for description logics
Artificial Intelligence
Graph Based Modeling and Implementation with EER / GRAL
ER '96 Proceedings of the 15th International Conference on Conceptual Modeling
Transformation: The Missing Link of MDA
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Model-theoretic semantics for the web
WWW '03 Proceedings of the 12th international conference on World Wide Web
Reasoning with UML Class Diagrams
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
Verifying feature-based model templates against well-formedness OCL constraints
Proceedings of the 5th international conference on Generative programming and component engineering
Debugging and repair of owl ontologies
Debugging and repair of owl ontologies
EMF: Eclipse Modeling Framework 2.0
EMF: Eclipse Modeling Framework 2.0
Domain-Specific Modeling
Model-driven Development of Complex Software: A Research Roadmap
FOSE '07 2007 Future of Software Engineering
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
DSLs: the good, the bad, and the ugly
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Auto-completion for diagram editors based on graph grammars
VLHCC '08 Proceedings of the 2008 IEEE Symposium on Visual Languages and Human-Centric Computing
Derivation and Refinement of Textual Syntax for Models
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Reasoning on UML class diagrams
Artificial Intelligence
Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
OntoDSL: An Ontology-Based Framework for Domain-Specific Languages
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
An ontology for software models and its practical implications for semantic web reasoning
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Editorial: Using ontologies with UML class-based modeling: The TwoUse approach
Data & Knowledge Engineering
SPARQL1.1: new features and friends (OWL2, RIF)
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Leveraging model-based tool integration by conceptual modeling techniques
The evolution of conceptual modeling
Merging models with the epsilon merging language (EML)
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Joint language and domain engineering
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
KM3: a DSL for metamodel specification
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
UML2Alloy: a challenging model transformation
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
| Hi-index | 0.00 |
Domain-specific languages (DSLs) provide abstractions and notations for better understanding and easier modeling of applications in a special domain. Current shortcomings of DSLs include learning curve and formal semantics. This paper reports on a framework that allows the use of ontology technologies to describe and reason on DSLs. The formal semantics of OWL together with reasoning services allows for addressing constraint definition, progressive evaluation, suggestions, and debugging. The approach integrates existing metamodels and concrete syntaxes in a new technical space. A scenario in which domain models for network devices are created illustrates the framework.