MODULARITY Companion 2016
15th International Conference on Modularity (MODULARITY Companion 2016)
Powered by
Conference Publishing Consulting

15th International Conference on Modularity (MODULARITY Companion 2016), March 14–17, 2016, Málaga, Spain

MODULARITY Companion 2016 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page

Article: modularitycomp16foreword-fm000-p (type: Frontmatter) doi:
Message from the General Chair

Article: modularitycomp16foreword-fm001-p (type: Frontmatter) doi:
Messages from the PC Chairs

Article: modularitycomp16foreword-fm002-p (type: Frontmatter) doi:
Modularity 2016 Organization

Article: modularitycomp16foreword-fm003-p (type: Frontmatter) doi:
Message from the Chairs of the Workshop CROW 2016

Article: modularitycomp16foreword-ws2-p (type: Frontmatter) doi:
Message from the Chairs of the Workshop FOAL 2016

Article: modularitycomp16foreword-ws3-p (type: Frontmatter) doi:
Message from the Chairs of the Workshop LaMOD 2016

Article: modularitycomp16foreword-ws4-p (type: Frontmatter) doi:
Message from the Chairs of the Workshop LASSY 2016

Article: modularitycomp16foreword-ws5-p (type: Frontmatter) doi:
Message from the Chairs of the Workshop MASS 2016

Article: modularitycomp16foreword-ws6-p (type: Frontmatter) doi:
Message from the Chairs of the Workshop MOMO 2016

Article: modularitycomp16foreword-ws7-p (type: Frontmatter) doi:

Keynotes

Constraints and Modularity (Keynote)
Alan Borning
(University of Washington, USA)

Article: modularitycomp16key-key3-p (type: Abstract (1 Page)) doi:
From Crosscutting Concerns to Feature Interactions: A Tale of Misunderstandings and Enlightenments (Keynote)
Sven Apel
(University of Passau, Germany)

Article: modularitycomp16key-key2-p (type: Abstract (1 Page)) doi:
Simulating Cities: A Systems Design Perspective (Keynote)
Cristina V. Lopes
(University of California at Irvine, USA)

Article: modularitycomp16key-key1-p (type: Abstract (1 Page)) doi:

Tool Demonstrations

Modular Modeling with a Computational Twist in MetaMod
Ana Maria Şutîi, Tom Verhoeff, and Mark van den Brand
(Eindhoven University of Technology, Netherlands)

Article: modularitycomp16demo-demop01-p (type: Short Paper (4 pages)) doi:
Tool Support for Component-Based Semantics
L. Thomas van Binsbergen, Neil Sculthorpe, and Peter D. Mosses
(Royal Holloway University of London, UK; Swansea University, UK)

Article: modularitycomp16demo-demop02-p (type: Short Paper (4 pages)) doi:
Development Environment for Literal Inter-Language Use Case Driven Modularization
Michal Bystrický and Valentino Vranić
(Slovak University of Technology in Bratislava, Slovakia)

Article: modularitycomp16demo-demop03-p (type: Short Paper (4 pages)) doi:
Dynamic Software Evolution through Interpreter Adaptation
Walter Cazzola and Albert Shaqiri
(University of Milan, Italy)

Article: modularitycomp16demo-demop04-p (type: Short Paper (4 pages)) doi:

Student Research Competition

Selective Process Instrumentation in Virtual Machine
Ivan Vasilev
(NovSU, Russia)

Article: modularitycomp16src-srcid1-p (type: Abstract (1 Page)) doi:
Language Oriented Modularity: From Theory to Practice
Arik Hadas
(Open University of Israel, Israel)

Article: modularitycomp16src-srcid2-p (type: Abstract (1 Page)) doi:
The Modularity of Object Propositions
Ligia Nistor
(Carnegie Mellon University, USA)

Article: modularitycomp16src-srcid4-p (type: Abstract (1 Page)) doi:

Workshop on Constrained and Reactive Objects (CROW 2016)

Reactive Object Queries: Consistent Views in Object-Oriented Languages
Stefan Lehmann, Tim Felgentreff, Jens Lincke, Patrick Rein, and Robert Hirschfeld
(HPI, Germany)

Article: modularitycomp16crow-crowid2-p (type: Full Paper (10 pages)) doi:
Reactive Programming with Reactive Variables
Christopher Schuster and Cormac Flanagan
(University of California at Santa Cruz, USA)

Article: modularitycomp16crow-crowid8-p (type: Short Paper (5 pages)) doi:
Toward a New Constraint Imperative Programming Language for Interactive Graphics
Hiroshi Hosobe
(Hosei University, Japan)

Article: modularitycomp16crow-crowid5-p (type: Short Paper (5 pages)) doi:
Emfrp: A Functional Reactive Programming Language for Small-Scale Embedded Systems
Kensuke Sawada and Takuo Watanabe
(Tokyo Institute of Technology, Japan)

Article: modularitycomp16crow-crowid7-p (type: Full Paper (10 pages)) doi:
Wallingford: Toward a Constraint Reactive Programming Language
Alan Borning
(University of Washington, USA)

