By Ladjel Bellatreche, Óscar Pastor, Jesús M. Almendros Jiménez, Yamine Aït-Ameur
ISBN-10: 331945546X
ISBN-13: 9783319455464
ISBN-10: 3319455478
ISBN-13: 9783319455471
This ebook constitutes the refereed complaints of the sixth foreign convention on version and information Engineering, MEDI 2016, held in Almería, Spain, in September 2016.
The 17 complete papers and 10 brief papers awarded including 2 invited talks have been rigorously reviewed and chosen from sixty two submissions. The papers variety on a large spectrum protecting basic contributions, purposes and gear advancements and enhancements in version and information engineering activities.
Read Online or Download Model and Data Engineering: 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings PDF
Best international_1 books
New PDF release: Parameterized and Exact Computation: 8th International
This e-book constitutes the completely refereed post-conference court cases of the eighth overseas Symposium on Parameterized and certain Computation, IPEC 2013, in Sophia Antipolis, France, in September 2013. The 29 revised complete papers provided have been rigorously reviewed and chosen from fifty eight submissions.
New PDF release: XVIITH International Congress on Mathematical Physics
The foreign Congress on Mathematical Physics is an immense convention in its box that draws a truly huge spectrum of researchers. Held each 3 years, it presents an summary of modern advancements and achievements in mathematical physics. This quantity provides the plenary lectures and invited topical consultation lectures from the XVIIth ICMP, which was once held in Aalborg, Denmark, August 2012.
The sequence is aimed particularly at publishing peer reviewed reports and contributions awarded at workshops and meetings. each one quantity is linked to a specific convention, symposium or workshop. those occasions conceal a variety of issues inside of natural and utilized arithmetic and supply up to date insurance of recent advancements, tools and functions.
- Graph Structures for Knowledge Representation and Reasoning: Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers
- Proceedings of the 9th International Cancer Congress: Tokyo October 1966 Congress Lectures and Official Speeches
- Macromolecular Chemistry–8. Plenary and Main Lectures Presented at the International Symposium on Macromolecules Held in Helsinki, Finland, 2–7 July 1972
- Energy Minimization Methods in Computer Vision and Pattern Recognition: 5th International Workshop, EMMCVPR 2005, St. Augustine, FL, USA, November 9-11, 2005. Proceedings
Extra info for Model and Data Engineering: 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings
Sample text
We have described an Ecore to XML Schema transformation that makes to generate Ecore models according to human tester’s choices possible. We have showed how the developed ATL tester is able to show counterexamples of OCL constraints on target models, when the testing fails, and to certify ATL transformations when OCL constraints on source and target models are satisfied. As future work, we would like to extend our approach as follows. Firstly, we would like to extend our tool with input-output properties (called invariants in the context of model transformation).
On the other hand, in the case of a buggy rule (of Fig. 7) is defined as follows: rule RA2A { from att : ER ! ERAttribute , rs : ER ! Relship to t : REL ! RELAttribute ( name <- att . name , isKey <- att . M. Almendros-Jim´enez and A. relship = rs is omitted, the ATL tester answers (in 528 ms and number of steps 1) as follows: Output Property Falsifiable after 5 tests . 1 Benchmarks Finally, we would like to show the benchmarks of ATL testing for several examples. Table 1 shows the execution time of the testing for four examples: Book2Publication (B2P), Families2Persons (F2P), Composed2Simple (CSP) and ER2RL transformation.
Model-driven engineering: a survey supported by the unified conceptual model. Comput. Lang. Syst. Struct. 43, 139–155 (2015) 9. 1. 1/. Accessed 08 Feb 2016 10. 5. 5/. Accessed 08 Feb 2016 11. 4, February 2014. http://www. 4/. Accessed 23 Feb 2016 12. : An ontologically wellfounded profile for UML conceptual models. , Stirna, J. ) CAiSE 2004. LNCS, vol. 3084, pp. 112–126. Springer, Heidelberg (2004). 1007/ 978-3-540-25975-6 10 13. : An adaptive translation of class diagram to relational database.
Model and Data Engineering: 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings by Ladjel Bellatreche, Óscar Pastor, Jesús M. Almendros Jiménez, Yamine Aït-Ameur
by George
4.1