The Community for Technology Leaders
2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) (2015)
Angers, Loire Valley, France
Feb. 9, 2015 to Feb. 11, 2015
ISBN: 978-989-758-136-6
TABLE OF CONTENTS

[Front cover] (PDF)

pp. c1

Brief contents (PDF)

pp. III

Program committee (PDF)

pp. VI-VIII

Foreword (PDF)

pp. XI-XII

Contents (PDF)

pp. XIII-XVIII

[Blank page] (PDF)

pp. 1

[Blank page] (PDF)

pp. 1

[Blank page] (PDF)

pp. 1

[Blank page] (PDF)

pp. 1

Modeling and execution of software user interfaces (PDF)

Marco Brambilla , Politecnico Di Milano, Italy
pp. IS-9

[Blank page] (PDF)

pp. 1

Model driven engineering and functional safety (PDF)

Mark van den Brand , Eindhoven University of Technology, The Netherlands
pp. IS-11

[Blank page] (PDF)

pp. 1

[Blank page] (PDF)

pp. 1

[Blank page] (PDF)

pp. 1

[Blank page] (PDF)

pp. 1

Full papers (PDF)

pp. 1

[Blank page] (PDF)

pp. 1

Towards the integration of model-driven engineering, software product line engineering, and software configuration management (Abstract)

Felix Schwagerl , Applied Computer Science I, University of Bayreuth, Universitätsstr. 30, 95440 Bayreuth, Germany
Thomas Buchmann , Applied Computer Science I, University of Bayreuth, Universitätsstr. 30, 95440 Bayreuth, Germany
Sabrina Uhrig , Applied Computer Science I, University of Bayreuth, Universitätsstr. 30, 95440 Bayreuth, Germany
Bernhard Westfechtel , Applied Computer Science I, University of Bayreuth, Universitätsstr. 30, 95440 Bayreuth, Germany
pp. 1-14

Integration of heterogeneous modeling languages via extensible and composable language components (Abstract)

Arne Haber , Software Engineering, RWTH Aachen University, Aachen, Germany
Markus Look , Software Engineering, RWTH Aachen University, Aachen, Germany
Antonio Navarro Perez , Software Engineering, RWTH Aachen University, Aachen, Germany
Pedram Mir Seyed Nazari , Software Engineering, RWTH Aachen University, Aachen, Germany
Bernhard Rumpe , Software Engineering, RWTH Aachen University, Aachen, Germany
Steven Volkel , Volkswagen Financial Services, Braunschweig, Germany
Andreas Wortmann , Software Engineering, RWTH Aachen University, Aachen, Germany
pp. 19-31

Specification of adaptable model migrations (Abstract)

Paola Vallejo , University of Brest/Lab-STICC - MOCS Team, Brest, France
Mickael Kerboeuf , University of Brest/Lab-STICC - MOCS Team, Brest, France
Jean-Philippe Babau , University of Brest/Lab-STICC - MOCS Team, Brest, France
pp. 32-39

Architectural view driven model transformations for supporting the lifecycle of parallel applications (Abstract)

Ethem Arkin , Aselsan A.Ş., Ankara, Turkey
Bedir Tekinerdogan , Information Technology Group, Wageningen University, Wageningen, Netherlands
pp. 40-49

A toolset for Simulink: Improving software engineering practices in development with Simulink (Abstract)

Vera Pantelic , McMaster Centre for Software Certification, Department of Computing and Software, McMaster University, Hamilton, ON, Canada
Steven Postma , McMaster Centre for Software Certification, Department of Computing and Software, McMaster University, Hamilton, ON, Canada
Mark Lawford , McMaster Centre for Software Certification, Department of Computing and Software, McMaster University, Hamilton, ON, Canada
Alexandre Korobkine , McMaster Centre for Software Certification, Department of Computing and Software, McMaster University, Hamilton, ON, Canada
Bennett Mackenzie , McMaster Centre for Software Certification, Department of Computing and Software, McMaster University, Hamilton, ON, Canada
Jeff Ong , McMaster Centre for Software Certification, Department of Computing and Software, McMaster University, Hamilton, ON, Canada
Marc Bender , McMaster Centre for Software Certification, Department of Computing and Software, McMaster University, Hamilton, ON, Canada
pp. 1-12

Model query translator: A model-level query approach for large-scale models (Abstract)