Article: modularitycomp16crow-crowid3-p (type: Short Paper (5 pages)) doi:
A Library-Based Approach to Context-Dependent Computation with Reactive Values: Suppressing Reactions of Context-Dependent Functions using Dynamic Binding
Hiroaki Inoue and Atsushi Igarashi
(Kyoto University, Japan)

Article: modularitycomp16crow-crowid6-p (type: Short Paper (5 pages)) doi:
Enabling Modular Persistence for Reactive Data Models in F# Client-Server Web Applications
Loïc Denuzière and Adam Granicz
(IntelliFactory, Hungary)

Article: modularitycomp16crow-crowid4-p (type: Full Paper (10 pages)) doi:
Automatically Selecting and Optimizing Constraint Solver Procedures for Object-Constraint Languages
Tim Felgentreff, Stefan Lehmann, Robert Hirschfeld, Sebastian Gerstenberg, Jakob Reschke, Lars Rückert, Patrick Siegler, Jan Graichen, Christian Nicolai, and Malte Swart
(HPI, Germany)

Article: modularitycomp16crow-crowid1-p (type: Full Paper (10 pages)) doi:

Workshop on Foundations Of Aspect-Oriented Languages (FOAL 2016)

An Advice Mechanism for Non-local Flow Control
Hidehiko Masuhara, Kenta Fujita, and Tomoyuki Aotani
(Tokyo Institute of Technology, Japan)

Article: modularitycomp16foal-foalid3-p (type: Full Paper (6 pages)) doi:
Using Continuations and Aspects to Tame Asynchronous Programming on the Web
Paul Leger and Hiroaki Fukuda
(Universidad Católica del Norte, Chile; Shibaura Institute of Technology, Japan)

Article: modularitycomp16foal-foalid2-p (type: Short Paper (4 pages)) doi:
Toward Disposable Domain-Specific Aspect Languages
Arik Hadas and David H. Lorenz
(Open University of Israel, Israel; Technion, Israel)

Article: modularitycomp16foal-foalid4-p (type: Short Paper (3 pages)) doi:

Language Modularity À La Mode (LaMOD 2016)

A Lightweight Optimization Technique for Data Types à la Carte
Hirotada Kiriyama, Tomoyuki Aotani, and Hidehiko Masuhara
(Tokyo Institute of Technology, Japan)

Article: modularitycomp16lamod-lamodid5-p (type: Full Paper (5 pages)) doi:
Multi-level Debugging for Interpreter Developers
Bastian Kruck, Stefan Lehmann, Christoph Keßler, Jakob Reschke, Tim Felgentreff, Jens Lincke, and Robert Hirschfeld
(HPI, Germany)

Article: modularitycomp16lamod-lamodid3-p (type: Short Paper (3 pages)) doi:
Toward Practical Language Oriented Modularity
Arik Hadas and David H. Lorenz
(Open University of Israel, Israel; Technion, Israel)

Article: modularitycomp16lamod-lamodid1-p (type: Full Paper (5 pages)) doi:
Literal Inter-Language Use Case Driven Modularization
Michal Bystrický and Valentino Vranić
(Slovak University of Technology in Bratislava, Slovakia)

Article: modularitycomp16lamod-lamodid4-p (type: Full Paper (5 pages)) doi:
Towards Improving Interface Modularity in Legacy Java Software through Automated Refactoring
Raffi Khatchadourian, Olivia Moore, and Hidehiko Masuhara
(City University of New York, USA; Tokyo Institute of Technology, Japan)

Article: modularitycomp16lamod-lamodid2-p (type: Short Paper (3 pages)) doi:

Workshop on Live Adaptation of Software Systems (LASSY 2016)

Adaptation Scoping

Hierarchical Layer-Based Class Extensions in Squeak/Smalltalk
Matthias Springer, Hidehiko Masuhara, and Robert Hirschfeld
(Tokyo Institute of Technology, Japan; HPI, Germany)

Article: modularitycomp16lassy-lassyid6-p (type: Full Paper (6 pages)) doi:
Compatibility Layers for Interface Mediation at Run-Time
Patrick Rein, Robert Hirschfeld, Stefan Lehmann, and Jens Lincke
(HPI, Germany)

Article: modularitycomp16lassy-lassyid1-p (type: Full Paper (6 pages)) doi:

Software Processes

A Taxonomy of Context-Aware Software Variability Approaches
Kim Mens, Rafael Capilla, Nicolás Cardozo, and Bruno Dumas
(Université Catholique de Louvain, Belgium; Rey Juan Carlos University, Spain; Trinity College Dublin, Ireland; University of Namur, Belgium)

Article: modularitycomp16lassy-lassyid8-p (type: Full Paper (6 pages)) doi:
A Layer-Structure Diagram and a Layer-Interaction Diagram towards a Context-Oriented Development Methodology for Embedded Systems
Harumi Watanabe, Ikuta Tanigawa, Midori Sugaya, Nobuhiko Ogura, and Kenji Hisazumi
(Tokai University, Japan; Kyushu University, Japan; Shibaura Institute of Technology, Japan; Tokyo City University, Japan)

