Vol-1508
urn:nbn:de:0074-1508-4

Copyright © 2015 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

ACES-MB-WUCOR 2015
Joint Proceedings of ACES-MB and WUCOR 2015

Joint Proceedings of the 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems and 1st International Workshop on UML Consistency Rules (ACES-MB 2015 & WUCOR 2015)
co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015)

Ottawa, Canada, September 28, 2015.

Edited by

ACES-MB Chairs

Iulia Dragomir *
Susanne Graf
Gabor Karsai *
Florian Noyrit
Iulian Ober *

* Aalto University, Finland
** CNRS-VERIMAG, France
*** ISIS, Vanderbilt University, USA
**** CEA List, France
***** IRIT-University of Toulouse, France

WUCOR Chairs

Damiano Torre *
Yvan Labiche
Marcela Genero *
Maged Elaasar ****

* Carleton University Software Quality Engineering Laboratory, Ottawa, Canada, and
University of Castilla-La Mancha, ALARCOS Research Group, Ciudad Real, Spain
** Carleton University Software Quality Engineering Laboratory, Ottawa, Canada
*** University of Castilla-La Mancha, ALARCOS Research Group, Ciudad Real, Spain
**** Carleton University Software Quality Engineering Laboratory, Ottawa, Canada

Complete workshop proceedings as one file.

Table of Contents

8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems

Introduction to ACES-MB 2015 1-2
Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober
Analytic Dependency Loops in Architectural Models of Cyber-Physical Systems 3-10
Ivan Ruchkin, Bradley Schmerl, David Garlan
Behavioral Types for Space-aware Systems 11-18
Jan Olaf Blech, Peter Herrmann
AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems 19-26
Vincent Aravantinos, Sebastian Voss, Sabine Teufl, Florian Hölzl, Bernhard Schätz

1st International Workshop on UML Consistency Rules

Introduction to WUCOR 2015 27-28
Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar
Consistency Rules for UML-based Domain-specific Language Models: A Literature Review 29-36
Bernhard Hoisl, Stefan Sobernig
Proposal for Improving the UML Abstract Syntax 37-44
Dan Chiorean, Vladiela Petraşcu, Ioana Chiorean

2015-11-11: submitted by Iulia Dragomir, metadata incl. bibliographic data published under Creative Commons CC0
2015-11-11: published on CEUR-WS.org |valid HTML5|