The Community for Technology Leaders
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) (2014)
Lisbon, Portugal
Jan. 7, 2014 to Jan. 9, 2014
ISBN: 978-9-8975-8065-9
TABLE OF CONTENTS

Front cover (PDF)

pp. c1

Title page (PDF)

pp. I

Copyright page (PDF)

pp. II

Brief contents (PDF)

pp. III

Foreword (PDF)

Joaquim Filipe , Polytechnic Institute of Setúbal / INSTICC, Portugal
Rui Cesar das Neves , Polytechnic Institute of Setúbal, Portugal
Luis Ferreira Pires , University of Twente, The Netherlands
Slimane Hammoudi , ESEO, MODESTE, France
pp. XI-XII

Contents (PDF)

pp. XIII-XVII

Blank page (PDF)

pp. 1

Blank page (PDF)

pp. 1

Blank page (PDF)

pp. 1

Blank page (PDF)

pp. 0

Blank page (PDF)

pp. 0

Blank page (PDF)

pp. 0

Blank page (PDF)

pp. 0

On Interaction in Data Mining (PDF)

Andreas Holzinger , Medical University Graz, Austria
pp. 0

Blank page (PDF)

pp. 1

Blank page (PDF)

pp. 1

Full papers (PDF)

pp. 1

Blank page (PDF)

pp. 1

Using the base semantics given by fUML for verification (Abstract)

Alessandro Gerlinger Romero , Satellite Tracking and Control Center, Brazilian National Institute for Space Research, São José dos Campos, Brazil
Klaus Schneider , Department of Computer Science, University of Kaiserslautern, Germany
Mauricio Goncalves Vieira Ferreira , Satellite Tracking and Control Center, Brazilian National Institute for Space Research, São José dos Campos, Brazil
pp. 5-16

An industrial case study on using language workbench technology for realizing Model-Driven Engineering (Abstract)

Xi Zhu , Chalmers University of Technology, Gothenburg, Sweden
Congchi Phung , Chalmers University of Technology, Gothenburg, Sweden
Lars Pareto , University of Gothenburg, Sweden
Staffan Ehnebom , Ericsson AB, Gothenburg, Sweden
Mikael Krekola , Ericsson AB, Gothenburg, Sweden
Magnus Christerson , Intentional Software Corporation, Bellevue, WA, U.S.A.
Mats Helander , Intentional Software Corporation, Bellevue, WA, U.S.A.
pp. 17-29

An EMF-based toolkit for creation of domain-specific data services (Abstract)

Andreas Bender , Steinbuch Centre for Computing (SCC), Karlsruhe Institute of Technology (KIT), Hermann-von-Helmholtz-Platz 1, 76344 Eggenstein-Leopoldshafen, Karlsruher, Germany
Stefan Bozic , Steinbuch Centre for Computing (SCC), Karlsruhe Institute of Technology (KIT), Hermann-von-Helmholtz-Platz 1, 76344 Eggenstein-Leopoldshafen, Karlsruher, Germany
Ivan Kondov , Steinbuch Centre for Computing (SCC), Karlsruhe Institute of Technology (KIT), Hermann-von-Helmholtz-Platz 1, 76344 Eggenstein-Leopoldshafen, Karlsruher, Germany
pp. 30-40

A graph-based algorithm for three-way merging of ordered collections in EMF models (Abstract)

Felix Schwagerl , Applied Computer Science 1, University of Bayreuth, Universitätsstr. 30, 95440, Germany
Sabrina Uhrig , Applied Computer Science 1, University of Bayreuth, Universitätsstr. 30, 95440, Germany
Bernhard Westfechtel , Applied Computer Science 1, University of Bayreuth, Universitätsstr. 30, 95440, Germany
pp. 41-54

Collaborative editing of EMF/Ecore meta-models and models conflict detection, reconciliation, and merging in DiCoMEF (Abstract)

Amanuel Koshima , PReCISE Research Center, University of Namur, Belgium
Vincent Englebert , PReCISE Research Center, University of Namur, Belgium
pp. 55-66

A domain specific language for stepwise design of software architectures (Abstract)

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

Specifying trace directives for UML attributes and state machines (Abstract)

