No.052 Engineering Adaptive Software Systems (EASSy)

Icon

NII Shonan Meeting Seminar 052

Jul 10, 2015 Comments Off on Shonan Seminar 052 Talk Abstracts

Shonan Seminar 052 Talk Abstracts

Engineering Adaptive Software Systems: A Research Agenda
John Mylopoulos,?University?of Trento, Italy and University of Toronto, Canada

Abstract?? Adaptive software systems need to be capable of multiple behaviours for fulfilling their requirements, so that if one behaviour is failing for whatever reasons, the system can switch (“reconfigure”) to an alternative behaviour. The most important question then in engineering such systems is: how do we design and implement systems that are capable of fulfilling their requirements in multiple ways? What are the concepts in terms of which such systems are conceived, designed and implemented? What techniques do we use to analyze and design them? What are the adaptation mechanisms through which an adaptive system monitors its behaviour, determines root causes for failing requirements and selects a suitable adaptation?

The presentation will review answers we have given to some of these questions in the PhD theses of Vitor Souza and Kostas Angelopoulos (on-going), also some of the open questions that constitute our current research agenda.

How to Capture Context and Context-dependent Behavior
Tetsuo Tamai, Hosei University, Japan

Abstract???Adaptive systems change their behavior dependent on context?changes. The key issue in modeling and developing such systems is how to?capture context and context-dependent behavior. Factors that determine?context may include location, time, interacting agents and technical?environment. In this talk, I’d like to discuss ways of determining?appropriate contexts from the requirements engineering point of view.

Adaptation and Boundaries
Bashar Nuseibeh,?Lero and The Open University, UK

Abstract?? In this speculative talk, I will explore the role of boundaries in engineering adaptive software systems, and will revisit claims that they are ‘disappearing’. I will use this exploration to inform the development of a research agenda in the area of engineering adaptive?software.

Integrated Control and Systems Science for Cyber-Physical Systems: A Research Agenda
Hausi A.?Müller, University of Victoria, Canada?

Abstract???Cyber-physical systems (CPS) are smart systems that encompass computational and physical components, seamlessly integrated and closely?interacting to sense the context of the real world. The societal impact of CPS is enormous. Virtually every engineered system is affected by advances in these?interconnected capabilities. Today CPS R&D affords transformative opportunities due to the convergence of analytical and cognitive capabilities, real-time?and networked control, pervasive sensing and actuating, as well as compute and storage clouds.
Advancement in CPS requires an integrated control and systems?science (CSS) that encompasses both physical and computational aspects. Engineering and computer science researchers have provided impressive advances?in CPS foundations?control, communications and computing, in general, and embedded, real-time,?self-adaptive,?and autonomic systems, in?particular. We now need to address the unique scientific and technical challenges for this new type of integrated CSS for CPS.

The Aftermath of Mystery Flight MH370: What Can Adaptive Software Engineers Do?
Yijun Yu,?The Open University, UK

Abstract?? The aftermath of the?missing MH370 flight a year?ago remains still a mystery: no one knows firmly where the crash?was and what caused the problem. In order to answer these?questions, worldwide?search has been carried out ever since to?locate first hand evidence in on-board flight data recorders (also?known as blackboxes). To enhance aviation security, a proposal?was using cloud computing to analyse live streamed flight data.?This talk elaborates this proposal from an adaptive software?engineering perspective.

Dynamic Software Evolution – Approaches and Issues
Shinichi Honiden, National Institute of Informatics and The
University of Tokyo, Japan

Abstract?? In my talk, I will mention some approaches?to enable dynamic software evolution. In particular, the reflection?technique is a promising approach because it enables the software to?change itself dynamically. I will also talk about some issues to apply?these approaches.

Discrete Time Adaptive Linear Control for Software Systems
 Martina Maggio, Lund University, Sweden

?Abstract?? Modern software systems are complex entities, that should guarantee their behavior satisfy a certain number of requirements and constraints, during their execution. Control theory has been identified as one of the possible design drivers for runtime adaptation, but the adoption of this discipline’s principles often requires additional knowledge to be processed by a specialist. To overcome? this limitation, automated methodologies have been proposed, that try to extract the necessary information from experimental data and design a control system for runtime adaptation. In this talk I will overview the research journey from the early adoption of ad hoc linear control systems to these automated methodologies and present some of the results that we obtained with different problems, from clock synchronization to cloud performance predictability.