Xabier De Carlos , IK4-Ikerlan Research Center, P. J. M. Arizmendiarrieta, 2 20500 Arrasate, Spain
Goiuria Sagardui , Mondragon Unibertsitatea, Goiru 2, 20500 Arrasate, Spain
Aitor Murguzur , IK4-Ikerlan Research Center, P. J. M. Arizmendiarrieta, 2 20500 Arrasate, Spain
Salvador Trujillo , IK4-Ikerlan Research Center, P. J. M. Arizmendiarrieta, 2 20500 Arrasate, Spain
Xabier Mendialdua , IK4-Ikerlan Research Center, P. J. M. Arizmendiarrieta, 2 20500 Arrasate, Spain
pp. 62-73

A comparison of mechanisms for integrating handwritten and generated code for object-oriented programming languages (Abstract)

Timo Greifenberg , Software Engineering, RWTH Aachen University, Aachen, Germany
Katrin Holldobler , Software Engineering, RWTH Aachen University, Aachen, Germany
Carsten Kolassa , Software Engineering, RWTH Aachen University, Aachen, Germany
Markus Look , Software Engineering, RWTH Aachen University, Aachen, Germany
Pedram Mir Seyed Nazari , Software Engineering, RWTH Aachen University, Aachen, Germany
Klaus Muller , Software Engineering, RWTH Aachen University, Aachen, Germany
Antonio Navarro Perez , Software Engineering, RWTH Aachen University, Aachen, Germany
Dimitri Plotnikov , Software Engineering, RWTH Aachen University, Aachen, Germany
Dirk Reiss , Institute for Building Services and Energy Design, TU Braunschweig, Braunschweig, Germany
Alexander Roth , Software Engineering, RWTH Aachen University, Aachen, Germany
Bernhard Rumpe , Software Engineering, RWTH Aachen University, Aachen, Germany
Martin Schindler , Software Engineering, RWTH Aachen University, Aachen, Germany
Andreas Wortmann , Software Engineering, RWTH Aachen University, Aachen, Germany
pp. 74-85

A formalisation of analysis-based model migration (Abstract)

Ingrid Chieh Yu , Department of Informatics, University of Oslo, Oslo, Norway
Henning Berg , Department of Informatics, University of Oslo, Oslo, Norway
pp. 1-13

Ubtl UML testing profile based testing language (Abstract)

Johannes Iber , Institute for Technical Informatics, Graz University of Technology, Inffeldgasse 16, Graz, Austria
Nermin Kajtazovic , Institute for Technical Informatics, Graz University of Technology, Inffeldgasse 16, Graz, Austria
Andrea Holler , Institute for Technical Informatics, Graz University of Technology, Inffeldgasse 16, Graz, Austria
Tobias Rauter , Institute for Technical Informatics, Graz University of Technology, Inffeldgasse 16, Graz, Austria
Christian Kreiner , Institute for Technical Informatics, Graz University of Technology, Inffeldgasse 16, Graz, Austria
pp. 1-12

Towards non-intrusive composition of executable models (Abstract)

Henning Berg , Department of Informatics, University of Oslo, Oslo, Norway
Birger Moller-Pedersen , Department of Informatics, University of Oslo, Oslo, Norway
pp. 1-11

Extending UML templates towards computability (Abstract)

Jose Farinha , ISTAR, ISCTE-IUL, Av. Forças Armadas, Lisbon, Portugal
Pedro Ramos , IT-IUL, ISCTE-IUL, Av. Forças Armadas, Lisbon, Portugal
pp. 122-133

Software architecture design by stepwise model transformations: A comparative case study (Abstract)

Fabian Gilson , PReCISE Research Center, Faculty of Computer Science, University of Namur, Namur, Belgium
Vincent Englebert , PReCISE Research Center, Faculty of Computer Science, University of Namur, Namur, Belgium
pp. 134-145

[Blank page] (PDF)

pp. 1

Short papers (PDF)

pp. 1

[Blank page] (PDF)

pp. 1

Aggregate Callback: A design pattern for flexible and robust runtime model building (Abstract)

Gabor Kovesdan , Department of Automation and Applied Informatics, Budapest University of Technology and Economics, Budapest, Hungary
Mark Asztalos , Department of Automation and Applied Informatics, Budapest University of Technology and Economics, Budapest, Hungary
Laszlo Lengyel , Department of Automation and Applied Informatics, Budapest University of Technology and Economics, Budapest, Hungary
pp. 149-156

A novel approach using alloy in Domain-Specific Language engineering (Abstract)

Rodrigo M. L. M. Moreira , INESC TEC and Department of Informatics Engineering, Faculty of Engineering of the University of Porto, Porto, Portugal
Ana C. R. Paiva , INESC TEC and Department of Informatics Engineering, Faculty of Engineering of the University of Porto, Porto, Portugal
pp. 157-164