Hamoud Aljamaan , School of Electrical Engineering and Computer Science, University of Ottawa, Ontario, Canada
Timothy C. Lethbridge , School of Electrical Engineering and Computer Science, University of Ottawa, Ontario, Canada
Omar Badreddin , School of Electrical Engineering and Computer Science, University of Ottawa, Ontario, Canada
Geoffrey Guest , School of Electrical Engineering and Computer Science, University of Ottawa, Ontario, Canada
Andrew Forward , School of Electrical Engineering and Computer Science, University of Ottawa, Ontario, Canada
pp. 79-86

What are the used activity diagram constructs? a survey (Abstract)

Gianna Reggio , DIBRIS, Università di Genova, Italy
Maurizio Leotta , DIBRIS, Università di Genova, Italy
Filippo Ricca , DIBRIS, Università di Genova, Italy
Diego Clerissi , DIBRIS, Università di Genova, Italy
pp. 87-98

Modeling of tool integration resources with OSLC support (Abstract)

Weiqing Zhang , Department of Informatics, University of Oslo, Norway
Birger Moller-Pedersen , Department of Informatics, University of Oslo, Norway
pp. 99-110

Typing and subtyping of metamodels (Abstract)

Henning Berg , Department of Informatics, University of Oslo, Norway
Birger Moller-Pedersen , Department of Informatics, University of Oslo, Norway
pp. 111-118

Signature required making simulink data flow and interfaces explicit (Abstract)

Marc Bender , Department of Computing and Software, McMaster University, Hamilton, ON, Canada
Karen Laurin , Department of Computing and Software, McMaster University, Hamilton, ON, Canada
Mark Lawford , Department of Computing and Software, McMaster University, Hamilton, ON, Canada
Jeff Ong , Department of Computing and Software, McMaster University, Hamilton, ON, Canada
Steven Postma , Department of Computing and Software, McMaster University, Hamilton, ON, Canada
Vera Pantelic , Department of Computing and Software, McMaster University, Hamilton, ON, Canada
pp. 119-131

Short seminars on MDE technologies international experiences (Abstract)

Milosz Marek , Institute of Computer Science, Lublin University of Technology, Nadbystrzycka 36B, Poland
Plechawska-Wojcik Malgorzata , Institute of Computer Science, Lublin University of Technology, Nadbystrzycka 36B, Poland
pp. 132-137

An Aspect-Oriented Model transformation to weave security using CVL (Abstract)

Jose-Miguel Horcas , CAOSD Group, Departamento de Lenguajes y Ciencias de la Computación, University of Málaga, Spain
Monica Pinto , CAOSD Group, Departamento de Lenguajes y Ciencias de la Computación, University of Málaga, Spain
Lidia Fuentes , CAOSD Group, Departamento de Lenguajes y Ciencias de la Computación, University of Málaga, Spain
pp. 138-150

Blank page (PDF)

pp. 1

Short papers (PDF)

pp. 1

Blank page (PDF)

pp. 1

Parsing abstract syntax graphs with ModelCC (Abstract)

Luis Quesada , Department of Computer Science and Artificial Intelligence, University of Granada, CITIC, 18071, Spain
Fernando Berzal , Department of Computer Science and Artificial Intelligence, University of Granada, CITIC, 18071, Spain
Juan-Carlos Cubero , Department of Computer Science and Artificial Intelligence, University of Granada, CITIC, 18071, Spain
pp. 151-157

A domain-specific language for abstract syntax model to concrete syntax model mappings (Abstract)

Luis Quesada , Department of Computer Science and Artificial Intelligence, University of Granada, CITIC, 18071, Spain
Fernando Berzal , Department of Computer Science and Artificial Intelligence, University of Granada, CITIC, 18071, Spain
Juan-Carlos Cubero , Department of Computer Science and Artificial Intelligence, University of Granada, CITIC, 18071, Spain
pp. 158-165

Model-based systems engineering tools devoloping the GUILTE system (Abstract)

Ana Luisa Ramos , Department of Economics, Management and Industrial Engineering, GOVCOPP Research Unit, University of Aveiro, Campo de Santiago, 3810-193, Portugal
Jose Vasconcelos Ferreira , Department of Economics, Management and Industrial Engineering, GOVCOPP Research Unit, University of Aveiro, Campo de Santiago, 3810-193, Portugal
pp. 166-173