Assured?Graceful?Degradation with Discrete Controller Synthesis
 Kenji Tei, NII, Japan

?Abstract???System will face unexpected consequence in its operating environment.?In such a situation, the system should degrade gracefully to avoid catastrophic situation.
Research questions I address here are how does the system degrade gracefully at runtime?with assurance?and how does the system determine how much it should degrade.?My talk will show a framework enabling guaranteed graceful degradation with discrete controller synthesis,?and techniques to select functionality level that system can satisfy in the current perception of the environment,?and to which the system can seamlessly degrade.

Software Self-Adaptivity Measurement based on Requirements Models
Zhi Jin, Peking University, China

?Abstract?? Self-adpativity is currently becoming a more and more important property of software which will run in an open and dynamically changing environment. How do we know if the to-be-built software system will possess the necessary capability of adjusting its behavior for responding the changes in environment? The measurement can be conducted as earlier at the system modeling stage. This talk is trying to deliver some thinking about modeling of the self-adaptive software systems and measuring of the software self-adpativity based on requirements models.

Contexts and Unit of Adaptation in Context-oriented Programming
Hidehiko Masuhara, Tokyo Institute of Technology, Japan

Abstract?? Context-oriented programming (COP) is proposed?for modularizing?dynamically-changing,?context-dependent behaviours. A motivation behind COP is that many modules in a program tend to have fragments of?descriptions that are specific to a specific context.? The approach in?COP is providing a new abstraction that is specific to a context, yet?affects many modules.? While COP has been successful as a programming?mechanism, the notion of a context and the unit of adaptations in COP?are not yet clear.? For example in some COP languages, contexts are?merely “callers” of a module, while in some others, contexts exist?outside of a running program, whose changes are observed as events in?a program.? In this talk, we discuss several required properties of?contexts and unit of adaptation, and possible language designs to?generalize those notions.

Dynamic Software Composition for Run-time System Evolution
Robert Hirschfeld, Hasso Plattner Institute at the University of Potsdam, Germany

Abstract???The longer systems run, the more likely they will need to be revised to keep up with the changes in their environment ranging from user expectations over technological advances to mistakes made. Since many such situations are unanticipated, planning for them in advance is often impossible. While computational reflection as such allows for changing running systems at the language level, the mechanisms provided are often very primitive and too general to be applied comfortably. Context-oriented programming, or COP for short, offers modularity constructs and composition mechanisms that allow for run-time adaptation and evolution at a higher level of abstraction in a more structured way. We will give an introduction to COP, present recent developments of COP language and infrastructure support in our group, and hope to learn about and discuss new and interesting application areas and scenarios to derive novel research questions.

Requirements-Driven Mediation for Collaborative Security
 Amel?Bennaceur,?The Open University, UK

Abstract?? Collaborative security exploits the capabilities of the components available in the ubiquitous computing environment in order to protect assets from intentional harm.?By dynamically composing the capabilities of multiple components, collaborative security implements the security controls by which requirements are satisfied.?However, this dynamic composition is often hampered by the heterogeneity of the components available in the environment and the diversity of their behaviours.

In this talk I will present a systematic,?tool-supported approach for ?collaborative security based on a combination of feature modelling and mediator synthesis.?This approach ensures?that the implemented security controls are the optimal ones given the capabilities available in the operating environment. I will show how we used the FICS (Feature-driven MedIation for Collaborative Security) tool to make two robots?a humanoid robot and a vacuum cleaner?collaborate in order to implement an additional security control for protecting a mobile phone from theft.

Towards Robust Linear Quadratic Control of Software Systems
Marin Litoiu, York University, Canada