Towards world model-based test generation in autonomous systems (Abstract)

Anneliese Andrews , Department of Computer Science, University of Denver, Denver, CO 80208 U.S.A.
Mahmoud Abdelgawad , Department of Computer Science, University of Denver, Denver, CO 80208 U.S.A.
Ahmed Gario , Department of Computer Science, University of Denver, Denver, CO 80208 U.S.A.
pp. 1-12

Model-based approach for implementation of software configuration management process (Abstract)

Arturs Bartusevics , Faculty of Computer Science and Information Technology, RTU, Kalku Street 1, Riga, Latvia
Leonids Novickis , Faculty of Computer Science and Information Technology, RTU, Kalku Street 1, Riga, Latvia
pp. 177-184

Architecture framework for modeling the deployment of parallel applications on parallel computing platforms (Abstract)

Bedir Tekinerdogan , Information Technology Group, Wageningen University, Wageningen, Netherlands
Ethem Arkin , Aselsan A.Ş., Ankara, Turkey
pp. 185-192

Towards feature-driven goal fulfillment analysis a feasibility study (Abstract)

Avjot Garcha Singh , University of Oslo, Oslo, Norway
Aida Omerovic , SINTEF, Trondheim, Norway
Franck Chauvel , SINTEF, Trondheim, Norway
Nicolas Ferry , SINTEF, Trondheim, Norway
pp. 1-12

A MapReduce-based approach for finding inexact patterns in large graphs (Abstract)

Peter Feher , Department of Automation and Applied Informatics, Budapest University of Technology and Economics, Budapest, Hungary
Mark Asztalos , Department of Automation and Applied Informatics, Budapest University of Technology and Economics, Budapest, Hungary
Tamas Meszaros , Department of Automation and Applied Informatics, Budapest University of Technology and Economics, Budapest, Hungary
Laszlo Lengyel , Department of Automation and Applied Informatics, Budapest University of Technology and Economics, Budapest, Hungary
pp. 205-212

Instantiation of meta-models constrained with OCL: A CSP approach (Abstract)

A. Ferdjoukh , LIRMM, Université Montpellier 2 and CNRS, Montpellier, France
A. Baert , LIRMM, Université Montpellier 2 and CNRS, Montpellier, France
E. Bourreau , LIRMM, Université Montpellier 2 and CNRS, Montpellier, France
A. Chateau , LIRMM, Université Montpellier 2 and CNRS, Montpellier, France
R. Coletta , LIRMM, Université Montpellier 2 and CNRS, Montpellier, France
C. Nebut , LIRMM, Université Montpellier 2 and CNRS, Montpellier, France
pp. 213-222

Graphical debugging of distributed applications: Using UML object diagrams to visualize the state of distributed applications at runtime (Abstract)

Andreas Koch , Software Engineering Research Institute, Kassel University, Wilhelmshoher Allee 73, Kassel, Germany
Albert Zundorf , Software Engineering Research Institute, Kassel University, Wilhelmshoher Allee 73, Kassel, Germany
pp. 223-230

Combined modelling and programming support for composite states and extensible state machines (Abstract)

Kjetil Andresen , Department of Informatics, University of Oslo, Oslo, Norway
Birger Moller-Pedersen , Department of Informatics, University of Oslo, Oslo, Norway
Ragnhild Kobro Runde , Department of Informatics, University of Oslo, Oslo, Norway
pp. 231-238

Automated model-based testing based on an agnostic-platform modeling language (Abstract)

Concepcion Sanz , Center for Open Middleware, Universidad Politécnica de Madrid (UPM), Campus de Montegancedo, Pozuelo de Alarcón, Madrid, Spain
Alejandro Salas , Center for Open Middleware, Universidad Politécnica de Madrid (UPM), Campus de Montegancedo, Pozuelo de Alarcón, Madrid, Spain
Miguel de Miguel , Center for Open Middleware, Universidad Politécnica de Madrid (UPM), Campus de Montegancedo, Pozuelo de Alarcón, Madrid, Spain
Alejandro Alonso , Center for Open Middleware, Universidad Politécnica de Madrid (UPM), Campus de Montegancedo, Pozuelo de Alarcón, Madrid, Spain
Juan Antonio de la Puente , Center for Open Middleware, Universidad Politécnica de Madrid (UPM), Campus de Montegancedo, Pozuelo de Alarcón, Madrid, Spain
Clara Benac , Center for Open Middleware, Universidad Politécnica de Madrid (UPM), Campus de Montegancedo, Pozuelo de Alarcón, Madrid, Spain
pp. 1-8