Model matching for Model Transformation a meta-heuristic approach (Abstract)

Hajer Saada , LIRMM, Université Montpellier 2, CNRS, France
Marianne Huchard , LIRMM, Université Montpellier 2, CNRS, France
Clementine Nebut , LIRMM, Université Montpellier 2, CNRS, France
Houari Sahraoui , Université de Montréal, Canada
pp. 174-181

Towards a systematic, tool-independent methodology for defining the execution semantics of UML profiles with fUML (Abstract)

Jeremie Tatibouet , CEA, LIST, Laboratory of Model Driven Engineering for Embedded Systems, P.C. 174, Gif-sur-Yvette, 91191, France
Arnaud Cuccuru , CEA, LIST, Laboratory of Model Driven Engineering for Embedded Systems, P.C. 174, Gif-sur-Yvette, 91191, France
Sebastien Gerard , CEA, LIST, Laboratory of Model Driven Engineering for Embedded Systems, P.C. 174, Gif-sur-Yvette, 91191, France
Francois Terrier , CEA, LIST, Laboratory of Model Driven Engineering for Embedded Systems, P.C. 174, Gif-sur-Yvette, 91191, France
pp. 182-192

Pattern-based mapping of OCL specifications to JML contracts (Abstract)

Ali Hamie , Computing Division, Brighton University, U.K.
pp. 193-200

A case study of combining compositional and object-oriented software development (Abstract)

Enn Tyugu , Institute of Cybernetics, Tallinn University of Technology, Estonia
Mait Harf , Institute of Cybernetics, Tallinn University of Technology, Estonia
Pavel Grigorenko , Institute of Cybernetics, Tallinn University of Technology, Estonia
pp. 201-208

Hardware In the Loop for VDM-real time modeling of embedded systems (Abstract)

Jose Antonio Esparza Isasa , Department of Engineering, Aarhus University, Finlandsgade 22, Denmark
Peter Wurtz Vinther Jorgensen , Department of Engineering, Aarhus University, Finlandsgade 22, Denmark
Peter Gorm Larsen , Department of Engineering, Aarhus University, Finlandsgade 22, Denmark
pp. 209-216

Model composition for biological mathematical systems (Abstract)

Mandeep Gill , Department of Computer Science, University of Oxford, Parks Road, U.K.
Steve McKeever , Department of Informatics and Media Studies, Uppsala University, Sweden
David Gavaghan , Department of Computer Science, University of Oxford, Parks Road, U.K.
pp. 217-224

A test-driven approach for developing software languages (Abstract)

Omar Badreddin , School of Electrical Engineering and Computer Science (EECS), University of Ottawa, Canada
Andrew Forward , School of Electrical Engineering and Computer Science (EECS), University of Ottawa, Canada
Timothy C. Lethbridge , School of Electrical Engineering and Computer Science (EECS), University of Ottawa, Canada
pp. 225-234

Enhanced code generation from UML composite state machines (Abstract)

Omar Badreddin , School of Electrical Engineering and Computer Science, University of Ottawa, Ontario, Canada
Timothy C. Lethbridge , School of Electrical Engineering and Computer Science, University of Ottawa, Ontario, Canada
Andrew Forward , School of Electrical Engineering and Computer Science, University of Ottawa, Ontario, Canada
Maged Elaasar , Department of Systems and Computer Engineering, Carleton University, Ottawa, Ontario, Canada
Hamoud Aljamaan , School of Electrical Engineering and Computer Science, University of Ottawa, Ontario, Canada
Miguel A. Garzon , School of Electrical Engineering and Computer Science, University of Ottawa, Ontario, Canada
pp. 235-245

Defining Domain Specific Transformations in Human-Computer interfaces development (Abstract)

Jean-Sebastien Sottet , Public Research Center Henri Tudor, 29 Avenue John F. Kennedy, Luxembourg, Luxembourg
Alain Vagner , Public Research Center Henri Tudor, 29 Avenue John F. Kennedy, Luxembourg, Luxembourg
pp. 246-253