Abstract?? Adaptive software systems cope with changes in environment by self-adjusting their structure and the behaviour. Robustness refers to the ability of the system to deal with uncertainty, that is parameter perturbations or not-modeled system dynamics that can affect the quality of the adaptation. In this presentation we show a formal method to design and implement a model identification adaptive controller (MIAC) using a combination of performance and control models. The controller optimizes a linear quadratic objective function. We show preliminary results on a cloud-deployed application and show that the controller performs well for a wide range of perturbations.

Evolving Dynamic Software Product Lines
 Clément Quinton, Politecnico di Milano, Italy

Abstract?? In many domains, systems need to run continuously and cannot be shut down for reconfiguration or maintenance tasks. Cyber-physical or cloud-based systems, for instance, thus often provide means to support their adaptation at runtime. The required flexibility and adaptability of systems suggests the application of Software Product Line (SPL) principles to manage their variability and to support their reconfiguration. Specifically, Dynamic Software Product Lines (DSPL) have been proposed to support the management and binding of variability at runtime. While SPL evolution has been widely studied, it has so far not been investigated in detail in a DSPL context. Variability models that are used in a DSPL have to co-evolve and be kept consistent with the systems they represent to support reconfiguration even after changes to the systems at runtime. In this presentation we describe the consequences of such changes on the consistency of the DSPL and analyze their impact on the running system.

Guaranteeing Solution Quality for SAS Optimization Problems by Being Greedy
Ulrike Stege, University of Victoria, Canada

?Abstract?? When dealing with self-adaptive systems one is regularly tasked with solving optimization problems. A frequent strategy?to solve such a?problem is the greedy approach. Unfortunately, often no quality guarantees are known for a?specific greedy algorithm solution?specific?solutions are often validated and compared using simulations. In this talk we discuss a mathematical framework to investigate the quality of greedy approaches for maximization problems systematically and, thereby, often eliminating the need for extensive?simulation runs. Furthermore, we discuss methods to tweak the problem at hand to improve?the solution quality obtained using the greedy approach.

Bidirectional Programming for Self-adaptive Systems
Lionel Montrieux, NII, Japan

Abstract?? A bidirectional transformation is a pair of functions, ‘get’ and ‘put’,?allowing developers to keep two documents, a source and a view,?synchronised. ‘get’ takes a source and produces a view, whilst ‘put’
takes a source as well as an updated view, and reflects the changes made
to the view into the source. Bidirectional?programming uses?Domain-Specific Languages (DSLs) to facilitate writing bidirectional?transformations, while ensuring that the transformations satisfy some?important properties.
This talk will explore our use of?bidirectional programming in?self-adaptive systems. In particular, we will discuss the use of?bidirectional transformations to keep the knowledge base synchronised?with the monitored system, and to extract and manipulate parts of the?knowledge base into smaller, more manageable models.

High Variability Models for Better Adaptive Systems
Kostas Angelopoulos,?University?of Trento, Italy

?Abstract???Variability is essential for adaptive systems, because it capture the solution space where the alternative adaptations a system can perform, when it adapts. In our work we investigate a) what types of variability are present in software systems and their environment, b) what models are suitable for eliciting all the variables that affect the performance (wrt requirements fulfillment) of the system-at-hand and c) how these models are related with each other. Finally, we examine methods from Control-Theory in order to efficiently handle the elicited variables and maintain a stable and optimal satisfaction of the prescribed requirements.

Next Generation Collaborative Distributed Visualization Systems on the Distributed Cloud
Rick?McGeer, SAP,?San Francisco, USA

Abstract?? We describe the Distributed Collaborative Scientific Visualization System, a system designed to permit real-time interaction and visual collaboration?around large data sets, with an initial emphasis on scientific data. The Visualization System offers such a collaborative environment,?with real-time interaction on any device between users separated across the wide area. The Visualization System provides seamless interaction?and immediate updates even under heavy load and when users are widely separated: the design goal was to fetch a data set consisting of 30,000 points from a server and render it within 150 milliseconds, for a user anywhere in the world, and reflect changes made by a user in one location to all other users?within a bound provided by network latency. The system was demonstrated successfully on a significant worldwide air pollution data set, with pollution?values on a 10 km, 25 km, 50 km, and 100 km worldwide grid, with monthly values over an 18-year period. It was demonstrated on a wide variety of clients, including laptop, tablet, and smartphone.

