Feature-Oriented Project Line Engineering
IEEE Software
Towards a Precise Definition of the OMG/MDA Framework
Proceedings of the 16th IEEE international conference on Automated software engineering
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Formal Semantics and Verification for Feature Modeling
ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems
Domain-Specific Modeling
MDA-based Automatic OWL Ontology Development
International Journal on Software Tools for Technology Transfer (STTT) - Special Section on Fundamental Approaches to Software Engineering
On marrying ontological and metamodeling technical spaces
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Model driven engineering with ontology technologies
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
OWLizing: transforming software models to ontologies
Ontology-Driven Software Engineering
Interoperability Services for Models and Ontologies
Proceedings of the 2011 conference on Databases and Information Systems VI: Selected Papers from the Ninth International Baltic Conference, DB&IS 2010
Integrating ontological domain knowledge into a robotic DSL
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Proceedings of the 10th Workshop on Domain-Specific Modeling
Towards semantic modeling of network physical devices
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
RobotML, a domain-specific language to design, simulate and deploy robotic applications
SIMPAR'12 Proceedings of the Third international conference on Simulation, Modeling, and Programming for Autonomous Robots
| Hi-index | 0.00 |
This paper reports on a case study where the domain specific language BEDSL for the description of network devices for computer networks is combined with the feature description language FODA used for defining the variability structure of product lines. Furthermore, annotations by fragments of the web ontology language OWL can be added. In essence, the approach is a three-way integration, which regards two documents written in BEDSL and FODA, respectively, and semantic OWL-annotations as three equally important views of the system under discussion. The integration of languages is done on the level of their metamodels. The standard metamodel of OWL 2 is merged with two self-developed metamodels for the respective domain specific languages. The merge is loss-free, i.e. the resulting merged model still contains all information from its parts. Thus, the BEDSL part can be used to visualize the network model, the FODA part still defines the feature structure of the corresponding product line and the OWL part can be extracted and fed into an OWL tool to assert the semantic conditions.