A novel approach to versioning and merging model and code uniformly (Abstract)

Omar Badreddin , University of Ottawa, 800 King Edward, Ontario, Canada
Timothy C. Lethbridge , University of Ottawa, 800 King Edward, Ontario, Canada
Andrew Forward , University of Ottawa, 800 King Edward, Ontario, Canada
pp. 254-263

Investigation and evaluation of UML Action Languages (Abstract)

Omar Badreddin , University of Ottawa, 800 King Edward, Ontario, Canada
Timothy C. Lethbridge , University of Ottawa, 800 King Edward, Ontario, Canada
Andrew Forward , University of Ottawa, 800 King Edward, Ontario, Canada
pp. 264-273

Analysis and validation of AUTOSAR models (Abstract)

Julian Kienberger , Department of Computer Science, University of Augsburg, Germany
Pascal Minnerup , fortiss GmbH, An-Institut Technische Universität München, Munich, Germany
Stefan Kuntz , Division Powertrain, Continental Automotive GmbH, Regensburg, Germany
Bernhard Bauer , Department of Computer Science, University of Augsburg, Germany
pp. 274-281

A framework for model recommenders requirements, architecture and tool support (Abstract)

Andrej Dyck , Software Construction, RWTH Aachen University, Ahornstr. 55, 52074, Germany
Andreas Ganser , Software Construction, RWTH Aachen University, Ahornstr. 55, 52074, Germany
Horst Lichter , Software Construction, RWTH Aachen University, Ahornstr. 55, 52074, Germany
pp. 282-290

On designing recommenders for graphical domain modeling environments (Abstract)

Andrej Dyck , Software Construction, RWTH Aachen University, Ahornstr. 55, 52074, Germany
Andreas Ganser , Software Construction, RWTH Aachen University, Ahornstr. 55, 52074, Germany
Horst Lichter , Software Construction, RWTH Aachen University, Ahornstr. 55, 52074, Germany
pp. 291-299

A recipe for tool interoperability (Abstract)

Andreas Baumgart , OFFIS, Escherweg 2, 26121 Oldenburg, Germany
Christian Ellen , OFFIS, Escherweg 2, 26121 Oldenburg, Germany
pp. 300-308

A bottom up SPL design method (Abstract)

Jihen Maazoun , Mir@cl Laboratory, Faculté des Sciences Economiques et de Gestion, Sfax University, Tunisia
Nadia Bouassida , Institut Supérieur d'Informatique et de Multimédia, Sfax University, Tunisia
Hanene Ben-Abdallah , FCIT, King Abdulaziz University, Jeddah, Kingdom of Saudi Arabia
pp. 309-316

A formal semantics for Sequence Diagrams and a strategy for system analysis (Abstract)

Lucas Lima , Centro de Informática, Universidade Federal de Pernambuco, Recife, Brazil
Juliano Iyoda , Centro de Informática, Universidade Federal de Pernambuco, Recife, Brazil
Augusto Sampaio , Centro de Informática, Universidade Federal de Pernambuco, Recife, Brazil
pp. 317-324

A language for enabling model-driven analysis of business processes (Abstract)

Paolo Bocciarelli , Department of Enterprise Engineering, University of Rome Tor Vergata, Italy
Andrea D'Ambrogio , Department of Enterprise Engineering, University of Rome Tor Vergata, Italy
Emiliano Paglia , Department of Enterprise Engineering, University of Rome Tor Vergata, Italy
pp. 325-332

Validating the functional design of embedded systems against stakeholder intentions (Abstract)

Marian Daun , Paluno, The Ruhr Institute for Software Technology, University of Duisburg, Essen, Germany
Thorsten Weyer , Paluno, The Ruhr Institute for Software Technology, University of Duisburg, Essen, Germany
Klaus Pohl , Paluno, The Ruhr Institute for Software Technology, University of Duisburg, Essen, Germany
pp. 333-339

Semantic approach to automatically defined model transformation (Abstract)

Tiexin Wang , Centre Genie Industriel, University de Toulouse - Mines Albi, Campus Jarlard, 81000, France
Sebastien Truptil , Centre Genie Industriel, University de Toulouse - Mines Albi, Campus Jarlard, 81000, France
Frederick Benaben , Centre Genie Industriel, University de Toulouse - Mines Albi, Campus Jarlard, 81000, France
pp. 340-347