Towards Effective Management of Dynamic Software Evolution
Yasuyuki Tahara, The University of Electro-Communications,
? ? ? ? ?Japan

Abstract?? Recently, there are arising several?research topics dealing?with dynamic software evolution, such as self-* systems, including?self-adaptive ones, autonomic computing, models at run time, and?requirements at run time. Because the behaviors of dynamically?evolving software tend to become complicated, it is more difficult to?manage those behaviors effectively than conventional software. In my?talk, I will examine various existing approaches, including formal?verification, to management of dynamic software evolution and their?problems, and will suggest some research directions to solve the?problems.

An Adaptive Framework for Individual Privacy
 Nobukazu Yoshioka, NII, Japan

Abstract?? Privacy is a right of users to control their private?information. In?other words, users can decide to reveal their private information to?others.? Services with users’ private information should be provided?with respect to privacy.? Some frameworks to preserve the right have?been proposed.? It, however, still hard for developers to meet users’?privacy preferences and develop a privacy friendly service.

In my talk, we propose a new framework?to address these problems.? The?framework allows users to choose their privacy preferences from the?viewpoints of both the privacy risk and the value of services.? In?addition, developers can design the behavior with the variation of a?service, so that the development costs are reduced.? Furthermore, our?framework can adapt to the changes of a preference automatically.? We?illustrate the effectiveness with a case study of an exercise service.

Context-Oriented Programming for Adaptive Software Systems
Tetsuo Kamina, Ritsumeikan University, Japan

?Abstract?? Behavior adapted to the system at runtime in response to environment?changes often crosscuts several parts of the system.? Context-oriented?programming (COP) is an emerging programming paradigm to modularize?such behavior adaptation.? In this work, we identify the challenges in?developing COP languages and what we have achieved through the?development of our COP language, ServalCJ.? We then propose a software?development methodology based on COP.? In particular, we develop a?systematic way to find an appropriate linguistic mechanism to?implement context-dependent behavior and dynamic adaptations of it at?modeling and design time, leading to the mechanized mapping from?requirements and design artifacts formed by our methodology to the COP?implementation.? Through case studies, this mapping is demonstrated?using ServalCJ. Moreover, we discuss the applicability of COP to the?development of adaptive software systems.

A View-based Approach to Software Adaptation
Zhenjiang Hu, NII, Japan

Abstract?? I will talk about a new approach to structuring adaptation rules so?that the rule set can be reconstructed?dynamically for different?purposes and goals. The key idea is to embed a local invariant view to?each rule so that the global view of a desired adaptation logic can be?realized safely by combining rules with relevant local views. Our new?view-based adaptation framework combines the strengths of the?rule-based and goal-based adaptation approaches, and enjoys the?advantages of both.
This is joint work with Tianqi Zhao, Haiyan Zhao,?and Zhi Jin from?Peking University, and Tao Zan from NII.

Modularity for Uncertainties in Adaptive Software SystemsNaoyasu Ubayashi, Kyushu University, Japan

Abstract ??Embracing uncertainties in software evolution is one of the crucial?research topics in engineering?adaptive software systems. As the?research on uncertainty is so young, there are many issues to be?tackled. Modularity for uncertainties is one of them. If uncertainties?can be dealt with modularly, we can add or delete uncertain concerns?to/from a software system whenever these concerns arise or are fixed?to certain concerns. To deal with this challenging issue, we propose a?modularization mechanism for uncertainties. Agile methods embrace?changes to accept changeable user requirements. On the other hand, our?approach embraces uncertainties to support exploratory software?evolution.

Jul 10, 2015 Comments Off on Call to Action 2015 Shonan Workshop on Engineering Adaptive Software Systems (EASSY 2015)

Call to Action 2015 Shonan Workshop on Engineering Adaptive Software Systems (EASSY 2015)

Dear Shonan Meeting No. 052 EASSY 2015 Workshop Participant,

The Shonan Meeting No. 52 entitled Engineering Adaptive Software Systems (EASSY 2015), September 7-10, 2015 in Shonan Village,?Japan is approaching rapidly. Thank you very much for accepting our invitation to participate in this exciting workshop in the beautiful environment?of Shonan Village. We are delighted to report that over 25+ people have signed up.

