2012
DOI: 10.1007/s10270-012-0249-9
|View full text |Cite
|
Sign up to set email alerts
|

An ontology-based framework for domain-specific modeling

Abstract: 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 integrate… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
27
0
1

Year Published

2013
2013
2019
2019

Publication Types

Select...
4
3
3

Relationship

0
10

Authors

Journals

citations
Cited by 43 publications
(28 citation statements)
references
References 34 publications
0
27
0
1
Order By: Relevance
“…A container is a standard operating environment for a component [8] , also is a composite meta-model and its model needs to be dependent on the connector. Define the container as a multivariate: Container = (ID, Conn, type, Attr), where ID is the unique identifier of the container; Conn is the set of connectors in the container; type is the type of container, Which can be divided into CPU containers, DSP containers and FPGA containers; Attr is used to describe the property information, including the type of connector, the number of each type.…”
Section: Connector Modelingmentioning
confidence: 99%
“…A container is a standard operating environment for a component [8] , also is a composite meta-model and its model needs to be dependent on the connector. Define the container as a multivariate: Container = (ID, Conn, type, Attr), where ID is the unique identifier of the container; Conn is the set of connectors in the container; type is the type of container, Which can be divided into CPU containers, DSP containers and FPGA containers; Attr is used to describe the property information, including the type of connector, the number of each type.…”
Section: Connector Modelingmentioning
confidence: 99%
“…Hence, using constraint solving techniques, the system proposed ways to complete a model so that it becomes a valid instance of a meta-model. In [36] the authors use ontologies in combination with domain-specific modelling, and hence can use ontology reasoners to provide reasoning services like model validation, inconsistency explanation, and services to help in the model construction phase. These approaches are not applicable in our context, since our purpose is to create a meta-model.…”
Section: Related Workmentioning
confidence: 99%
“…The potential of ontology technologies applied to system engineering to formalise general modelling is outlined by Tetlow et al [37]. Walter et al [38] employ ontologies to improve the practice of domain-specific modelling. The authors develop a framework to validate models conformed to a certain domain-specific language employing ontology reasoning services (e.g.…”
Section: Related Workmentioning
confidence: 99%