Verbalization of business rules: Application to OCL constraints in the utility domain (Abstract)

Rayhana Baghli , PRiSM, University of Versailles Saint-Quentin-en-Yvelines, France
Bruno Traverson , PRiSM, University of Versailles Saint-Quentin-en-Yvelines, France
pp. 348-355

Natural-language scenario descriptions for testing core language models of domain-specific languages (Abstract)

Bernhard Hois , Institute for Information Systems and New Media, WU Vienna, Austria
Stefan Sobernig , Institute for Information Systems and New Media, WU Vienna, Austria
Mark Strembeck , Institute for Information Systems and New Media, WU Vienna, Austria
pp. 356-367

Architectural specification and analysis with XCD (Abstract)

Mert Ozkaya , Department of Computer Science, City University London, U.K.
Christos Kloukinas , Department of Computer Science, City University London, U.K.
pp. 368-375

A new flexible method for advising metamodel matching (Abstract)

Lamine Lafi , University of Gabès, Laboratory Miracl, Tunisia
Jamel Feki , University of Sfax, Laboratory Miracl, Tunisia
Slimane Hammoudi , ESEO, Ecole Supérieure de l'Ouest, Angers, France
pp. 376-383

Automated composition of sequence diagrams via alloy (Abstract)

Mohammed Alwanain , School of Computer Science, University of Birmingham, U.K.
Behzad Bordbar , School of Computer Science, University of Birmingham, U.K.
Juliana K. F. Bowles , School of Computer Science, University of St Andrews, Scotland
pp. 384-391

The Eclipse Java Metamodel: Scaffolding software engineering research on Java projects with MDE techniques (Abstract)

Pedro Janeiro Coimbra , ADETTI-IUL, Av.a das Forças Armadas, 1649-026 Lisboa, Portugal
Fernando Brito e Abreu , DCTI, ISCTE-IUL, Av.a das Forças Armadas, 1649-026 Lisboa, Portugal
pp. 392-399

Model-driven GUI generation and navigation for Android BIS apps (Abstract)

Luis Pires da Silva , DCTI, ISCTE-IUL, Ava das Forças Armadas, 1649-026, Lisboa, Portugal
Fernando Brito e Abreu , DCTI, ISCTE-IUL, Ava das Forças Armadas, 1649-026, Lisboa, Portugal
pp. 400-407

A pattern language for use case modeling (Abstract)

Antonio Miguel Rosado da Cruz , Escola Superior de Tecnologia e Gestão, Instituto Politécnico de Viana do Castelo, Av. Do Atlântico, s/n, Portugal
pp. 408-414

Compiling graph transformation rules into a procedural language for behavioral modeling (Abstract)

Sabine Winetzhammer , Applied Computer Science I, University of Bayreuth, Germany
Bernhard Westfechtel , Applied Computer Science I, University of Bayreuth, Germany
pp. 415-424

Transformation BPEL processes to RECATNet for analysing Web services compositions (Abstract)

Ahmed Kheldoun , Computer Science Department, Yahia Fares University, Medea, Algeria
Malika Ioualalen , Computer Science Department, USTHB University, Algiers, Algeria
pp. 425-430

Survey of graph rewriting applied to model transformations (Abstract)

Francisco de la Parra , School of Computing, Queen's University, Kingston, Ontario, Canada
Thomas Dean , School of Computing, Queen's University, Kingston, Ontario, Canada
pp. 431-441

iArch - An IDE for supporting abstraction-aware design traceability (Abstract)

Di Ai , Kyushu University, Fukuoka, Japan
Naoyasu Ubayashi , Kyushu University, Fukuoka, Japan
Peiyuan Li , Kyushu University, Fukuoka, Japan
Shintaro Hosoai , Kyushu University, Fukuoka, Japan
Yasutaka Kamei , Kyushu University, Fukuoka, Japan
pp. 442-447

An approach to class diagram design (Abstract)

Chebanyuk Elena , Software Engineering Department, National Aviation University, Ave Komarova 1, Kyiv, Ukraine
pp. 448-453

