J. M. Almendros-Jiménez
L. Iribarne
2008
An Extension of UML for the Modeling of WIMP User Interfaces
Journal of Visual Languages and Computing, Elsevier
19
695–720
10.1016/j.jvlc.2007.12.004
J. M. Almendros-Jiménez
L. Iribarne
2009
UML Modeling of User and Database Interaction
The Computer Journal
52
3
348–367
10.1093/comjnl/bxn028
J.M. Almendros-Jiménez
2011
A Prolog library for OWL RL
Proceedings of the 4th International Workshop on Logic in Databases
ACM
49–56
10.1145/1966357.1966367
Zoltán Balogh
Dániel Varró
2009
Model Transformation by Example Using Inductive Logic Programming
Software and Systems Modeling
8
3
347–364
10.1007/s10270-008-0092-1
Alex Borgida
1996
On the relative expressiveness of Description Logics and Predicate Logics
Artificial Intelligence
82
1-2
353–367
10.1016/0004-3702(96)00004-5
Fabian Büttner
Jordi Cabot
Martin Gogolla
2011
On validation of ATL transformation rules by transformation models
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
MoDeVVa
ACM
New York, NY, USA
9:1–9:8
10.1145/2095654.2095666
J. Cabot
R. Claris
E. Guerra
J. de Lara
2010
Verification and Validation of Declarative Model-to-Model Transformations
Systems and Software
2
83
283–302
10.1016/j.jss.2009.08.012
J. Chimia-Opoka
M. Felderer
C. Lenz
C. Lange
2008
Querying UML models using OCL and Prolog: A performance study
Software Testing Verification and Validation Workshop, 2008. ICSTW'08. IEEE International Conference on
IEEE
81–88
10.1109/ICSTW.2008.33
P. Dohrmann
S. Herold
2010
Designing and Applying a Framework for Logic-Based Model Querying
Software Engineering and Advanced Applications (SEAA), 2010 36th EUROMICRO Conference on
IEEE
164–171
10.1109/SEAA.2010.21
A. Gerber
M. Lawley
K. Raymond
J. Steel
A. Wood
2002
Transformation: The Missing Link of MDA
Procs of ICGT'02
LNCS 2505, Springer
London, UK
90–105
10.1007/3-540-45832-8_9
M. Goldberg
G. Wiener
2012
A Declarative Approach for Software Modeling
Practical Aspects of Declarative Languages
Springer LNCS 7149
18–32
10.1007/978-3-642-27694-1_3
Benjamin N. Grosof
Ian Horrocks
Raphael Volz
Stefan Decker
2003
Description Logic Programs: Combining Logic Programs with Description Logic
Proc. of the International Conference on World Wide Web
ACM
USA
48–57
10.1145/775152.775160
David I. Hearnden
2007
Deltaware: Incremental Change Propagation for Automating Software Evolution in Model-Driven Architecture
Centre or Institute School of Information Tech & Elec Engineering, Univ. of Queensland
http://espace.library.uq.edu.au/view/UQ:152739
Thomas Hettel
Michael Lawley
Kerry Raymond
2009
Towards Model Round-Trip Engineering: An Abductive Approach
Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
ICMT '09
Springer-Verlag
Berlin, Heidelberg
100–115
10.1007/978-3-642-02408-5_8
Guillaume Hillairet
2007
ATL Use Case - ODM Implementation (Bridging UML and OWL)
Technical Report
http://www.eclipse.org/m2m/atl/atlTransformations/
Frédéric Jouault
Ivan Kurtev
2007
On the interoperability of model-to-model transformation languages
Sci. Comput. Program.
68
3
114–137
10.1016/j.scico.2007.05.005
Zohaib Khai
Aamer Nadeem
Gang-soo Lee
2011
A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams
Tai-hoon Kim
Hojjat Adeli
Haeng-kon Kim
Heau-jo Kang
Kyung Jung Kim
Akingbehin Kiumi
Byeong-Ho Kang
Software Engineering, Business Continuity, and Education
Communications in Computer and Information Science
257
Springer Berlin Heidelberg
85–96
10.1007/978-3-642-27207-3_10
H. Knublauch
R.W. Fergerson
N.F. Noy
M.A. Musen
2004
The Protege OWL Plugin: An Open Development Environment for Semantic Web Applications
The Semantic Web, ISWC 2004: Third International Semantic Web Conference, Hiroshima, Japan, November 7-11, 2004: proceedings
LNCS 3298
Springer-Verlag New York Inc
229–243
10.1007/978-3-540-30475-3_17
M. Lawley
J. Steel
2006
Practical Declarative Model Transformation with Tefkat
MoDELS Satellite Events
LNCS 3844, Springer
139–150
10.1007/11663430_15
Michael Lawley
Kerry Raymond
2007
Implementing a practical declarative logic-based model transformation engine
SAC'07: Proceedings of the 2007 ACM Symposium on Applied Computing
ACM
New York, NY, USA
971–977
10.1145/1244002.1244216
Boris Motik
Bernardo Cuenca Grau
Ian Horrocks
Zhe Wu
Achille Fokoue
Carsten Lutz
2009
OWL 2 Web Ontology: Reasoning in OWL 2 RL and RDF Graphs using Rules
Technical Report
http://www.w3.org
OMG
2003
MDA Spec.
Technical Report
http://www.omg.org/mda/specs.htm
OMG
2008
Model Driven Architecture
Technical Report
http://www.omg.org/cgi-bin/doc?omg/03-06-01
OMG
2008
Object Constraint Language (OCL)
Technical Report
http://www.omg.org/technology/documents/formal/ocl.htm
OMG
2009
Ontology Definition Metamodel (ODM)
Technical Report
http://www.omg.org/spec/ODM/1.0/
Bernhard Schätz
2009
Formalization and Rule-Based Transformation of EMF Ecore-Based Models
Dragan Gaševi\'c
Ralf Lämmel
Eric Wyk
Software Language Engineering
Springer-Verlag
Berlin, Heidelberg
227–244
10.1007/978-3-642-00434-6_15
H. Storrle
2007
A Prolog-based Approach to Representing and Querying UML Models
Intl. Ws. Visual Languages and Logic (VLL'07)
274
71–84
http://ceur-ws.org/Vol-274/
TopCased
2010
TopCased: The Open-source tool kit for critical systems
Technical Report
http://www.topcased.org/
Laurence Tratt
2005
Model transformations and tool integration
Software and System Modeling
4
2
112–122
10.1007/s10270-004-0070-1