*Workshop program and history:* In collaboration with Shonan staff we are in the process of developing a program for EASSY 2015. To facilitate this process we we kindly ask you to submit a title and abstract for your presentation at this workshop by July 15, 2015 to

hausimuller@gmail.com.

The program to EASSY 2015 will be developed on the following website.

Book mark it and check it regularly for updates.

http://shonan.nii.ac.jp/seminar/052/

The Shonan announcement to our workshop:

http://shonan.nii.ac.jp/shonan/blog/2014/03/25/engineering-adaptive-software-systems-eassy-2/

The 2013 edition of this workshop and report:

http://shonan.nii.ac/seminar/027/

http://shonan.nii.ac.jp/shonan/wp-content/uploads/2011/09/No.2013-72.pdf

The Shonan Village Conference Facility:

http://www.shonan-village.co.jp/svc/

 

*Travel: *Participants from abroad fly to Narita or Haneda airport.

Typically you spend some time before and after a Shonan workshop in Tokyo. There are convenient direct buses from Narita airport to many hotels in downtown Tokyo.

Here are some useful travel links:

? How to get to Shonan Village Center from Narita airport, Haneda airport, and Tokyo by train and local bus

http://www.shonan-village.co.jp/svc/access.html

? Travel info for Kanagava Prefecture ? Shonan Village

http://kanagawa-travel-info.com/english/tourism_articles/111

? Hotel information for Tokyo:

http://www.booking.com/landmark/jp/tokyo-station2.en-us.html?aid=355715;label=tokyo-station2-BVudO%2A3mJZxHnb9mILBqxAS69249588732%3Apl%3Ata%3Ap1%3Ap2%3Aac%3Aap1t1%3Aneg;sid=c3e5b08759121484d05de905f5b7466d;dcid=1;inac=0&

<http://www.booking.com/landmark/jp/tokyo-station2.en-us.html?aid=355715;label=tokyo-station2-BVudO*3mJZxHnb9mILBqxAS69249588732:pl:ta:p1:p2:ac:ap1t1:neg;sid=c3e5b08759121484d05de905f5b7466d;dcid=1;inac=0&>

? For a simple one-night stay, the business hotel APA Hotel Ginza-Takaracho, near Tokyo Station?and Ginzais, is good choice for about 8000 JPY/night.

*Shonan Accommodation. *Soon you will receive a message from Shonan Village staff to book your accommodation for the workshop. Please reply immediately.

*Excursions. *We are also planning a few events to explore Japan. In particular, Lionel Montrieux has kindly agreed to organize a hike for us to climb Mt. Fuji. We will also have a dinner excursion to Kamakura, and a couple of morning hikes around Shonan village.

*Mt Fuji Hike. *Lionel Montrieux has kindly agreed to organize a hike for us to the top of Mt. Fuji, Japan’s highest mountain (3776m) ? before the workshop on Sep 4-5, 2015. We will be climbing to the top of the volcano (it is dormant), where, weather permitting, we may get to see the sunrise from Japan’s highest point. After our descent, we will relax in a nearby onsen (Japanese hot spring), before getting back to Tokyo. We will be part of an organized?tour that includes a guide.

The weather can be challenging at this time of the year. You need good hiking boots and serious rain gear just in case. We will depart by bus from a Tokyo train station at 7:30 am on Sep 4.

Around 13:00, we will start our ascent from the 5th level (2,300m). We should reach a mountain?hut on the 9th level (3,460m) after 4-5 hours. After a simple dinner, we will rest in the hut until about 1:00 in the morning. After a light breakfast, we will climb to the top of the mountain in about 2-3 hours. The descent should take about 5 hours and get us back to the 5th level by 11:00.

We will then head by bus to onsen and relax in the hot springs bath and followed by a nice lunch. We should be back in Tokyo by 18:00. The total cost is JPY15,400 per person. It includes transport, dinner at the hut and lunch in the onsen, night at the hut, guide, and access to the onsen.