A deployment-oriented development process based on context variability modeling (Abstract)

Ka Chun Anthony Lee , Department of Computer Science, Telecom Bretagne, Brest, France
Maria-Teresa Segarra , Department of Computer Science, Telecom Bretagne, Brest, France
Stephane Guelec , Orange Labs, Lannion, France
pp. 454-459

Resourcebus: A new substrate for model-driven creations (Abstract)

Petr C. Smolik , Metada s.r.o., Antala Staska 64, Prague, Czech Republic
Pavel Vitkovsky , Metada s.r.o., Antala Staska 64, Prague, Czech Republic
pp. 460-465

Towards co-evolution in model-driven development via bidirectional higher-order transformation (Abstract)

Bernhard Hoisl , Institute for Information Systems and New Media, WU Vienna, Austria
Zhenjiang Hu , National Institute of Informatics, Tokyo, Japan
Soichiro Hidaka , National Institute of Informatics, Tokyo, Japan
pp. 466-471

Toward evolution models for data warehouses (Abstract)

Said Taktak , University of Sfax, FSEGS Faculty, P.O. Box 1088, Miracl Laboratory, Tunisia
Jamel Feki , University of Sfax, FSEGS Faculty, P.O. Box 1088, Miracl Laboratory, Tunisia
Gilles Zurfluh , University of Toulouse 1 Capitole, IRIT, France
pp. 472-479

Runtime assertion checking and theorem proving for concurrent and distributed systems (Abstract)

Crystal Chang Din , University of Oslo, Norway
Olaf Owe , University of Oslo, Norway
Richard Bubel , Technische Universität Darmstadt, Germany
pp. 480-487

Extending UML testing profile towards non-functional test modeling (Abstract)

Federico Toledo Rodriguez , Abstracta, Montevideo, Uruguay
Francesca Lonetti , CNR-ISTI, Pisa, Italy
Antonia Bertolino , CNR-ISTI, Pisa, Italy
Macario Polo Usaola , Alarcos Research Group, UCLM, Ciudad Real, Spain
Beatriz Perez Lamancha , Alarcos Research Group, UCLM, Ciudad Real, Spain
pp. 488-497

Domain-specific languages as tools for teaching 3D graphics (Abstract)

Jacek Kesik , Inst. of Comput. Sci., Lublin Univ. of Technol., Lublin, Poland
Kamil Zyla , Inst. of Comput. Sci., Lublin Univ. of Technol., Lublin, Poland
pp. 498-508

Blank page (PDF)

pp. 1

Blank page (PDF)

pp. 1

Full paper (PDF)

pp. 1

Blank page (PDF)

pp. 1

Staged model-driven generators: Shifting responsibility for code emission to embedded metaprograms (Abstract)

Yannis Lilis , Institute of Computer Science, FORTH, Heraklion, Crete, Greece
Anthony Savidis , Institute of Computer Science, FORTH, Heraklion, Crete, Greece
Yannis Valsamakis , Institute of Computer Science, FORTH, Heraklion, Crete, Greece
pp. 509-524

Blank page (PDF)

pp. 1

Short papers (PDF)

pp. 1

Blank page (PDF)

pp. 1

SWB process: A business process management system driven by semantic technologies (Abstract)

Hasdai Pacheco , Fund of Information and Documentation for the Industry INFOTEC, Mexico DF, Mexico
Karen Najera , Fund of Information and Documentation for the Industry INFOTEC, Mexico DF, Mexico
Hugo Estrada , Fund of Information and Documentation for the Industry INFOTEC, Mexico DF, Mexico
Javier Solis , Fund of Information and Documentation for the Industry INFOTEC, Mexico DF, Mexico
pp. 525-532

A model-based tool for generating software process model tailoring transformations (Abstract)

Luis Silvestre , Computer Science Department, Universidad de Chile, Santiago, Chile
Maria Cecilia Bastarrica , Computer Science Department, Universidad de Chile, Santiago, Chile
Sergio F. Ochoa , Computer Science Department, Universidad de Chile, Santiago, Chile
pp. 533-540

Key features for a successful model-driven development tool (Abstract)