Automated DSL construction based on software product lines (Abstract)

Changyun Huang , Kyushu University, Fukuoka, Japan
Ataru Osaka , Kyushu University, Fukuoka, Japan
Yasutaka Kamei , Kyushu University, Fukuoka, Japan
Naoyasu Ubayashi , Kyushu University, Fukuoka, Japan
pp. 1-8

Integrating existing proprietary system models into a model-driven test process for an industrial automation scenario (Abstract)

Kai Beckmann , Distributed Systems Lab, RheinMain University of Applied Sciences, Unter den Eichen 5, D-65195 Wiesbaden, Germany
pp. 255-262

A unified formulation of behavioral semantics for SysML models (Abstract)

Christoph Hilken , Institute of Computer Science, University of Bremen, 28359 Bremen, Germany
Jan Peleska , Institute of Computer Science, University of Bremen, 28359 Bremen, Germany
Robert Wille , Institute of Computer Science, University of Bremen, 28359 Bremen, Germany
pp. 263-271

DCCSS: A meta-model for dynamic clinical checklist support systems (Abstract)

Shan Nan , School of Industrial Engineering and Innovation Science, Eindhoven University of Technology, Eindhoven, The Netherlands
Pieter Van Gorp , School of Industrial Engineering and Innovation Science, Eindhoven University of Technology, Eindhoven, The Netherlands
Hendrikus H. M. Korsten , Department of Aneasthiaology and Intensive-Care, Catharina Ziekenhuis Eindhoven, Eindhoven, The Netherlands
Uzay Kaymak , School of Industrial Engineering and Innovation Science, Eindhoven University of Technology, Eindhoven, The Netherlands
Richard Vdovjak , Philips Research, Eindhoven, The Netherlands
Xudong Lu , School of Biomedical Engineering and Instrumental Science, Zhejiang University, Zhejiang, China
Huilong Duan , School of Biomedical Engineering and Instrumental Science, Zhejiang University, Zhejiang, China
pp. 272-279

A survey of object-relational transformation patterns for high-performance UML-based applications (Abstract)

Nemanja Kojic , Faculty of Electrical Engineering, University of Belgrade, Bulevar Kralja Aleksandra 73, Belgrade, Serbia
Dragan Milicev , Faculty of Electrical Engineering, University of Belgrade, Bulevar Kralja Aleksandra 73, Belgrade, Serbia
pp. 280-285

Polymer: A model-driven approach for simpler, safer, and evolutive multi-objective optimization development (Abstract)

Assaad Moawad , Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, Luxembourg City, Luxembourg
Thomas Hartmann , Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, Luxembourg City, Luxembourg
Francois Fouquet , Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, Luxembourg City, Luxembourg
Gregory Nain , Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, Luxembourg City, Luxembourg
Jacques Klein , Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, Luxembourg City, Luxembourg
Johann Bourcier , IRISA / INRIA, University of Rennes 1, Rennes, France
pp. 1-8

Automated state-based online testing real-time embedded software with RTEdge (Abstract)

Wafa Hasanain , Systems and Computer Engineering, Carleton University, 1125 Colonel by Drive, Ottawa, Canada
Yvan Labiche , Systems and Computer Engineering, Carleton University, 1125 Colonel by Drive, Ottawa, Canada
Serban Gheorghe , Edgewater Computer Systems Inc., Ottawa, Canada
pp. 294-302

Technology independent honeynet description language (Abstract)

Wenjun Fan , Departamento de Ingeniería de Sistemas Telemáticos, Universidad Politécnica de Madrid, ETSI Telecomunicación, Avda. Complutense 30, 28040, Madrid, Spain
David Fernandez , Departamento de Ingeniería de Sistemas Telemáticos, Universidad Politécnica de Madrid, ETSI Telecomunicación, Avda. Complutense 30, 28040, Madrid, Spain
Victor A. Villagra , Departamento de Ingeniería de Sistemas Telemáticos, Universidad Politécnica de Madrid, ETSI Telecomunicación, Avda. Complutense 30, 28040, Madrid, Spain
pp. 303-311

Disciplined approach for transformation CIM to PIM in MDA (Abstract)

Yassine Rhazali , ACIDROS Laboratory, Faculty of Science, Kenitra, Morocco
Youssef Hadi , LaRIT Laboratory, Faculty of Science, Kenitra, Morocco
Abdelaziz Mouloudi , ACIDROS Laboratory, Faculty of Science, Kenitra, Morocco
pp. 312-320

