Content Based Model Transformations: Solutions to Existing Issues with Application in Information Security

Justinas Janulevicius, Simona Ramanauskaite, Nikolaj Goranin, Antanas Cenys

Abstract


Model-Driven Engineering uses models in various stages of the software engineering. To reduce the cost of modelling and production, models are reused by transforming. Therefore the accuracy of model transformations plays a key role in ensuring the quality of the process. However, problems exist when trying to transform a very abstract and content dependent model. This paper describes the issues arising from such transformations. Solutions to solve problems in content based model transformation are proposed as well. The usage of proposed solutions allowing realization of semi-automatic transformations was integrated into a tool, designed for OPC/XML drawing file transformations to CySeMoL models. The accuracy of transformations in this tool has been analyzed and presented in this paper to acquire data on the proposed solutions influence to the accuracy in content based model transformation.

Keywords


Cyber Security Modeling Language; Model Transformation; Model Driven Engineering

Full Text:

PDF

References


L. Levi, M. Amrani, J. Dingel, L. Lambers, R. Salay, G. M. K. Selim, E. Syriani and M. Wimmer (2014), Model Transformation Intents and their Properties, Software Systems & Modeling, 1-38.

L. M. Rose, M. Hermannsdoerfer, S. Mazanek, P. V. Gorp, S. Buchwald, T. Horn and E. Kalnina (2014), Graph and Model Transformation Tools for Model Migration, Software & Systems Modeling, 13(1): 323-359.
http://dx.doi.org/10.1007/s10270-012-0245-0

G. M. K. Selim, S. Wang, J. R. Cordy and J. Dingel (2012), Model Transformations for Migrating Legacy Models: An Industrial Case Study, ECMFA, LNCS 7349, 90-101.
http://dx.doi.org/10.1007/978-3-642-31491-9_9

S. Sen, N. Moha, V. Mahe, O. Barais, B. Baudry, J. M. Jezequel (2012), Reusable Model Transformations, Software & Systems Modeling, 11(1): 111-125.
http://dx.doi.org/10.1007/s10270-010-0181-9

L. Lambers, S. Hildebrandt, H. Giese and F. Orejas (2012), Attribute Handling for Bidirectional Model Transformations: the Triple Graph Grammar Case, Electronic Communications of the EASST, 49: 1-16.

D. Basin, M. Clavel and M. Egea (2011), A Decade of Model-driven Security, SACMAT11 Proceedings of the 16th ACM symposium on Access control models and technologies, 1-16.

A. D. Brucker, J. Doser and B.Wolff (2006), A Model Transformation Semantics and Analysis Methodology for SecureUML, Lecture notes in computer science, Berlin, Springer, 306-320.
http://dx.doi.org/10.1007/11880240_22

R. Matulevicius and M. Dumas (2011), Towards Model Transformation Between SecureUML and UMLsec for Role-based Access Control, Databases and Information Systems, 6: 1-14.

S. Friedenthal, A. Moore and R. Steiner (2014), A Practical Guide to SysML, Waltham: Elsevier, 2014.

M. Chinosi and A. Trombetta (2012), BPMN: An introduction to the standard, Computer Standards & Interfaces, 34: 124-134.
http://dx.doi.org/10.1016/j.csi.2011.06.002

L. Lemaire and J. Lapon (2014), A SysML Extension for Security Analysis of Industrial Control Systems, 2nd International Symposium for ICS & SCADA Cyber Security Research 2014 (ICS-CSR 2014),1-9.

E. C. Andrade, M. Alves, R. Matos, B. Silva and P. Maciel (2013), OpenMADS: An Open Source Tool for Modeling and Analysis of Distributed Systems, Computer Safety, Reliability, and Security, Lecture Notes in Computer Science, 8153: 277-284.
http://dx.doi.org/10.1007/978-3-642-40793-2_25

T. Sommestad, M. Ekstedt and H. Holm (2013), The Cyber Security Modeling Language: A Tool for Assessing the Vulnerability of Enterprise System Architectures, Systems Journal, 7: 363-373.
http://dx.doi.org/10.1109/JSYST.2012.2221853

M. Biehl (2010), Literature study on model transformations, Royal Institute of Technology, Stockholm, 2010.

K. Czarnecki and S. Helsen (2003), Classification of model transformation approaches, 2nd OOPSLA Workshop on Generative Techniques in the Context of the Model Driven Architecture, 2003.

P. A. Bernstein and S. Melnik (2007), Model Management 2.0: Manipulating Richer Mappings, SIGMOD07, Proceedings of the 2007 ACM SIGMOD international conference on Management of data, 1-12.
http://dx.doi.org/10.1145/1247480.1247482

T. Frisendal (2012), Business Concept Mapping, Concept Maps: Theory, Methodology, Technology Proc. of the Fifth Int. Conference on Concept Mapping, 1-4.

B. Ganter and R. Wille (2012), Formal Concept Analysis: Mathematical Foundations, Berlin: Springer Science & Business Media, 2012.

T. Mens and P. V. Gorp (2015), A Taxonomy of Model Transformation, Electronic Notes in Theoretical Computer Science, 152: 125-142.
http://dx.doi.org/10.1016/j.entcs.2005.10.021

K. Czarnecki and S. Helsen (2006), Feature-Based Survey of Model Transformation Approaches, IBM Syst. J., 45(3): 621-645.
http://dx.doi.org/10.1147/sj.453.0621

G. Besova, D. Steenken, and H. Wehrheim (2015), Grammar-based model transformations, Comput. Lang. Syst. Struct., 43(C): 116-138.

