Model and Data Engineering: 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings

Front Matter ....Pages I-XIX
Front Matter ....Pages 1-1
 Data Science with Vadalog: Bridging Machine Learning and Reasoning  (Luigi Bellomarini, Ruslan R. Fayzrakhmanov, Georg Gottlob, Andrey Kravchenko, Eleonora Laurenza, Yavor Nenov et al.)....Pages 3-21
Front Matter ....Pages 23-23
 NoSQL Databases – Seek for a Design Methodology  (Chaimae Asaad, Karim Baïna)....Pages 25-40
 Mortadelo: A Model-Driven Framework for NoSQL Database Design  (Alfonso de la Vega, Diego García-Saiz, Carlos Blanco, Marta Zorrilla, Pablo Sánchez)....Pages 41-57
 Towards OntoUML for Software Engineering: Experimental Evaluation of Exclusivity Constraints in Relational Databases  (Zdeněk Rybola, Michal Valenta)....Pages 58-73
Front Matter ....Pages 75-75
 Scrum and V Lifecycle Combined with Model-Based Testing and Model Driven Architecture to Deal with Evolutionary System Issues  (Imane Essebaa, Salima Chantit)....Pages 77-91
 Adaptive Algorithms for Computing Ontologies Metrics Through Processing of RDF Graphs  (Jean Vincent Fonou-Dombeu, Yannick Kazela Kazadi)....Pages 92-106
 CRank: A Novel Framework for Ranking Semantic Web Ontologies  (Jean Vincent Fonou-Dombeu, Serestina Viriri)....Pages 107-121
Front Matter ....Pages 123-123
 A New Way of Handling Missing Data in Multi-source Classification Based on Adaptive Imputation  (Ikram Abdelkhalek, Afef Ben Brahim, Nadia Essousi)....Pages 125-136
 Feedback-Oriented Assessor Model  (Mohamed-Amine Abrache, Khalid Megder, Chihab Cherkaoui)....Pages 137-149
Front Matter ....Pages 151-151
 A Gamification and Objectivity Based Approach to Improve Users Motivation in Mobile Crowd Sensing  (Hasna El Alaoui El Abdallaoui, Abdelaziz El Fazziki, Fatima Zohra Ennaji, Mohamed Sadgal)....Pages 153-167
 Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems  (Khaled Khebbeb, Nabil Hameurlain, Faiza Belala)....Pages 168-183
 Thing Federation as a Service: Foundations and Demonstration  (Zakaria Maamar, Khouloud Boukadi, Emir Ugljanin, Thar Baker, Muhammad Asim, Mohammed Al-Khafajiy et al.)....Pages 184-197
 Formalizing Reusable Communication Models for Distributed Systems Architecture  (Quentin Rouland, Brahim Hamid, Jason Jaskolka)....Pages 198-216
Front Matter ....Pages 217-217
 A Valid BPMN Extension for Supporting Security Requirements Based on Cyber Security Ontology  (Mohamed El Amine Chergui, Sidi Mohamed Benslimane)....Pages 219-232
 A Correct-by-Construction Model for Attribute-Based Access Control  (Hania Gadouche, Zoubeyr Farah, Abdelkamel Tari)....Pages 233-247
Front Matter ....Pages 249-249
 Voronoi-Diagram Based Partitioning for Distance Join Query Processing in SpatialHadoop  (Francisco García-García, Antonio Corral, Luis Iribarne, Michael Vassilakopoulos)....Pages 251-267
 Graph Pattern Matching Preserving Label-Repetition Constraints  (Houari Mahfoud)....Pages 268-281
 Standard and Dialectal Arabic Text Classification for Sentiment Analysis  (Mohcine Maghfour, Abdeljalil Elouardighi)....Pages 282-291
 A Graph-Based Model for Tag Recommendations in Clinical Decision Support System  (Sara Qassimi, El Hassan Abdelwahed, Meriem Hafidi, Rachid Lamrani)....Pages 292-300
 Spatial Batch-Queries Processing Using xBR\\(^+\\)-trees in Solid-State Drives  (George Roumelis, Michael Vassilakopoulos, Antonio Corral, Athanasios Fevgas, Yannis Manolopoulos)....Pages 301-317
Front Matter ....Pages 319-319
 Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B  (Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart-Dutilleul, Yves Ledru, Akram Idani)....Pages 321-330
 A Dynamic Analysis for Reverse Engineering of Sequence Diagram Using CPN  (Chafik Baidada, El Mahi Bouziane, Abdeslam Jakimi)....Pages 331-345
 A Formalized Procedure for Database Horizontal Fragmentation in Isabelle/HOL Proof Assistant  (Cheikh Salmi, Mohamed Chaabani, Mohamed Mezghiche)....Pages 346-353
 Domain-Oriented Verification Management  (Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy)....Pages 354-370
 A Formal Model for Interaction Specification and Analysis in IoT Applications  (Souad Marir, Faiza Belala, Nabil Hameurlain)....Pages 371-384
 Mechanizing the Denotational Semantics of the Clock Constraint Specification Language  (Mathieu Montin, Marc Pantel)....Pages 385-400
 Ensuring the Functional Correctness of IoT through Formal Modeling and Verification  (Samir Ouchani)....Pages 401-417
 Extensions to Hybrid Event-B to Support Concurrency in Cyber-Physical Systems  (Klaus-Dieter Schewe)....Pages 418-433
Back Matter ....Pages 435-436