Towards traceability modeling for the engineering of heterogeneous systems (Abstract)

Nasser Mustafa , Carleton University, Department of Systems and Computer Engineering, Ottawa, ON, Canada
Yvan Labiche , Carleton University, Department of Systems and Computer Engineering, Ottawa, ON, Canada
pp. 321-328

LCL: A graphical meta-language for specification of language constraints (Abstract)

Terje Gjosater , Department of ICT, University of Agder, Grimstad, Norway
pp. 329-337

A combined graph-based approach for systems design and verification (Abstract)

Najet Zoubeir , Département du Génie Logiciel et Systémes d'Information, Institut Supérieur d'Informatique, Ariana, Tunisia
Adel Khalfallah , Département du Génie Logiciel et Systémes d'Information, Institut Supérieur d'Informatique, Ariana, Tunisia
pp. 346-353

Metamodelling with formal semantics with application to access control specification (Abstract)

Jamal Abd-Ali , Computer Science and Engineering Department, Université du Québec en Outaouais, Gatineau, QC, Canada
Karim El Guemhioui , Computer Science and Engineering Department, Université du Québec en Outaouais, Gatineau, QC, Canada
Luigi Logrippo , Computer Science and Engineering Department, Université du Québec en Outaouais, Gatineau, QC, Canada
pp. 354-362

The effect of concurrent programming idioms on verification: A position paper (Abstract)

David Harel , Dept. of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel
Guy Katz , Dept. of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel
Assaf Marron , Dept. of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel
Gera Weiss , Dept. of Computer Science, Ben Gurion University, Beer-Sheva, Israel
pp. 363-369

Traceability and interfacing between requirements engineering and UML domains using the standardized ReqIF format (Abstract)

Arne Noyer , Institute for Software Engineering, University of Osnabrueck, Osnabrueck, Germany
Padma Iyenghar , Institute for Software Engineering, University of Osnabrueck, Osnabrueck, Germany
Elke Pulvermueller , Institute for Software Engineering, University of Osnabrueck, Osnabrueck, Germany
Florian Pramme , Institute for Distributed Systems, Ostfalia University, Salzdahlumer Str. 46/48, Wolfenbuettel, Germany
Gert Bikker , Institute for Distributed Systems, Ostfalia University, Salzdahlumer Str. 46/48, Wolfenbuettel, Germany
pp. 1-6

Support of scenario creation by generating event lists from conceptual models (Abstract)

Kenta Goto , Department of Computer Science and Engineering, Waseda University, 3-4-1 Okubo Shinjuku-ku, Tokyo, Japan
Shinpei Ogata , Graduate School of Science and Technology, Shinshu University, 4-17-1 Wakasato Nagano-shi, Nagano, Japan
Junko Shirogane , Department of Communication, Tokyo Woman's Christian University, 2-6-1 Zenpukuji Suginami-ku, Tokyo, Japan
Takako Nakatani , Graduate School of Systems Management, University of Tsukuba, 3-29-1 Otsuka Bunkyo, Tokyo, Japan
Yoshiaki Fukazawa , Department of Computer Science and Engineering, Waseda University, 3-4-1 Okubo Shinjuku-ku, Tokyo, Japan
pp. 376-383

On languages for conceptual data modeling in multi-disciplinary space systems engineering (Abstract)

Christian Hennig , Intelligent Systems and Production Engineering, FZI Research Center for Information Technology, Karlsruhe, Germany
Harald Eisenmann , TSOEC3, Space Systems, Airbus Defence and Space, Friedrichshafen, Germany
Alexander Viehl , Intelligent Systems and Production Engineering, FZI Research Center for Information Technology, Karlsruhe, Germany
Oliver Bringmann , Wilhelm-Schickard-Institute for Computer Science, Eberhard-Karls-University of Tübingen, Tübingen, Germany
pp. 384-393

Towards the state of the art of extending enterprise modeling languages (Abstract)

Richard Braun , TU Dresden, Chair for Wirtschaftsinformatik, esp. System Development, 01062 Dresden, Germany
pp. 1-9

Behind the scenes of the BPMN extension mechanism principles, problems and options for improvement (Abstract)

Richard Braun , TU Dresden, Chair for Wirtschaftsinformatik, esp. System Development, 01062 Dresden, Germany
pp. 1-8

A toolchain for model-based design and testing of access control systems (Abstract)