Beatriz Marin , Facultad de Ingeniería, Universidad Diego Portales, Av. Ejército 441, Santiago, Chile
Andres Salinas , Facultad de Ingeniería, Universidad Diego Portales, Av. Ejército 441, Santiago, Chile
Juan Morande , Facultad de Ingeniería, Universidad Diego Portales, Av. Ejército 441, Santiago, Chile
Giovanni Giachetti , Facultad de Ingeniería, Universidad Andres Bello, Sazié 2325, Santiago, Chile
Jose de la Vara , Certus Centre for Software V&V, Simula Research Laboratory, P.O.Box 134, 1325 Lysaker, Norway
pp. 541-548

On the support of multi-perspective process models variability for smart environments (Abstract)

Aitor Murguzur , Information Technologies Area, IK4-Ikerlan Research Center, Arrasate-Mondragón, Spain
Xabier de Carlos , Information Technologies Area, IK4-Ikerlan Research Center, Arrasate-Mondragón, Spain
Salvador Trujillo , Information Technologies Area, IK4-Ikerlan Research Center, Arrasate-Mondragón, Spain
Goiuria Sagardui , Software and Web Engineering Group, Mondragon University, Arrasate-Mondragón, Spain
pp. 549-554

Blank page (PDF)

pp. 1

An approach based on SysML and SystemC to simulate complex systems (Abstract)

Abbas Abdulhameed , Femto-ST Institute, University of Franche-Comt, Besanon, France
Ahmed Hammad , Femto-ST Institute, University of Franche-Comt, Besanon, France
Hassan Mountassir , Femto-ST Institute, University of Franche-Comt, Besanon, France
Bruno Tatibouet , Femto-ST Institute, University of Franche-Comt, Besanon, France
pp. 555-560

Integrating testing into Agile software development processes (Abstract)

R. van den Broek , JEM-id, Amersfoort, The Netherlands
M. M. Bonsangue , LIACS - Leiden University, The Netherlands
M. Chaudron , Chalmers - University of Gothenburg, Sweden
H. van Merode , KLM Royal Dutch Airlines, Schipool, The Netherlands
pp. 561-574

Blank page (PDF)

pp. 1

Full paper (PDF)

pp. 1

Blank page (PDF)

pp. 1

The MDArte experience: OrgAnizational aspects acquired from a successful partnership between government and academia using model-driven development (Abstract)

Rodrigo Salvador Monteiro , Computer Science Department, Fluminense Federal University (UFF), Niterói, Brazil
Roque Elias Assumpcao Pinel , COPPE, Graduate School of Engineering, Federal University of Rio de Janeiro (UFRJ), Brazil
Geraldo Zimbrao , COPPE, Graduate School of Engineering, Federal University of Rio de Janeiro (UFRJ), Brazil
Jano Moreira de Souza , COPPE, Graduate School of Engineering, Federal University of Rio de Janeiro (UFRJ), Brazil
pp. 575-586

Short paper (PDF)

pp. 1

Blank page (PDF)

pp. 1

Supporting concurrent development of requirements and architecture: A model-based approach (Abstract)

Andreas Vogelsang , Institut für Informatik, Technische Universität München, Germany
Sebastian Eder , Institut für Informatik, Technische Universität München, Germany
Georg Hackenberg , Institut für Informatik, Technische Universität München, Germany
Maximilian Junker , Institut für Informatik, Technische Universität München, Germany
Sabine Teufl , fortiss GmbH, München, Germany
pp. 587-595

Blank page (PDF)

pp. 1

Blank page (PDF)

pp. 1

Full papers (PDF)

pp. 1

Blank page (PDF)

pp. 1

The ETSI Test Description Language TDL and its application (Abstract)

Andreas Ulrich , Siemens AG, Corporate Technology, Munich, Germany
Sylvia Jell , Siemens AG, Corporate Technology, Munich, Germany
Anjelika Votintseva , Siemens AG, Corporate Technology, Munich, Germany
Andres Kull , Elvior, Tallinn, Estonia
pp. 601-608

Towards a method for combined model-based testing and analysis (Abstract)

Brian Nielsen , Department of Computer Science, Aalborg University, Selma Lagerlöfsvej 300, DK-9220, Denmark
pp. 609-618

