A model-driven approach for developing a model repository: Methodology and tool support

Several development approaches have been proposed to cope with the increasing complexity of embedded system design. The most widely used approaches are those using models as the main artifacts to be constructed and maintained. The desired role of models is to ease, systematize and standardize the approach to the construction of software-based systems. To enforce reuse and interconnect the process of model specification and system development with models, we promote a model-based approach coupled with a model repository. In this paper, we propose a model-driven engineering methodological approach for the development of a model repository and an operational architecture for development tools. In addition, we provide evidence of the benefits and feasibility of our approach by reporting on a preliminary prototype that provides a model-based repository of security and dependability (S&D) pattern models. Finally, we apply the proposed approach in practice to a use case from the railway domain with strong S&D requirements.

[1]  Betty H. C. Cheng,et al.  Repository for model driven development (ReMoDD) , 2006, MoDELS'06.

[2]  Ivica Crnkovic,et al.  Component-based development process and component lifecycle , 2005, 27th International Conference on Information Technology Interfaces, 2005..

[3]  Schahram Dustdar,et al.  MORSE: A Model-Aware service environment , 2009, 2009 IEEE Asia-Pacific Services Computing Conference (APSCC).

[4]  Frank Budinsky,et al.  EMF: Eclipse Modeling Framework 2.0 , 2009 .

[5]  Carsten Sapia,et al.  GraMMi: using a standard repository management system to build a generic graphical modeling tool , 2000, Proceedings of the 33rd Annual Hawaii International Conference on System Sciences.

[6]  Brahim Hamid,et al.  Towards a Unified Meta-model for Resources-Constrained Embedded Systems , 2011, 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications.

[7]  Robert B. France,et al.  Repository for Model Driven Development (ReMoDD) , 2006, 2012 34th International Conference on Software Engineering (ICSE).

[8]  Daniel Lucrédio,et al.  A Reuse Repository System: From Specification to Deployment , 2008, ICSR.

[9]  Dirk Riehle,et al.  Understanding and Using Patterns in Software Development , 1996, Theory Pract. Object Syst..

[10]  Brahim Hamid A Model-Driven Methodology Approach for Developing a Repository of Models , 2014, MEDI.

[11]  Douglas C. Schmidt,et al.  Model-Driven Engineering , 2006 .

[12]  Brahim Hamid,et al.  Towards tool support for pattern-based secure and dependable systems development , 2013, ACME@ECOOP.

[13]  Bernhard Rumpe,et al.  Domain specific modeling , 2005, Software & Systems Modeling.

[14]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.

[15]  William B. Frakes,et al.  Software reuse research: status and future , 2005, IEEE Transactions on Software Engineering.

[16]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.

[17]  Alessandro Bozzon,et al.  Graph-Based Search over Web Application Model Repositories , 2011, ICWE.

[18]  Schahram Dustdar,et al.  Reusable Architectural Decision Model for Model and Metadata Repositories , 2008, FMCO.

[19]  Ho-Jin Choi,et al.  A Representation Model for Reusable Assets to Support User Context , 2008, 2008 IEEE International Symposium on Service-Oriented System Engineering.

[20]  Umeshwar Dayal,et al.  An Overview of Repository Technology , 1994, VLDB.

[21]  Srivaths Ravi,et al.  Security in embedded systems: Design challenges , 2004, TECS.

[22]  Douglas C. Schmidt,et al.  Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.

[23]  Michael Wagner,et al.  Model-Driven Tool Integration with ModelBus , 2016 .

[24]  Aniruddha S. Gokhale,et al.  Domain-Specific Modeling , 2008, Handbook of Dynamic System Modeling.

[25]  Brahim Hamid,et al.  Security patterns modeling and formalization for pattern-based development of secure software systems , 2015, Innovations in Systems and Software Engineering.

[26]  Carsten Rudolph,et al.  On a formal framework for security properties , 2005, Comput. Stand. Interfaces.

[28]  Andreas Fuchs,et al.  Supporting Security Engineering at Design Time with Adequate Tooling , 2012, 2012 IEEE 15th International Conference on Computational Science and Engineering.

[29]  Paul W. P. J. Grefen,et al.  Business process model repositories:framework and survey , 2009 .

[30]  Brahim Hamid,et al.  Enforcing S&D pattern design in RCES with modeling and formal approaches , 2011, MODELS'11.

[31]  Brahim Hamid,et al.  Model-based security and dependability patterns in RCES: the TERESA approach , 2010, S&D4RCES '10.

[32]  Renata Pontin de Mattos Fortes,et al.  MOOGLE: A Model Search Engine , 2008, MoDELS.

[33]  Pascal Rapicault Dependency Management for the Eclipse Ecosystem , 2009 .