Please sign up for the tour with Lionel Montrieux lionel@nii.ac.jp by July 15. Lionel will also send more detailed information.

 

*Suggested itineraries:*

*Without Mt. Fuji Hike. *

? Arrive in Tokyo on Sep 5 or Sep 6.

? Transfer from Tokyo to Shonan by train/bus on Sep 6.

? EASSY 2015 Workshop Sep 7-10.

? Check out date in Shonan is Sep 10; workshop ends around 13:00;

transfer back to Tokyo by bus/train.

? Sep 11 fly home.

*Including Mt. Fuji Hike. *

? Arrive in Tokyo on Sep 3. Mt. Fuji tour Sep 4-5.

? Transfer to Shonan by train/bus on Sep 6.

? EASSY 2015 Workshop Sep 7-10.

? Check out date in Shonan is Sep 10; workshop ends around 13:00;

transfer back to Tokyo by bus/train.

? Sep 11 fly home.

 

*Your immediate action items:*

? book your flights to Japan as soon as you can

? submit title an abstract for your workshop presentation *by July 15* to

hausimuller@gmail.com

? sign up for Mt. Fuji hike by *July 15* with Lionel Montrieux

lionel@nii.ac.jp

? book your Tokyo hotel accommodation

? book your Shonan accommodation as soon as you receive a message from

Shonan staff

If you have any questions please do not hesitate to contact us.

We look forward to seeing you at Shonan Village Center in Japan in early September for a?highly productive workshop.

Best wishes,

 

Tetsuo Tamai, Hosei University, Japan tamai@hosei.ac.jp

Hausi Muller, University of Victoria, Canada hausimuller@gmail.com

Bashar Nuseibeh, Open University, and Lero, UK b.nuseibeh@open.ac.uk

 

EASSY 2015 Organizers

 

Feb 16, 2015 Comments Off on Shonan Seminar 052 Organizers

Shonan Seminar 052 Organizers

OLYMPUS DIGITAL CAMERA

 

 

Professor Tetsuo Tamai
Hosei University, Japan
Email:?tamai@hosei.ac.jp
Web:?http://tamai-lab.ws.hosei.ac.jp

Muller

 

 

Professor Hausi A. Muller
University of Victoria, Canada
Email:?hausimuller@gmail.com
Web:?http://webhome.cs.uvic.ca/~hausi/

Nuseibeh

 

 

Professor Bashar Nuseibeh
Open University and Lero, UK
Email:?b.nuseibeh@open.ac.uk
Web:?http://mcs.open.ac.uk/ban25/

 

Feb 16, 2015 Comments Off on Shonan Seminar 052 Participants

Shonan Seminar 052 Participants

  • Tetsuo Tamai, Hosei University, Japan (Organizer)
  • Hausi A.?Müller, University of Victoria, Canada (Organizer)
  • Bashar Nuseibeh,?Lero and The Open University, UK (Organizer)
  • Kostas Angelopoulos,?University?of Trento, Italy
  • Amel?Bennaceur,?The Open University, UK
  • Robert Hirschfeld, Hasso Plattner Institute at the University of Potsdam, Germany
  • Shinichi Honiden, National Institute of Informatics and The?University of Tokyo, Japan
  • Zhenjiang Hu, NII, Japan
  • Zhi Jin, Peking University, China
  • Tetsuo Kamina, Ritsumeikan University, Japan
  • Marin Litoiu, York University, Canada
  • Martina Maggio, Lund University, Sweden
  • Hidehiko Masuhara, Tokyo Institute of Technology, Japan
  • Rick?McGeer, SAP,?San Francisco, USA
  • Lionel Montrieux, NII, Japan
  • John Mylopoulos,?University?of Trento, Italy and University of Toronto, Canada
  • Clément Quinton, Politecnico di Milano, Italy
  • Ulrike Stege, University of Victoria, Canada
  • Yasuyuki Tahara, The University of Electro-Communications,?Japan
  • Kenji Tei, NII, Japan
  • Naoyasu Ubayashi, Kyushu University, Japan
  • Nobukazu Yoshioka, NII, Japan
  • Yijun Yu,?The Open University, UK

