MODELSWARD 2015 - 3rd International Conference on Model-Driven Engineering and Software Development

16:15 - 17:15 - Foyer Posters Session 2

MODELSWARD

42: Discovering Models of Parallel Workflow Processes from Incomplete Event Logs Julijana Lekic and Dragan Milicev
45: Contextual Representations for Enterprise Model Application (C.R.E.M.A.) Nikolaus Wintrich and Malte Meißner
48: Technology Independent Honeynet Description Language Wenjun Fan, David Fernández and Víctor A. Villagrá
57: Using a Projectional Editor to Implement Interactive Model Navigation and View Control Tony Clark and Balbir Barn
61: Metamodelling with Formal Semantics with Application to Access Control Specification Jamal Abd-Ali, Karim El Guemhioui and Luigi Logrippo
64: Traceability and Interfacing Between Requirements Engineering and UML Domains using the Standardized ReqIF Format Arne Noyer, Padma Iyenghar, Elke Pulvermueller, Florian Pramme and Gert Bikker
72: A Toolchain for Model-based Design and Testing of Access Control Systems Said Daoudagh, Donia El Kateb, Francesca Lonetti, Eda Marchetti and Tejeddine Mouelhi

08:45	Welcome Desk & Registration (08:45 - 09:15)
09:15	09:15 - 10:45 - Room Le Prince Ringuet Parallel Session 5 - Modeling Languages, Tools and Architectures 29: A Comparison of Mechanisms for Integrating Handwritten and Generated Code for Object-Oriented Programming Languages Timo Greifenberg, Katrin Hölldobler, Carsten Kolassa, Markus Look, Pedram Mir Seyed Nazari, Klaus Müller, Antonio Navarro Perez, Dimitri Plotnikov, Dirk Reiss, Alexander Roth, Bernhard Rumpe, Martin Schindler and Andreas Wortmann 10: Model-based Approach for Implementation of Software Configuration Management Process Arturs Bartusevics and Leonids Novickis 35: A Unified Formulation of Behavioral Semantics for SysML Models Christoph Hilken, Jan Peleska and Robert Wille 59: A Combined Graph-based Approach for Systems Design And Verification Najet Zoubeir and Adel Khalfallah 09:15 - 10:45 - Room Shannon Parallel Session 5 - Modeling Languages, Tools and Architectures & Applications and Software Development 58: Software Architecture Design by Stepwise Model Transformations - A Comparative Case Study Fabian Gilson and Vincent Englebert 66: Using Software Categories for the Development of Generative Software Pedram Mir Seyed Nazari and Bernhard Rumpe 69: Variability Management Supporting the Model-driven Design of User Interfaces Jean-Sébastien Sottet, Alain Vagner and Alfonso García Frey
10:45	Coffee-Break (10:45 - 11:00)
11:00	11:00 - 12:15 - Room Amphiteatre Jeanneteau Keynote Lecture Beyond Mere Logic - A Vision of Modeling Languages for the 21st Century Bran Selic, University of Toronto, Canada
12:15	12:15 - 13:30 - Room Amphiteatre Jeanneteau European Project Space - Panel Title: "European Project Space on Pervasive Systems, Physiological Computing and Information Systems Security and Privacy" EPS Chair: Christophe Angot, Angers Technopole, France EPS Panelists Julien Van Simaeys, European Research Project Manager, University of Angers, France Regis Hamelin, Yole development, France Dajana Cassioli, University of L'Aquila, Italy
13:30	Lunch (13:30 - 14:45)
14:45	14:45 - 16:15 - Room Amphiteatre Jeanneteau European Project Space Session – Pervasive Systems, Physiological Computing and Information Systems Security and Privacy Research Into Wireless Channels for Intra-vehicle Communication and Positioning Presenter: Aniruddha Chandra Symbiotic Mind Computer Interaction for Information Seeking (MindSee) Presenter: Oswald Barral Future Internet Research Services and Technology (FIRST) Presenter: Zita Kovacs
14:45	14:45 - 16:15 - Room Le Prince Ringuet Parallel Session 6 - Modeling Languages, Tools and Architectures 39: A Survey of Object-Relational Transformation Patterns for High-performance UML-based Applications Nemanja Kojić and Dragan Milićev 49: Disciplined Approach for Transformation CIM to PIM in MDA Yassine Rhazali, Youssef Hadi and Abdelaziz Mouloudi 51: Towards Traceability Modeling for the Engineering of Heterogeneous Systems Nasser Mustafa and Yvan Labiche 53: LCL - A Graphical Meta-Language for Specification of Language Constraints Terje Gjøsæter
16:15	Coffee-Break (16:15 - 17:00)
16:15	16:15 - 17:15 - Foyer Posters Session 2 MODELSWARD 42: Discovering Models of Parallel Workflow Processes from Incomplete Event Logs Julijana Lekic and Dragan Milicev 45: Contextual Representations for Enterprise Model Application (C.R.E.M.A.) Nikolaus Wintrich and Malte Meißner 48: Technology Independent Honeynet Description Language Wenjun Fan, David Fernández and Víctor A. Villagrá 57: Using a Projectional Editor to Implement Interactive Model Navigation and View Control Tony Clark and Balbir Barn 61: Metamodelling with Formal Semantics with Application to Access Control Specification Jamal Abd-Ali, Karim El Guemhioui and Luigi Logrippo 64: Traceability and Interfacing Between Requirements Engineering and UML Domains using the Standardized ReqIF Format Arne Noyer, Padma Iyenghar, Elke Pulvermueller, Florian Pramme and Gert Bikker 72: A Toolchain for Model-based Design and Testing of Access Control Systems Said Daoudagh, Donia El Kateb, Francesca Lonetti, Eda Marchetti and Tejeddine Mouelhi
17:15	17:15 - 17:30 - Room Amphiteatre Jeanneteau Closing Session
17:30	Farewell Drink (17:30 - 18:00)