Integrating model-based formal timing analysis in the industrial development process of satellite on-board software (Abstract)

Rafik Henia , Thales Research & Technology, 1 Avenue Augustin Fresenl, 91767, Palaiseau Cedex, France
Laurent Rioux , Thales Research & Technology, 1 Avenue Augustin Fresenl, 91767, Palaiseau Cedex, France
Nicolas Sordon , Thales Research & Technology, 1 Avenue Augustin Fresenl, 91767, Palaiseau Cedex, France
Gerald-Emmanuel Garcia , Thales Alenia Space, 5 Allée des Gabians BP 99, 06156 Cannes la Bocca Cedex, France
Marco Panunzio , Thales Alenia Space, 5 Allée des Gabians BP 99, 06156 Cannes la Bocca Cedex, France
pp. 619-625

Formal test-driven development with verified test cases (Abstract)

Bernhard K. Aichernig , Institute for Software Technology, Graz University of Technology, Austria
Florian Lorber , Institute for Software Technology, Graz University of Technology, Austria
Stefan Tiran , Institute for Software Technology, Graz University of Technology, Austria
pp. 626-635

Combining test and proof in MBAT: An aerospace case study (Abstract)

Michael Dierkes , Rockwell Collins France, 6 avenue Didier Daurat, 31701 Blagnac, France
pp. 636-644

Creating a reference technology platform: Performing model-based safety analysis in a heterogeneous development environment (Abstract)

Omar Kacimi , OFFIS, Escherweg 2, 26121 Oldenburg, Germany
Christian Ellen , OFFIS, Escherweg 2, 26121 Oldenburg, Germany
Markus Oertel , OFFIS, Escherweg 2, 26121 Oldenburg, Germany
Daniel Sojka , OFFIS, Escherweg 2, 26121 Oldenburg, Germany
pp. 645-656

Blank page (PDF)

pp. 1

Full papers (PDF)

pp. 1

Blank page (PDF)

pp. 1

Information models and transformation principles applied to servitization of manufacturing and service systems design (Abstract)

Carlos Agostinho , Centre of Technology and Systems, CTS, Uninova, 2829-516, Caparica, Portugal
Hassan Bazoun , University of Bordeaux - IMS/LAPS, 33405, Talence Cedex, France
Gregory Zacharewicz , University of Bordeaux - IMS/LAPS, 33405, Talence Cedex, France
Yves Ducq , University of Bordeaux - IMS/LAPS, 33405, Talence Cedex, France
Hadrien Boye , Hardis Ouest, 44800, Saint Herblain, France
pp. 657-665

SLMToolBox: A tool set for service engineering (Abstract)

H. Boye , Hardis Ouest, 44800 Saint-Herblain, France
H. Bazoun , Hardis Ouest, 44800 Saint-Herblain, France
K. Belkhelladi , Hardis Ouest, 44800 Saint-Herblain, France
pp. 666-672

Toward a unified intercloud interoperability conceptual model for IaaS cloud service (Abstract)

Tahereh Nodehi , Departamento de Engenharia Electrotecnica, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (UNL), Campus de Caparica, Portugal
Sudeep Ghimire , UNINOVA, Departamento de Engenharia Electrotecnica, Faculdade de Ciencias e Tecnologia, UNL, Lisboa, Portugal
Ricardo Jardim-Goncalves , CTS, UNINOVA, Departamento de Engenharia Electrotecnica, Faculdade de Ciências e Tecnologia, UNL, Lisboa, Portugal
pp. 673-681

Modelling services for interoperability negotiation (Abstract)

Carlos Coutinho , Caixa Mágica Software, Rua Soeiro Pereira Gomes, Lote 1-4 B, 1600-196, Lisboa, Portugal
Adina Cretan , “Nicolae Titulescu” University, 185 Calea Văcăreşti, District 4, Bucharest, 040051, Romania
Ricardo Jardim-Goncalves , CTS, Faculdade de Ciencias e Tecnologia, Universidade Nova de Lisboa, UNINOVA, Portugal
pp. 682-688

Author index (PDF)

pp. 689-691

Back cover (PDF)

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