Подходы к трансформации моделей проектирования информационных систем
Ключевые слова:
трансформация, правила, синтаксис, семантика, гибридный подходАннотация
Отсутствие удобных средств переиспользования моделей проектирования информационных систем обусловлено тем, что в то время как существует несколько хорошо представленных стандартов на моделирование платформенных моделей, еще нет сформировавшегося взгляда на определение трансформаций между такими моделями. В данной статье рассмотрены подходы к автоматизированному созданию новых моделей на основе уже имеющейся модели системы. Особо выделена таксономия определений для классификации подходов.Литература
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)
Approaches towards transformation of informational system’s models
Abstract
Lack of convenient methods for re-usage of informational system’s models is conditioned by the absence of standard view on transformation definition between platform models. Besides there is no general opinion concerning transformations between such models. This paper explores approaches towards semi-automatic creation of new models on the basis of existing model of system. Taxonomy of definitions of approaches for classification is shown.Опубликован
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).