Said Daoudagh , Istituto di Scienza e Tecnologie dell'Informazione “A. Faedo”, CNR, Pisa, Italy
Donia El Kateb , Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, Luxembourg, Luxembourg
Francesca Lonetti , Istituto di Scienza e Tecnologie dell'Informazione “A. Faedo”, CNR, Pisa, Italy
Eda Marchetti , Istituto di Scienza e Tecnologie dell'Informazione “A. Faedo”, CNR, Pisa, Italy
Tejeddine Mouelhi , itrust consulting, Niederanven, Luxembourg
pp. 411-418

A mechanism for data interchange between embedded software sub-systems developed using heterogenous modeling domains (Abstract)

Padma Iyenghar , Software Engineering Research Group, University of Osnabrueck, Osnabrueck, Germany
Benjamin Samson , Institute of Computer Engineering, UAS Osnabrueck, Osnabrueck, Germany
Michael Spieker , Willert Software Tools GmbH, Hannoversche Str. 21, Bueckeburg, Germany
Arne Noyer , Willert Software Tools GmbH, Hannoversche Str. 21, Bueckeburg, Germany
Juergen Wuebbelmann , Institute of Computer Engineering, UAS Osnabrueck, Osnabrueck, Germany
Clemens Westerkamp , Institute of Computer Engineering, UAS Osnabrueck, Osnabrueck, Germany
Elke Pulvermueller , Software Engineering Research Group, University of Osnabrueck, Osnabrueck, Germany
pp. 1-6

Model-driven development for user-centric well-being support from dynamic well-being domain models to context-aware applications (Abstract)

Steven Bosems , Faculty of Electrical Engineering, Mathematics and Computer Science, University of Twente, Enschede, The Netherlands
Marten van Sinderen , Faculty of Electrical Engineering, Mathematics and Computer Science, University of Twente, Enschede, The Netherlands
pp. 425-432

[Blank page] (PDF)

pp. 1

Full papers (PDF)

pp. 1

[Blank page] (PDF)

pp. 1

Evolving legacy model transformations to aggregate non functional requirements of the domain (Abstract)

Joseba A. Agirre , Department of Computing, Mondragon University, Loramendi, Mondragon, Spain
Goiuria Sagardui , Department of Computing, Mondragon University, Loramendi, Mondragon, Spain
Leire Etxeberria , Department of Computing, Mondragon University, Loramendi, Mondragon, Spain
pp. 437-448

SysML modeling for embedded systems design optimization: A case study (Abstract)

Patrick Leserf , CERIE, ESTACA, F-53000 Laval, France
Pierre de Saqui-Sannes , ISAE-SUPAERO, University of Toulouse, F31055 Toulouse, France
Jerome Hugues , ISAE-SUPAERO, University of Toulouse, F31055 Toulouse, France
Khaled Chaaban , CERIE, ESTACA, F-53000 Laval, France
pp. 449-457

[Blank page] (PDF)

pp. 1

Short papers (PDF)

pp. 1

[Blank page] (PDF)

pp. 1

Tool integration by models, not only by metamodels applying modeling to tool integration (Abstract)

Weiqing Zhang , Department of Informatics, University of Oslo, Oslo, Norway
pp. 1-9

Knowledge modeling in the health care domain to support software development & maintenance (Abstract)

Thomas Reichherzer , Dept. of Computer Science, University of West Florida, 11000 University Pkw., Pensacola, Florida, 32503 U.S.A.
John Coffey , Dept. of Computer Science, University of West Florida, 11000 University Pkw., Pensacola, Florida, 32503 U.S.A.
Bilal Gonen , Dept. of Computer Science, University of West Florida, 11000 University Pkw., Pensacola, Florida, 32503 U.S.A.
Irad Gillett , Dept. of Computer Science, University of West Florida, 11000 University Pkw., Pensacola, Florida, 32503 U.S.A.
pp. 470-476

Discovering models of parallel workflow processes from incomplete event logs (Abstract)

Julijana Lekic , University of Pristina in Kosovska Mitrovica, Faculty of Technical Sciences, Kneza Milosa 7, 38220 Kosovska Mitrovica, Serbia
Dragan Milicev , University of Belgrade, Faculty of Electrical Engineering, Bulevar kralja Aleksandra 73, 11120 Beograd, Serbia
pp. 477-482

Contextual representations for enterprise model application (C.R.E.M.A.) (Abstract)

Nikolaus Wintrich , Corporate Management, Fraunhofer IPK, Pascalstr. 8-9, Berlin 10587, Germany
Malte Meisner , Corporate Management, Fraunhofer IPK, Pascalstr. 8-9, Berlin 10587, Germany
pp. 483-489

A modular method for global system behaviour specification (Abstract)