Article: modularitycomp16lassy-lassyid9-p (type: Full Paper (6 pages)) doi:
Towards the Dynamic Reconfiguration of Quality Attributes
Jose-Miguel Horcas, Mónica Pinto, and Lidia Fuentes
(University of Málaga, Spain)

Article: modularitycomp16lassy-lassyid4-p (type: Full Paper (6 pages)) doi:

Alternative Adaptation Models

A Dynamic Instance Binding Mechanism Supporting Run-Time Variability of Role-Based Software Systems
Nguonly Taing, Thomas Springer, Nicolás Cardozo, and Alexander Schill
(TU Dresden, Germany; Trinity College Dublin, Ireland)

Article: modularitycomp16lassy-lassyid3-p (type: Full Paper (6 pages)) doi:
Model for Fusion of Software Components
Juan-Alberto Hernández-Martínez and Ulises Juárez-Martínez
(Instituto Tecnológico de Orizaba, Mexico)

Article: modularitycomp16lassy-lassyid2-p (type: Extended Abstract (2 pages)) doi:

Workshop on Modularity Across the System Stack (MASS 2016)

Modular Real-Time Systems

Towards Availability and Real-Time Guarantees for Protected Module Architectures
Jo Van Bulck, Job Noorman, Jan Tobias Mühlberg, and Frank Piessens
(KU Leuven, Belgium)

Article: modularitycomp16mass-massid5-p (type: Full Paper (6 pages)) doi:

Systems and Contexts

Improving System Integration using a Modular Configuration Specification Language
Markus Raab
(Vienna University of Technology, Austria)

Article: modularitycomp16mass-massid3-p (type: Full Paper (6 pages)) doi:
Toward Fluent Module Interactions
Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara
(Ritsumeikan University, Japan; Tokyo Institute of Technology, Japan)

Article: modularitycomp16mass-massid1-p (type: Short Paper (2 pages)) doi:

Reflection

Static Meta-Object Protocols: Towards Efficient Reflective Object-Oriented Languages
Tony Clark
(Sheffield Hallam University, UK)

Article: modularitycomp16mass-massid6-p (type: Full Paper (8 pages)) doi:
A Design of Deep Reification
Shigeru Chiba, YungYu Zhuang, and Maximilian Scherr
(University of Tokyo, Japan)

Article: modularitycomp16mass-massid7-p (type: Short Paper (4 pages)) doi:
Towards Projection: Mapping Reflection onto the Userland
Nick Papoulias and Serge Stinckwich
(UMMISCO, France; UPMC, France)

Article: modularitycomp16mass-massid8-p (type: Short Paper (4 pages)) doi:

Systems and Aspects

Green Software using Aspect Orientation for Cyber-Physical-Systems
Nadia Gámez and Lidia Fuentes
(University of Málaga, Spain)

Article: modularitycomp16mass-massid2-p (type: Short Paper (2 pages)) doi:
Application-Specific Language-Oriented Modularity: A Case Study of the oVirt Project
Arik Hadas and David H. Lorenz
(Open University of Israel, Israel; Technion, Israel)

Article: modularitycomp16mass-massid4-p (type: Full Paper (6 pages)) doi:

Workshop on Modularity in Modelling (MOMO 2016)

On the Modularization Provided by Concern-Oriented Reuse
Matthias Schöttle, Omar Alam, Jörg Kienzle, and Gunter Mussbacher
(McGill University, Canada)

Article: modularitycomp16momo-momoid5-p (type: Full Paper (6 pages)) doi:
Towards Generic Modularization Transformations
Martin Fleck, Javier Troya, and Manuel Wimmer
(Vienna University of Technology, Austria; University of Seville, Spain)

Article: modularitycomp16momo-momoid4-p (type: Full Paper (6 pages)) doi:
Separation of Concerns in Epidemiological Modelling
Thi Mai Anh Bui, Mikal Ziane, Serge Stinckwich, Tuong Vinh Ho, Benjamin Roche, and Nick Papoulias
(Vietnam National University, Vietnam; UMMISCO, France; UPMC, France; Paris Descartes University, France; LIP6, France)

Article: modularitycomp16momo-momoid1-p (type: Full Paper (6 pages)) doi:
Towards Contractual Interfaces for Reusable Functional Quality Attribute Operationalisations
Jose-Miguel Horcas, Mónica Pinto, Lidia Fuentes, and Steffen Zschaler
(University of Málaga, Spain; King's College London, UK)

Article: modularitycomp16momo-momoid2-p (type: Full Paper (6 pages)) doi:
Addressing Modularity for Heterogeneous Multi-model Systems using Model Federation
Fahad R. Golra, Antoine Beugnard, Fabien Dagnat, Sylvain Guerin, and Christophe Guychard
(IRISA, France; Telecom Bretagne, France; Institut Mines-Telecom, France; Openflexo, France)

Article: modularitycomp16momo-momoid3-p (type: Full Paper (6 pages)) doi:
Modular Multilevel Metamodeling with MetaMod
Ana Maria Şutîi, Tom Verhoeff, and Mark van den Brand
(Eindhoven University of Technology, Netherlands)

Article: modularitycomp16momo-momoid6-p (type: Full Paper (6 pages)) doi:

proc time: 0.07