CFP last date
20 May 2024
Reseach Article

Modeling Theories and Model Transformation Scenario for Complex System Development

by M.R. Dube, S. K. Dixit
International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 38 - Number 7
Year of Publication: 2012
Authors: M.R. Dube, S. K. Dixit
10.5120/4698-6847

M.R. Dube, S. K. Dixit . Modeling Theories and Model Transformation Scenario for Complex System Development. International Journal of Computer Applications. 38, 7 ( January 2012), 11-18. DOI=10.5120/4698-6847

@article{ 10.5120/4698-6847,
author = { M.R. Dube, S. K. Dixit },
title = { Modeling Theories and Model Transformation Scenario for Complex System Development },
journal = { International Journal of Computer Applications },
issue_date = { January 2012 },
volume = { 38 },
number = { 7 },
month = { January },
year = { 2012 },
issn = { 0975-8887 },
pages = { 11-18 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume38/number7/4698-6847/ },
doi = { 10.5120/4698-6847 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-06T20:24:54.686035+05:30
%A M.R. Dube
%A S. K. Dixit
%T Modeling Theories and Model Transformation Scenario for Complex System Development
%J International Journal of Computer Applications
%@ 0975-8887
%V 38
%N 7
%P 11-18
%D 2012
%I Foundation of Computer Science (FCS), NY, USA
Abstract

In 2003, the Object Management Group (OMG) officially introduced the Model-Driven Architecture (MDA). The specification explains how different OMG standards could be used together. MDA focuses on the concepts of Platform Independent Models and Platform Specific Models, two viewpoints on software systems, and how mappings between these two can be made in order to streamline software development. Through this approach, the functional specification of the system and the implementation specification are separated, allowing for better reuse and portability. An important technique used in MDE is model transformation. A model transformation is a process of automatic generation of a target model from a source model, according to a transformation definition, which is expressed in a model transformation language. This paper focuses on model engineering terminology and theory of model generation. The paper describes overall MDA scenario and emphasizes on model transformation. As model transformation is an important area in model driven development, we have compared various techniques available for model transformation. The paper also focuses on model theory and model composition techniques used for model weaving. In 2003, the Object Management Group (OMG) officially introduced the Model-Driven Architecture (MDA). The specification explains how different OMG standards could be used together. MDA focuses on the concepts of Platform Independent Models and Platform Specific Models, two viewpoints on software systems, and how mappings between these two can be made in order to streamline software development. Through this approach, the functional specification of the system and the implementation specification are separated, allowing for better reuse and portability. An important technique used in MDE is model transformation. A model transformation is a process of automatic generation of a target model from a source model, according to a transformation definition, which is expressed in a model transformation language. This paper focuses on model engineering terminology and theory of model generation. The paper describes overall MDA scenario and emphasizes on model transformation. As model transformation is an important area in model driven development, we have compared various techniques available for model transformation. The paper also focuses on model theory and model composition techniques used for model weaving.

References
  1. Seidewitz, E., What models means, IEEE Soft. 20(5), 26–32 (2003)
  2. Selic, B, The pragmatics of model-driven development, IEEE Software 20(5), 19–25 (2003)
  3. Barbero M, Jouault F, Bézivin J (2008) Model driven manage¬ment of complex systems: implementing the macroscope’s vision. In: Proceedings of the 15th annual IEEE international conference and workshop on engineering of computer based systems (ECBS 2008), 31 March–4 April 2008. IEEE Computer Society, Belfast, pp 277–286
  4. OMG, UML 2.0 Superstructure Specification, August 2005. Document formal/05-07-04. Available at http://www.omg.org/
  5. OMG, Meta Object Facility (MOF) Core Specification, version 2.0, January 2006, Document formal/06-01-01, Available at http://www.omg.org/
  6. OMG, UML 2.0 Infrastructure Specification, March 2006, Document formal/05-07-05, Available at http://www.omg.org/
  7. L. Tratt, Model transformations and tool integration," Software and Systems Modeling, vol. 4, no. 2, pp. 112
  8. L. Tratt. Model transformations and tool integration. Journal of Software and Systems Modeling, 4(2):112–122, May 2005.
  9. T. Mens and P. Van Gorp, \A taxonomy of model transformation," Electr. Notes Theor. Comput. Sci, vol. 152, pp. 125-142, 2006.
  10. OMG Architecture Board, Model driven architecture—A technical perspective, OMG Document ormsc:01-07-01. Available at www.omg.org
  11. OMG, MOF 2.0 query/views/transformations RFP, OMG Document ad/02-04-10, Available at www.omg.org
  12. OMG, OMG meta-object facility (MOF), OMG Document formal/01-11-02, Available at www.omg.org
  13. Mellor, S.J., Scott, K., Uhl, A., Weise, D., MDA Distilled: Principle of Model Driven Architecture. Addison-Wesley, Reading (2004)
  14. Kent, S., Model driven engineering. In Proceedings of IFM International Formal Methods 2002, vol. 2335, Lecture Notes in Computer Science. Springer, Berlin Heidelberg New York (2002)
  15. Czarnecki, K., Helsen, S., Classification of model transformation approaches. In: Proceedings of the 2nd OOPSLA Workshop on Generative Techniques in the Context of the Model Driven Architecture, Anaheim (2003)
  16. Mens, T., Demeyer, S., Janssens, D., Formalizing behavior preserving program transformations, In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) Proceedings Graph Transformation—First International Conference, ICGT 2002, Barcelona, Spain, vol. 2505, Lecture Notes in Computer Science, Springer, Berlin Heidelberg New York (2002)
  17. Van Der Straeten, R., Jonckers, V., Mens, T., Supporting model refactoring through behavior inheritance consistencies, In: BaarT., et al (eds.) UML 2004—The Unified Modeling Language, Model Languages and Applications, 7th International Conference, Lisbon, Portugal, vol. 3273, Lecture Notes in Computer Science, Springer, Berlin Heidelberg New York (2004)
  18. Bézivin J (2005), On the unification power of models. Software System Model (SoSym) 4(2): 171–188
  19. Jouault F, Kurtev I (2006), On the architectural alignment of ATL and QVT. In: Proceedings of the 2006ACMsymposium on applied computing (SAC 06), ACM, Dijon, pp 1188–1195
  20. Balogh, A., Németh, A., Schmidt, A., Ráth, I., Vágó, D., Varró, D., Pataricza, A.: The VIATRA2 model transformation framework, In: Proceedings of ECMDA 2005—Tools Track, 2005
  21. B´ezivin J, Lemesle R (2000), Some Initial Considerations on the Layered Organization of Metamodels, In: SCI 2000/ISAS 2000, International Conference on Information Systems, Analysis and Synthesis, vol IX, Orlando, August 2000
  22. L. Tratt. The MT model transformation language. In Proc. ACM Symposium on Applied Computing, pages 1296–1303, April 2006.
  23. Amelunxen C, Königs A, Rötschke T, Schürr A (2006), MOFLON: A standard-compliant metamodeling framework with graph transformations, In: Rensink A, Warmer J (eds) Model driven architecture—foundations and applications: second European conference, ECMDA-FA 2006. Lecture notes in computer science, Vol. 4066. Springer, Bilbao, pp 361–375
  24. Bézivin J, Jouault F, Rosenthal P, Valduriez P (2005), Modeling in the large and modeling in the small. In: Model driven architecture, European MDA workshops: foundations and applications, MDAFA 2003 and MDAFA 2004. Lecture notes in computer science, Vol. 3599. Twente, The Netherlands, pp 33–46
  25. M. D. Del Fabro and P. Valduriez, Semi-automatic model integration using matching transformations and weaving models," in SAC '07:Proceedings of the 2007 ACM symposium on Applied computing. New York, NY, USA: ACM Press, 2007, pp. 963-970.
Index Terms

Computer Science
Information Sciences

Keywords

MDA PIM PSM Model Transformation