Urooj Fatima , Department of Telematics, Norwegian University of Science and Technology (NTNU), NO-7491, Trondheim, Norway
Rolv Brak , Department of Telematics, Norwegian University of Science and Technology (NTNU), NO-7491, Trondheim, Norway
pp. 1-8

Using software categories for the development of generative software (Abstract)

Pedram Mir Seyed Nazari , Software Engineering, RWTH Aachen University, Aachen, Germany
Bernhard Rumpe , Software Engineering, RWTH Aachen University, Aachen, Germany
pp. 498-503

[Blank page] (PDF)

pp. 1

[Blank page] (PDF)

pp. 1

Full paper (PDF)

pp. 1

[Blank page] (PDF)

pp. 1

Model-driven engineering of a railway interlocking system (Abstract)

Fabio Scippacercola , DIETI, Università degli Studi di Napoli Federico II, Via Claudio 21, 80125 Napoli, Italy
Roberto Pietrantuono , DIETI, Università degli Studi di Napoli Federico II, Via Claudio 21, 80125 Napoli, Italy
Stefano Russo , DIETI, Università degli Studi di Napoli Federico II, Via Claudio 21, 80125 Napoli, Italy
Andras Zentai , Prolan Process Control Co., Szentendrei út 1-3, H-2011 Budakalász, Hungary
pp. 509-519

[Blank page] (PDF)

pp. 1

Short papers (PDF)

pp. 1

[Blank page] (PDF)

pp. 1

Towards managing data variability in multi product lines (Abstract)

Niloofar Khedri , School of Electrical and Computer Engineering, College of Engineering, University of Tehran, Tehran, Iran
Ramtin Khosravi , School of Electrical and Computer Engineering, College of Engineering, University of Tehran, Tehran, Iran
pp. 1-8

Using a domain-specific modeling language for analyzing harmonizing and interfering public and private sector goals: A scenario in the context of open data for weather forecasting (Abstract)

Sietse Overbeek , Institute for Computer Science and Business Information Systems, University of Duisburg-Essen, Reckhammerweg 2, D-45141 Essen, Germany
Marijn Janssen , Faculty of Technology, Policy and Management, Delft University of Technology, Jaffalaan 5, 2628 BX Delft, The Netherlands
pp. 1-8

Towards product lining model-driven development code generators (Abstract)

Alexander Roth , Software Engineering, RWTH Aachen University, Aachen, Germany
Bernhard Rumpe , Software Engineering, RWTH Aachen University, Aachen, Germany
pp. 539-545

Variability management supporting the model-driven design of user interfaces (Abstract)

Jean-Sebastien Sottet , Public Research Center Henri Tudor, 29 avenue JF Kennedy, L-1855 Luxembourg-Kirchberg, Luxembourg
Alain Vagner , Public Research Center Henri Tudor, 29 avenue JF Kennedy, L-1855 Luxembourg-Kirchberg, Luxembourg
Alfonso Garcia Frey , Public Research Center Henri Tudor, 29 avenue JF Kennedy, L-1855 Luxembourg-Kirchberg, Luxembourg
pp. 546-552

[Blank page] (PDF)

pp. 1

Full papers (PDF)

pp. 1

[Blank page] (PDF)

pp. 1

Defining and using collaboration patterns for software process development (Abstract)

Tan Thuan Vo , Institut de Recherche en Informatique de Toulouse, Toulouse, France
Bernard Coulette , Institut de Recherche en Informatique de Toulouse, Toulouse, France
Hanh Nhi Tran , Institut de Recherche en Informatique de Toulouse, Toulouse, France
Redouane Lbath , Institut de Recherche en Informatique de Toulouse, Toulouse, France
pp. 557-564

Using process ontology together with process editor to facilitate tool integration (Abstract)

Chanh Duc Ngo , University of Science of HoChiMinh (HCMUS), Hô Chí Minh, Vietnam
Hanh Nhi Tran , Institut de Recherche en Informatique de Toulouse (IRIT), Toulouse Cedex 9, France
Joel Champeau , Ecoles Nationales Supérieures de Techniques Avancées de Bretagne (ENSTA-Bretagne), Brest, France
pp. 565-573

[Blank page] (PDF)

pp. 1

Short papers (PDF)

pp. 1

[Blank page] (PDF)

pp. 1

Applying model-driven development to environment monitoring System (Abstract)

Tran Cao De , Can Tho University, 1 Ly Tu Trong, Ninh Kieu, Can Tho, Vietnam
pp. 577-584

RuCORD: Rule-based composite operation recovering and detection to support cooperative edition of (Meta)models (Abstract)