H. Saada, X. Dolques, M. Huchard, C. Nebut and H. Sahraoui (2012), Generation of operational transformation rules from examples of model transformations, Model Driven Engineering Languages and Systems. Lecture Notes in Computer Science, 7590: 546-561.
http://dx.doi.org/10.1007/978-3-642-33666-9_35

M. Wimmer, M. Strommer, H. Kargl and G Kramler (2007), Towards Model Transformation Generation By-Example, HICSS 2007, 40th Annual Hawaii International Conference on System Sciences, 285b.

G. Kappel, P. Langer, W. Retschitzegger, W. Schwinge and M. Wimmer (2012), Model Transformation By-Example: A Survey of the First Wave, Conceptual Modelling and Its Theoretical Foundations, 197-215.

D. Varro (2006), Model Transformation by Example, Model Driven Engineering Languages and Systems, 410-424.

P. Arora and T. Bhalla (2014), A Synonym Based Approach of Data Mining in Search Engine Optimization, International Journal of Computer Trends and Technology (IJCTT), 12(4): 201-205.
http://dx.doi.org/10.14445/22312803/IJCTT-V12P140

B. Ma, Z. Dongsong, Z. Yan and T. Kim (2013), An LDA and Synonym Lexicon Based Approach to Product Feature Extraction from Online Consumer Product Review, Journal of Electronic Commerce Research, 14(4): 304-314

Y. Chang, S. Saito and M. Nakajima (2005), Example-based color transformation for image and video, Proceedings of the 3rd international conference on Computer graphics and interactive techniques in Australasia and South East Asia (GRAPHITE05). ACM, New York, NY, USA, 347-353.
http://dx.doi.org/10.1145/1101389.1101459

R. Singh and S. Gulwani (2012), Learning semantic string transformations from examples, Proc. VLDB Endow., 5(87): 740-751.
http://dx.doi.org/10.14778/2212351.2212356

International Organization for Standartization (2012), ISO 29500-2:2012 Information technology - Document description and processing languages - Office Open XML File Formats - Part 2: Open Packaging Conventions. Third Edition, Geneva: International Organization for Standartization.

F. Hermann, H. Ehrig, F. Orejas and U. Golas (2010), Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars, Graph Transformations, Berlin, Springer, 155-170.
http://dx.doi.org/10.1007/978-3-642-15928-2_11




DOI: https://doi.org/10.15837/ijccc.2016.2.2021



Copyright (c) 2017 Justinas Janulevicius, Simona Ramanauskaite, Nikolaj Goranin, Antanas Cenys

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.

CC-BY-NC  License for Website User

Articles published in IJCCC user license are protected by copyright.

Users can access, download, copy, translate the IJCCC articles for non-commercial purposes provided that users, but cannot redistribute, display or adapt:

  • Cite the article using an appropriate bibliographic citation: author(s), article title, journal, volume, issue, page numbers, year of publication, DOI, and the link to the definitive published version on IJCCC website;
  • Maintain the integrity of the IJCCC article;
  • Retain the copyright notices and links to these terms and conditions so it is clear to other users what can and what cannot be done with the  article;
  • Ensure that, for any content in the IJCCC article that is identified as belonging to a third party, any re-use complies with the copyright policies of that third party;
  • Any translations must prominently display the statement: "This is an unofficial translation of an article that appeared in IJCCC. Agora University  has not endorsed this translation."

This is a non commercial license where the use of published articles for commercial purposes is forbiden. 

Commercial purposes include: 

  • Copying or downloading IJCCC articles, or linking to such postings, for further redistribution, sale or licensing, for a fee;
  • Copying, downloading or posting by a site or service that incorporates advertising with such content;
  • The inclusion or incorporation of article content in other works or services (other than normal quotations with an appropriate citation) that is then available for sale or licensing, for a fee;
  • Use of IJCCC articles or article content (other than normal quotations with appropriate citation) by for-profit organizations for promotional purposes, whether for a fee or otherwise;
  • Use for the purposes of monetary reward by means of sale, resale, license, loan, transfer or other form of commercial exploitation;

    The licensor cannot revoke these freedoms as long as you follow the license terms.

[End of CC-BY-NC  License for Website User]


INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL (IJCCC), With Emphasis on the Integration of Three Technologies (C & C & C),  ISSN 1841-9836.

IJCCC was founded in 2006,  at Agora University, by  Ioan DZITAC (Editor-in-Chief),  Florin Gheorghe FILIP (Editor-in-Chief), and  Misu-Jan MANOLESCU (Managing Editor).

Ethics: This journal is a member of, and subscribes to the principles of, the Committee on Publication Ethics (COPE).

Ioan  DZITAC (Editor-in-Chief) at COPE European Seminar, Bruxelles, 2015:

IJCCC is covered/indexed/abstracted in Science Citation Index Expanded (since vol.1(S),  2006); JCR2018: IF=1.585..

IJCCC is indexed in Scopus from 2008 (CiteScore2018 = 1.56):

Nomination by Elsevier for Journal Excellence Award Romania 2015 (SNIP2014 = 1.029): Elsevier/ Scopus

IJCCC was nominated by Elsevier for Journal Excellence Award - "Scopus Awards Romania 2015" (SNIP2014 = 1.029).

IJCCC is in Top 3 of 157 Romanian journals indexed by Scopus (in all fields) and No.1 in Computer Science field by Elsevier/ Scopus.

 

 Impact Factor in JCR2018 (Clarivate Analytics/SCI Expanded/ISI Web of Science): IF=1.585 (Q3). Scopus: CiteScore2018=1.56 (Q2); Editors-in-Chief: Ioan DZITAC & Florin Gheorghe FILIP.