A theory of diagnosis from first principles
Artificial Intelligence
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
OntoEdit: Guiding Ontology Development by Methodology and Inferencing
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Eclipse Modeling Framework
Model-Driven Development: A Metamodeling Foundation
IEEE Software
Guest Editors' Introduction: Model-Driven Development
IEEE Software
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
Model Driven Architecture and Ontology Development
Model Driven Architecture and Ontology Development
Debugging and repair of owl ontologies
Debugging and repair of owl ontologies
Ontology Matching
Using Semantic Web Technologies for Knowledge-Driven Querying of Biomedical Data
AIME '07 Proceedings of the 11th conference on Artificial Intelligence in Medicine
Reasoning Web
Model Driven Specification of Ontology Translations
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Metamodels Taken Seriously: The TGraph Approach
CSMR '08 Proceedings of the 2008 12th European Conference on Software Maintenance and Reengineering
Combining DSLs and Ontologies Using Metamodel Integration
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
OntoDSL: An Ontology-Based Framework for Domain-Specific Languages
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Modeling and Query Patterns for Process Retrieval in OWL
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Debugging unsatisfiable classes in OWL ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Finding all justifications of OWL DL entailments
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Editorial: Using ontologies with UML class-based modeling: The TwoUse approach
Data & Knowledge Engineering
Lifecycle knowledge management: getting the semantics across in X-media
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
Repairing unsatisfiable concepts in OWL ontologies
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Model transformation language MOLA
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
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
Towards semantic modeling of network physical devices
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
UML2Alloy: a challenging model transformation
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Model-based (mechanical) product design
Proceedings of the 14th international conference on Model driven engineering languages and systems
Model matching for Web Services on context dependencies
Proceedings of the 14th International Conference on Information Integration and Web-based Applications & Services
A Model Driven Approach for the Development of Semantic RESTful Web Services
Proceedings of International Conference on Information Integration and Web-based Applications & Services
Hi-index | 0.00 |
Ontologies constitute formal models of some aspect of the world that may be used for drawing interesting logical conclusions even for large models. Software models capture relevant characteristics of a software artifact to be developed, yet, most often these software models have limited formal semantics, or the underlying (often graphical) software language varies from case to case in a way that makes it hard if not impossible to fix its semantics. In this contribution, we survey the use of ontology technologies for software modeling in order to carry over advantages from ontology technologies to the software modeling domain. It will turn out that ontology-based metamodels constitute a core means for exploiting expressive ontology reasoning in the software modeling domain while remaining flexible enough to accommodate varying needs of software modelers.