Amanuel Koshima , PReCISE Research Center, University of Namur, Namur, Belgium
Vincent Englebert , PReCISE Research Center, University of Namur, Namur, Belgium
pp. 1-7

[Blank page] (PDF)

pp. 1

[Blank page] (PDF)

pp. 1

Full papers (PDF)

pp. 1

[Blank page] (PDF)

pp. 1

Enabling sustainable interoperability for enterprise applications with knowledge links (Abstract)

Artur Felic , CAS Software AG, Karlsruhe, Germany
Felix Herrmann , CAS Software AG, Karlsruhe, Germany
Christian Hogrefe , CAS Software AG, Karlsruhe, Germany
Michael Klein , CAS Software AG, Karlsruhe, Germany
Birgitta Konig-Ries , Friedrich-Schiller-Universität Jena, Institut für Informatik, Jena, Germany
pp. 1-11

Model-driven service engineering towards the manufacturing liquid-sensing enterprise (Abstract)

Carlos Agostinho , Centre of Technology and Systems, CTS, Uninova, 2829-516 Caparica, Portugal
Michele Sesana , TXT e-solutions, 20126 Milan, Italy
Ricardo Jardim-Goncalves , Centre of Technology and Systems, CTS, Uninova, 2829-516 Caparica, Portugal
Sergio Gusmeroli , TXT e-solutions, 20126 Milan, Italy
pp. 608-617

Modelling and analysis of process execution based on data acquired from sensors networks (Abstract)

Repta Dragos , University Politehnica of Bucharest, Faculty of Automatic Control and Computers, Bucharest, Romania
Ioan Stefan Sacala , University Politehnica of Bucharest, Faculty of Automatic Control and Computers, Bucharest, Romania
Mihnea Alexandru Moisescu , University Politehnica of Bucharest, Faculty of Automatic Control and Computers, Bucharest, Romania
Calin Munteanu , University Politehnica of Bucharest, Faculty of Automatic Control and Computers, Bucharest, Romania
Aurelian Mihai Stanescu , University Politehnica of Bucharest, Faculty of Automatic Control and Computers, Bucharest, Romania
pp. 618-625

Modelling services for business knowledge capture (Abstract)

Carlos Coutinho , Caixa Mágica Software, Rua Soeiro Pereira Gomes, Lote 1-4 B, 1600-196, Lisboa, Portugal
Ruben Costa , CTS, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, UNINOVA, Lisboa, Portugal
Ricardo Jardim-Goncalves , CTS, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, UNINOVA, Lisboa, Portugal
pp. 626-633

[Blank page] (PDF)

pp. 1

[Blank page] (PDF)

pp. 1

Full papers (PDF)

pp. 1

[Blank page] (PDF)

pp. 1

Towards a model-driven based security framework (Abstract)

Rouwaida Abdallah , CEA, LIST, Laboratory of Model Driven Engineering for Embedded Systems, Gif-sur-Yvette Cedex, France
Nataliya Yakymets , CEA, LIST, Laboratory of Model Driven Engineering for Embedded Systems, Gif-sur-Yvette Cedex, France
Agnes Lanusse , CEA, LIST, Laboratory of Model Driven Engineering for Embedded Systems, Gif-sur-Yvette Cedex, France
pp. 639-645

Building a privacy accountable surveillance system (Abstract)

Francisco Jaime , University of Málaga, Málaga, Spain
Antonio Mana , University of Málaga, Málaga, Spain
Zhendong Ma , Austrian Institute of Technology, Vienna, Austria
Christian Wagner , Austrian Institute of Technology, Vienna, Austria
Daniel Hovie , Austrian Institute of Technology, Vienna, Austria
Mathias Bossuet , Thales Communications & Security, Paris, France
pp. 646-654

SysML-Sec: A model driven approach for designing safe and secure systems (Abstract)

Yves Roudier , EURECOM, 450 Routes des Chappes, 06410 Biot Sophia-Antipolis, France
Ludovic Apvrille , Institut Mines-Telecom, Telecom ParisTech, CNRS LTCI, 450 Routes des Chappes, 06410 Biot Sophia-Antipolis, France
pp. 655-664

SALT frameworks to tackle surveillance and privacy concerns (Abstract)

Antonio Kung , Trialog, Paris, France
Christophe Jouvray , Trialog, Paris, France
Fanny Coudert , Trialog, Paris, France
pp. 665-673

[Blank page] (PDF)

pp. 1

Author index (PDF)

pp. 1-3

[Back cover] (PDF)

pp. c4
86 ms
(Ver 3.3 (11022016))