A PROLOG-based approach to representing and querying software engineering models

CEUR Workshop Proceedings

Volumn 274, Issue , 2007, Pages 71-83

  Störrle, Harald ^a  

^a MGM technology partners GmbH   (Germany)

Author keywords

Industrial applications; Knowledge based software engineering (KBSE); Model Driven Development (MDD); Query view transformation (QVT)

Indexed keywords

KNOWLEDGE-BASED SOFTWARES; META MODEL; MODEL REPRESENTATION; MODEL-DRIVEN DEVELOPMENT; QUERY INTERFACES; QUERY-VIEW-TRANSFORMATION (QVT); SOFTWARE ENGINEERING MODEL; SUBMODELS;

INDUSTRIAL APPLICATIONS; KNOWLEDGE BASED SYSTEMS; QUERY LANGUAGES; SOFTWARE ENGINEERING;

VISUAL LANGUAGES;

EID: 68949092211     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)

1. Dresden OCL toolkit. http://dresden-ocl.sourceforge.net.
2. th Intl. Conf. on the Unified Modeling Language (<>'01), number 2185 in LNCS. Springer Verlag, 2001. available at tfs.cs.tu-berlin.de/vocl.
3. Ray J. A. Buhr. Practical Visual Techniques in System Design. With Applications to Ada. Prentice Hall, 1990.
4. th edition, 1995.
5. Rob Davis. Business Process Modelling with ARIS: A Practical Guide. Springer Verlag, 2001.
6. David S. Frankel. Model Driven Architecture: Applying MDA to Enterprise Computing. OMG Press, 2003.
7. Volker Gruhn and Ralf Laue. Validierung syntaktischer und anderer EPK-Eigenschaften mit PROLOG. In Markus Nüttgens, Frank J. Rump, and Jan Mendling, editors, Proc. 5. GI Ws. Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten (EPK 2006), Volume 224 of CEUR Workshop Proceedings, pages 69-85, Bonn, December 2006. Gesellschaft für Informatik.
8. Christian Hein, Tom Ritter, and Michael Wagner. Open source Library for OCL (OSLO). http://oslo-project.berlios.de/.
9. nd Working Conf. Model Driven Architecture: Foundations and Applications (MDAFA 2004), pages 12-26, 2004. available at www.ida.liu.se/~henla/mdafa2004.
10. Stuart Kent. Constraint Diagrams: Visualizing Invariants in Object-Oriented Models. In Proc. Intl. Conf. Object-Oriented Programming Object Oriented Programming, Systems, and Languages 1997 (OOPSLA'97), pages 327-341. ACM Press, 1997.
11. Jim Melton. Advanced SQL 1999: Understanding Object-Relational, and Other Advanced Features. Elsevier Science Inc., New York, NY, USA, 2002.
12. Michael Meyer and Helge Schulz. SHORE: Ein Werkzeug für übergreifende Vernetzung und Auswertung von Dokumenten. In Franz Ebert, Jürgen und Lehner, editor, Proc. Ws. Software-Reengineering. Gesellschaft für Informatik e. V. May 1999.
13. National Institute of Standards and Technologies (NIST). Integration Definition for Function Modeling. Technical report, Computer Systems Laboratory, National Institute of Standards and Technologies (NIST), 1993. available at www.omg.org/techprocess/sigs.html,
14. see also www.idef.com.
15. Jon Oldevik. UML Model Transformation Tool (UMT). Overview and user guide, v0.8. Technical report, SINTEF, 2004.
16. th, 2004.
17. th, 2007.
18. MDA Guide Version 1.0.1. Technical report, Object Management Group, June 2003. available at www.omg.org/mda, document number omg/2003-06-01.
19. Ivan Porres. A Toolkit for Model Manipulation. Intl. J. Software and Systems Modeling, 2(4), 2003.
20. st, 2004, see also umt-qvt. sourceforge.net and qvtp.org.
21. Bran Selic. The pragmatics of Model-Driven Development. IEEE Software, 20(5): 19-25 September/October 2003.
22. Daniel Speicher, Robias Rho, and Günther Kniesel. JTransformer - eine logikbasierte Infrastruktur zur Codeanalyse. In Rainer Gimnich, Volker Riediger, and Andreas Winter, editors, Proc. 9. Ws. Software-Reengineering (WSR 2007), Volume 27, pages 21-22, May 2007.
23. th Intl. Conf. Unified Modeling Language (<> '04), number 3273 in LNCS, pages 98-112. Springer Verlag, 2004. (Pubitemid 39737630)
24. Harald StÖrrle. A approach to cross-language model versioning. In Udo Kelter, editor, Proc. Ws. Versionierung und Vergleich von UML Modellen (VVUU'07). Gesellschaft für Informatik, May 2007. appeared in Softwaretechnik-Trends 2(27)2007.
25. Harald StÖrrle. A formal approach to the cross-language version management of models. In Ludwik Kuzniarz, Miroslaw Staron, and Tarja Systa, editors, Proc. Nordic Ws. Models Driven Engineering (NW-MODE'07). IT University of GÖteborg, August 2007. to appear.