Feb 16, 2015 Comments Off on Shonan Seminar No. 052 Schedule ? Sep 7-10, 2015

Shonan Seminar No. 052 Schedule ? Sep 7-10, 2015

Arrival Day ? Sun, Sep 6

19:00 – 21:00 ? Welcome Reception

Shonan-No52-Group-Photo

Day 1 ? Mon, Sep 7

7:30 – 8:30?? Breakfast

8:30 -?9:00?? Session 1 ? Chair:?Tetsuo Tamai?

  • Welcome and Overview of Seminar No. 052 ??Slides
    Tetsuo Tamai (Organizer), Hosei University, Japan
  • National Institute of Informatics (NII) ??Slides
    Shinichi Honiden, National Institute of Informatics, Japan
  • Shonan Meetings?? Video
    Zhenjiang Hu, National Institute of Informatics, Japan

9:00 -?10:30?? Session 2 ? Chair: Hausi Müller?

10:30 -?11:00?? Break

11:00 – 12:00?? Session 3?? Chair:?Tetsuo Tamai

12:00 -?13:30?? Lunch

13:30 -?15:00 ? Session 4?? Chair: Shinichi Honiden?

15:00 – 15:30 ? Break

15:30 -?17:00?? Session 5?? Chair: John?Mylopoulos

18:00 -?19:30?? Dinner

19:30 – 21:30 ? Ping Pong Tournament

YijunYuChallenge

Day 2 ? Tue, Sep 8

7:30 -?8:45?? Breakfast

9:00 -?10:30?? Session 6?? Chair: Marin?Litoiu

10:30 -?11:00?? Break

11:00 -?12:00?? Session 7?? Chair: Rick McGeer

12:00 -?13:30?? Lunch

13:30 -?15:00?? Session 8?? Chair: ?Hausi Müller

15:00 -?15:30?? Break

15:30 – 17:00?? Session 9?? Chair: ?Yijun Yu

18:00 -?19:30?? Dinner

19:30 – 21:15 ? Sing-along

IMG_2474?IMG_2493

Day 3 ? Wed, Sep 9

6:00?-?7:30 ? Hike to Lookout Tower?

7:30 ‐8:45 ? Breakfast

9:00 – 10:30 ? Session 10?? Chair: ?Zhenjiang Hu

10:30 – 11:00?? Break

11:00 – 12:00 ? Session 11?? Chair: ?Bashar?Nuseibeh

12:00 – 13:30 ? Lunch

13:30 -?19:00 ? Excursion (afternoon)

19:00 -?20:45 ? Banquet in Kamakura

IMG_1422

Day 4 ? Thu, Sep 10

6:00?-?7:30 ? Hike to Lookout Tower?

7:30 – 8:45 ? Breakfast

9:00 -?10:30 ? Session 12

  • Breakout Session 1: Context Oriented Programming with MAPE?? Robert Hirschfeld
  • Breakout Session 2: Bidirectional Programming?? Lionel Montrieux
  • Breakout Session 3: Control Theory and Optimization ? Martina Maggio and Ulrike Stege
  • Breakout Session 4: Security and Privacy?? Amel?Bennaceur
  • 10:30 – 11:00 ? Break

11:00 – 12:00 ? Session 13

  • Report from Breakout Session 1
    Chair: Robert Hirschfeld,?Hasso Plattner Institute at the?University of Potsdam, Germany ? Notes
  • Report from Breakout Session 2
    Chair: Lionel Montrieux, NII, Japan ??Notes
  • Report from Breakout Session 3
    Co-chairs: Martina Maggio, Lund University, Sweden and Ulrike Stege, University of Victoria, Canada???Notes
  • Breakout4: SAS Security and Privacy
    Chair: Amel?Bennaceur,?The Open University, UK???Notes

12:00 – 13:00 ? Lunch

13:00 ? Departure

Fri/Sat, Sep 3-4, 2015
We climbed Mt. Fuji (Fuji-san) with perfect weather.

IMG_1182 IMG_1266 IMG_1279

 

Feb 16, 2015 Comments Off on Overview

Overview

Edit here.

Hotel Reservation