Model-Driven Engineering

Perez, J. et al. 2007. Model Driven Engineering Aplicado a Business Process Management. Informe Tecnico UCLM-TSI-002. 

Keywords Formal Models, Reliability, Model Driven Engineering. 

Model-Driven Engineering (MDE) methods and techniques try to solve this problem by facilitating definition, composition, implementation and verification... 

This work describes some of the results obtained during the investigation of research activities performed by The Second University of Naples in CRYSTAL project. In particular, we will describe the MetaMORP(h)OSY Model Driven Engineering Framework that copes with several goals of CRYSTAL project. 

Hutchinson, J., Rouncefield, M., Whittle, J. Model-driven engineering practices in industry. In 2011 33rd International Conference on Software Engineering (ICSE), pp. 633 42 (May 2011)... 

Moscato, F., Martino, B.D., Aversa, R. Enabling model driven engineering of cloud services by using mosaic ontology. Scalable Computing Practice and Experience 13(1) (2012)... 

Gascuena, J.M., Navarro, E., Fernandez-CabaJlero, A. Model-driven engineering techniques for the development of multi-agent systems. Engineering AppHcations of Artificial Intelligence 25(1), 159-173 (2012)... 

Farines, J., De Queiroz, M., da Rocha, V., Carpes, A., Vernadat, F., Cregut, X. A model-driven engineering approach to formal verification of pic programs. In 2011 IEEE 16th Conference on Emerging Technologies Factory Automation (ETFA),... 

Panesar-Walawege, R.K., Sabetzadeh, M., Briand, L. Supporting the verification of compliance to safety standards via model-driven engineering Approach, tool-support and empirical validation. Information and Software Technology 55(5), 836-864 (2013)... 

Keywords Functional Testing, Railway Control System, Model-Based System Testing, Model Driven Engineering, Test Case Generation. 

In safety-critical domains, safety assurance is usually costly and time-consuming due to the amount of manual work involved. Model-driven engineering techniques could be used to reduce the high costs for safety assurance [5 [6] [8]. Different models are created for different applications in those domains. Moreover, metamodels that are used to express those models could be different. Consequently, reusing those models from one context to another is a big challenge. 

Marburger, A. Westfechtel, B. (2010). Graph-based structural analysis for telecommunication systems, Graph transformations and model-driven engineering, Vol. 5765 of Lecture Notes in Computer Science, Springer-Verlag, pp. 363-392. 

Model-Driven Engineering. Research conducted in the context of the... 

A development process inspired by Model-Driven Engineering (MDE)[14], to promote a disciplined approach capable of mastering complexity by enforcing separation of concerns[5]. 

Schmidt, D. Guest editor s introduction Model-driven engineering. Computer 39(2), 25-31 (2006)... 

Gasevic, D., Djuric, D., Devedzic, V. Model Driven Engineering and Ontology Development, 2nd edn. Springer (2009)... 

Herzig, S.J.I., Paredis, C.J.J. Bayesian reasoning over models. In Workshop on Model-Driven Engineering, Verification, and Validation (2014). http //ceur-ws.org/Vol-1235/paper-09.pdf... 

As a solution. Chap. 13 and 14 explore the use of Model-Driven Engineering techniques, in particular SysML and SysMLAMechatronics, as a front-end to acquire engineering models. These models are then translated into ontologies, on which reasoning is performed. 

Model-driven engineering (MDE). MDE and Semantic Web are different approaches to creating lEAs that provide some similar capabilities, but also capabilities that differ in important ways. Similar capabilities include... 

---