Подходы к трансформации моделей проектирования информационных систем
Ключевые слова:
трансформация, правила, синтаксис, семантика, гибридный подходАннотация
Отсутствие удобных средств переиспользования моделей проектирования информационных систем обусловлено тем, что в то время как существует несколько хорошо представленных стандартов на моделирование платформенных моделей, еще нет сформировавшегося взгляда на определение трансформаций между такими моделями. В данной статье рассмотрены подходы к автоматизированному созданию новых моделей на основе уже имеющейся модели системы. Особо выделена таксономия определений для классификации подходов.Литература
Agrawal A., Karsai G., Shi F. Graph Transformations on Domain-Specific Models // Journal on Software and Systems Modeling, 2003. URL: http://atlanmod.emn.fr/www/papers/ext/Agrawal_A_11_0_2003_Graph_Tran.pdf (дата обращения: 10.10.2011)
Akehurst D. H., Kent S. A Relational Approach to Defining Transformations in a Metamodel // J.-M. Jézéquel, H. Hussmann, S. Cook (Eds.): UML 2002 – The Unified Modeling Language 5th International Conference, Dresden, Germany, September 30 –October 4, 2002. Proceedings, LNCS 2460, pp. 243–258, 2002
Andries M., Engels G., Habel A., Hoffmann B., Kreowski H.-J., Kuske S., Kuske D., Plump D., Schürr A., Taentzer G. Graph Transformation for Specification and Programming // Technical Report 7/96, Universität Bremen, 1996, URL: http://citeseer.nj.nec.com/article/andries96graph.html (дата обращения: 10.10.2011)
AndroMDA 2.0.3.URL: http://www.andromda.org (дата обращения: 10.10.2011)
ArcStyler4.0.URL: http://www.arcstyler.com (дата обращения: 10.10.2011)
AST+ Alcatel, Softeam, Thales, TNI-Valiosys, Codagen Corporation // MOF Query/Views/Transformations, Revised Submission. OMG Document: ad/03-08-05. URL: http://www.omg.org/cgi-bin/doc?ad/03-08-05 (дата обращения: 10.10.2011)
ATOM3 A Tool for Multi-Paradigm modeling // URL: http://atom3.cs.mcgill.ca (дата обращения: 10.10.2011)
b+m ArchitectureWare, Generator Framework // OOPSLA’03 Workshop on Generative Techniques in the Context of Model-Driven Architecture. URL: http://www.architectureware.de (дата обращения: 10.10.2011)
Bézivin J., Dupé G., Jouault F., Rougui J. E. First experiments with the ATL model transformation language: Transforming XSLT into XQuery // In the online proceedings of the OOPSLA’03 Workshop on Generative Techniques in the Context of the MDA, URL: http://www.softmetaware.com/oopsla2003/mda-workshop.html (дата обращения: 10.10.2011)
Braun P., Marschall F. The Bi-directional Object-Oriented Transformation Language // Technical Report, Technische Universität München, TUM-I0307, May 2003. URL: http://wwwbroy.in.tum.de/publ/papers/TUM-I0307.pdf (дата обращения: 10.10.2011)
CDI CBOP, DSTC, and IBM // MOF Query/Views/Transformations, Revised Submission. OMG Document: ad/03-08-03. URL: http://www.omg.org/cgi-bin/doc?ad/03-08-03 (дата обращения: 10.10.2011)
Cleaveland C. Program Generators with XML and Java // Prentice-Hall, 2001, URL: http://www.craigc.com/pg (дата обращения: 10.10.2011)
Codagen Architect. URL: http://www.codagen.com/products/architect/default.htm (дата обращения: 10.10.2011)
CS Compuware Corporation and Sun Microsystems // MOF Query/Views/Transformations, Revised Submission. OMG Document: ad/03-08-07. URL: http://www.omg.org/cgi-bin/doc?ad/03-08-07 (дата обращения: 10.10.2011)
Czarnecki K, Helsen S. Classification of Model Transformation Approaches // Proceedings of the OOPSLA'03 Workshop on the Generative Techniques in the Context Of Model-Driven Architecture, Anaheim, California, USA, 2003. URL: http://www.swen.uwaterloo.ca/~kczarnec/ECE750T7/czarnecki_helsen.pdf (дата обращения: 10.10.2011)
Czarnecki K. Domain Engineering // Chapter in the Wiley Software Engineering Encyclopedia, Second Edition, John Marciniak, (Eds.), Wiley and Sons, Inc., February 2002, pp. 433–444
Czarnecki K. Generative Programming: Principles and Techniques of Software Engineering Based on Automated Configuration and Fragment-Based Component Models // Ph.D. Thesis, Computer Science Department, Technical University of Ilmanau, Ilmanau, Germany, 1998, URL: http://www.prakinf.tuilmenau.de/~czarn/diss (дата обращения: 10.10.2011)
FUUT-je // hosted at the Eclipse Generative Model Transformer (GMT) project website, URL: http://dev.eclipse.org/viewcvs/indextech.cgi/~checkout~/gmthome/download/index.html (дата обращения: 10.10.2011)
Gerber A., Lawley M., Raymond K., Steel J., Wood A. Transformation: The Missing Link of MDA // Graph Transformation: First International Conference (ICGT 2002), Barcelona, Spain, October 7–12, 2002. Proceedings. LNCS vol. 2505, Springer-Verlag, 2002, pp. 90–105
IOPT Interactive Objects and Project Technology // MOF Query/Views/Transformations, Revised Submission. OMG Document: ad/03-08-13. URL: http://www.omg.org/cgi-bin/doc.ad/03-08-13 (дата обращения: 10.10.2011)
Jamda The Java Model Driven Architecture 0.2 // May 2003, OOPSLA’03 Workshop on Generative Techniques in the Context of Model-Driven Architecture 17. URL: http://sourceforge.net/projects/jamda (дата обращения: 10.10.2011)
JMI Java Metadata Interface 1.0.URL: http://java.sun.com/products/jmi (дата обращения: 10.10.2011)
Kang K., Cohen S., Hess J., Nowak W., Peterson S. Feature-Oriented Domain Analysis (FODA) // Feasibility Study. Technical Report, CMU/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, November 1990. URL: http://www.sei.cmu.edu/reports/90tr021.pdf (дата обращения: 10.10.2011)
Marschall F., Braun P. Model Transformations for the MDA with BOTL // CTIT Technical Report TR-CTIT-03-27, Enschede, The Netherlands, University of Twente (2003) pp. 25–36
Mens T., Czarnecki K., Gorp P. A Taxonomy of Model Transformations // Dagstuhl Seminar Proceedings 04101. 2005. URL: http://drops.dagstuhl.de/opus/volltexte/2005/11 (дата обращения: 10.10.2011)
MetaML // URL: http://www.cse.ogi.edu/PacSoft/projects/metaml (дата обращения: 10.10.2011)
MetaOcamlMeta Objective-Caml.URL: http://www.cs.rice.edu/~taha/MetaOCaml (дата обращения: 10.10.2011)
MOF Meta Object Facility 1.4 // OMG Document: formal/02-04-03. URL: http://www.omg.org/cgi-bin/doc?ad/02-04-03 (дата обращения: 10.10.2011)
OCL The Object Constraint Language Specification 2.0, OMG Document: ad/03-01-07URL: http://www.omg.org/cgi-bin/doc?ad/03-01-07 (дата обращения: 10.10.2011)
OptimalJ 3.0. URL: http://www.compuware.com/products/optimalj (дата обращения: 10.10.2011)
QVT Query/Views/Transformations RFP // MOF 2.0 OMG Document: ad/2002-04-10, revised on April 24, 2002. URL: http://www.omg.org/spec/QVT (дата обращения: 10.10.2011)
QVT-Partners MOF Query/Views/Transformations // Revised Submission. OMG Document: ad/2003-08-08. URL: http://www.omg.org/cgi-bin/doc.ad/03-08-08 (дата обращения: 10.10.2011)
STR Strategies for Program Transformation.URL: http://www.stratego-language.org (дата обращения: 10.10.2011)
UML Action Action Semantics for the UML // Object Management Group, 2001. ad/2001-08-04. URL: http://www.omg.org/cgi-bin/doc?ad/01-08-04 (дата обращения: 10.10.2011)
UML Unified Modeling Language // Object Management Group. URL: http://www.uml.org (дата обращения: 10.10.2011)
Varro D., Varro G., Pataricza A. Designing the automatic transformation of visual languages // Science of Computer Programming, vol. 44(2):pp. 205–227, 2002
Velocity 1.3.1 // The Apache Jakarta Project, March 2003, URL: http://jakarta.apache.org/velocity (дата обращения: 10.10.2011)
XDERationalXDE.URL: http://www.rational.com/products/xde (дата обращения: 10.10.2011)
XDoclet Attribute Oriented Programming.URL: http://xdoclet.sourceforge.net (дата обращения: 10.10.2011)
XPath XML Path Language Version 1.0 // W3C, November 1999, URL: http://www.w3.org/TR/xpath (дата обращения: 10.10.2011)
Akehurst D. H., Kent S. A Relational Approach to Defining Transformations in a Metamodel // J.-M. Jézéquel, H. Hussmann, S. Cook (Eds.): UML 2002 – The Unified Modeling Language 5th International Conference, Dresden, Germany, September 30 –October 4, 2002. Proceedings, LNCS 2460, pp. 243–258, 2002
Andries M., Engels G., Habel A., Hoffmann B., Kreowski H.-J., Kuske S., Kuske D., Plump D., Schürr A., Taentzer G. Graph Transformation for Specification and Programming // Technical Report 7/96, Universität Bremen, 1996, URL: http://citeseer.nj.nec.com/article/andries96graph.html (дата обращения: 10.10.2011)
AndroMDA 2.0.3.URL: http://www.andromda.org (дата обращения: 10.10.2011)
ArcStyler4.0.URL: http://www.arcstyler.com (дата обращения: 10.10.2011)
AST+ Alcatel, Softeam, Thales, TNI-Valiosys, Codagen Corporation // MOF Query/Views/Transformations, Revised Submission. OMG Document: ad/03-08-05. URL: http://www.omg.org/cgi-bin/doc?ad/03-08-05 (дата обращения: 10.10.2011)
ATOM3 A Tool for Multi-Paradigm modeling // URL: http://atom3.cs.mcgill.ca (дата обращения: 10.10.2011)
b+m ArchitectureWare, Generator Framework // OOPSLA’03 Workshop on Generative Techniques in the Context of Model-Driven Architecture. URL: http://www.architectureware.de (дата обращения: 10.10.2011)
Bézivin J., Dupé G., Jouault F., Rougui J. E. First experiments with the ATL model transformation language: Transforming XSLT into XQuery // In the online proceedings of the OOPSLA’03 Workshop on Generative Techniques in the Context of the MDA, URL: http://www.softmetaware.com/oopsla2003/mda-workshop.html (дата обращения: 10.10.2011)
Braun P., Marschall F. The Bi-directional Object-Oriented Transformation Language // Technical Report, Technische Universität München, TUM-I0307, May 2003. URL: http://wwwbroy.in.tum.de/publ/papers/TUM-I0307.pdf (дата обращения: 10.10.2011)
CDI CBOP, DSTC, and IBM // MOF Query/Views/Transformations, Revised Submission. OMG Document: ad/03-08-03. URL: http://www.omg.org/cgi-bin/doc?ad/03-08-03 (дата обращения: 10.10.2011)
Cleaveland C. Program Generators with XML and Java // Prentice-Hall, 2001, URL: http://www.craigc.com/pg (дата обращения: 10.10.2011)
Codagen Architect. URL: http://www.codagen.com/products/architect/default.htm (дата обращения: 10.10.2011)
CS Compuware Corporation and Sun Microsystems // MOF Query/Views/Transformations, Revised Submission. OMG Document: ad/03-08-07. URL: http://www.omg.org/cgi-bin/doc?ad/03-08-07 (дата обращения: 10.10.2011)
Czarnecki K, Helsen S. Classification of Model Transformation Approaches // Proceedings of the OOPSLA'03 Workshop on the Generative Techniques in the Context Of Model-Driven Architecture, Anaheim, California, USA, 2003. URL: http://www.swen.uwaterloo.ca/~kczarnec/ECE750T7/czarnecki_helsen.pdf (дата обращения: 10.10.2011)
Czarnecki K. Domain Engineering // Chapter in the Wiley Software Engineering Encyclopedia, Second Edition, John Marciniak, (Eds.), Wiley and Sons, Inc., February 2002, pp. 433–444
Czarnecki K. Generative Programming: Principles and Techniques of Software Engineering Based on Automated Configuration and Fragment-Based Component Models // Ph.D. Thesis, Computer Science Department, Technical University of Ilmanau, Ilmanau, Germany, 1998, URL: http://www.prakinf.tuilmenau.de/~czarn/diss (дата обращения: 10.10.2011)
FUUT-je // hosted at the Eclipse Generative Model Transformer (GMT) project website, URL: http://dev.eclipse.org/viewcvs/indextech.cgi/~checkout~/gmthome/download/index.html (дата обращения: 10.10.2011)
Gerber A., Lawley M., Raymond K., Steel J., Wood A. Transformation: The Missing Link of MDA // Graph Transformation: First International Conference (ICGT 2002), Barcelona, Spain, October 7–12, 2002. Proceedings. LNCS vol. 2505, Springer-Verlag, 2002, pp. 90–105
IOPT Interactive Objects and Project Technology // MOF Query/Views/Transformations, Revised Submission. OMG Document: ad/03-08-13. URL: http://www.omg.org/cgi-bin/doc.ad/03-08-13 (дата обращения: 10.10.2011)
Jamda The Java Model Driven Architecture 0.2 // May 2003, OOPSLA’03 Workshop on Generative Techniques in the Context of Model-Driven Architecture 17. URL: http://sourceforge.net/projects/jamda (дата обращения: 10.10.2011)
JMI Java Metadata Interface 1.0.URL: http://java.sun.com/products/jmi (дата обращения: 10.10.2011)
Kang K., Cohen S., Hess J., Nowak W., Peterson S. Feature-Oriented Domain Analysis (FODA) // Feasibility Study. Technical Report, CMU/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, November 1990. URL: http://www.sei.cmu.edu/reports/90tr021.pdf (дата обращения: 10.10.2011)
Marschall F., Braun P. Model Transformations for the MDA with BOTL // CTIT Technical Report TR-CTIT-03-27, Enschede, The Netherlands, University of Twente (2003) pp. 25–36
Mens T., Czarnecki K., Gorp P. A Taxonomy of Model Transformations // Dagstuhl Seminar Proceedings 04101. 2005. URL: http://drops.dagstuhl.de/opus/volltexte/2005/11 (дата обращения: 10.10.2011)
MetaML // URL: http://www.cse.ogi.edu/PacSoft/projects/metaml (дата обращения: 10.10.2011)
MetaOcamlMeta Objective-Caml.URL: http://www.cs.rice.edu/~taha/MetaOCaml (дата обращения: 10.10.2011)
MOF Meta Object Facility 1.4 // OMG Document: formal/02-04-03. URL: http://www.omg.org/cgi-bin/doc?ad/02-04-03 (дата обращения: 10.10.2011)
OCL The Object Constraint Language Specification 2.0, OMG Document: ad/03-01-07URL: http://www.omg.org/cgi-bin/doc?ad/03-01-07 (дата обращения: 10.10.2011)
OptimalJ 3.0. URL: http://www.compuware.com/products/optimalj (дата обращения: 10.10.2011)
QVT Query/Views/Transformations RFP // MOF 2.0 OMG Document: ad/2002-04-10, revised on April 24, 2002. URL: http://www.omg.org/spec/QVT (дата обращения: 10.10.2011)
QVT-Partners MOF Query/Views/Transformations // Revised Submission. OMG Document: ad/2003-08-08. URL: http://www.omg.org/cgi-bin/doc.ad/03-08-08 (дата обращения: 10.10.2011)
STR Strategies for Program Transformation.URL: http://www.stratego-language.org (дата обращения: 10.10.2011)
UML Action Action Semantics for the UML // Object Management Group, 2001. ad/2001-08-04. URL: http://www.omg.org/cgi-bin/doc?ad/01-08-04 (дата обращения: 10.10.2011)
UML Unified Modeling Language // Object Management Group. URL: http://www.uml.org (дата обращения: 10.10.2011)
Varro D., Varro G., Pataricza A. Designing the automatic transformation of visual languages // Science of Computer Programming, vol. 44(2):pp. 205–227, 2002
Velocity 1.3.1 // The Apache Jakarta Project, March 2003, URL: http://jakarta.apache.org/velocity (дата обращения: 10.10.2011)
XDERationalXDE.URL: http://www.rational.com/products/xde (дата обращения: 10.10.2011)
XDoclet Attribute Oriented Programming.URL: http://xdoclet.sourceforge.net (дата обращения: 10.10.2011)
XPath XML Path Language Version 1.0 // W3C, November 1999, URL: http://www.w3.org/TR/xpath (дата обращения: 10.10.2011)
Опубликован
2012-06-01
Как цитировать
Атисков, А. Ю. (2012). Подходы к трансформации моделей проектирования информационных систем. Труды СПИИРАН, 2(21), 184-202. https://doi.org/10.15622/sp.21.12
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
