08.30

• Registration

09.00

10.30

• Workshop: ASOCA

  • 09:00 – 09:30 – New challenges of the Internet of Everything distributed systems generation (invited talk). Exposito, Ernesto
  • 09:30 – 10:00 – Verification of the Consistency of Time-aware Cyber-Physical Processes. Graja, Imen; Kallel, Slim; Guermouche, Nawal; Hadj Kacem, Ahmed
  • 10:00 – 10:30 – On the enhancement of non-functional requirements for cloud-assisted middleware-based IoT and other applications (invited paper). Medjiah, Samir; Chassot, Christophe

• Workshop: ISyCC

  • 09.15 – Welcome
  • 09.30 – Keynote. Andalusia Smart City Cluster: IoT Smart City Solutions & Applications. Verónica Ramírez del Valle

• Workshop: WESOACS

  • 09.15 – Welcome
  • 09.30 – Architecting Enterprise Applications for Cloud: The Unicorn Cloud Framework. George Feuerlicht et al.
  • 10.00 – Using Risk Patterns to Identify Violations of Data Protection Policies in Cloud Services. Stefan Schoenen et al.

• PhD Symposium

  Moderator: Bernd Kramer

  • 09.00 – 09.30 – Sandobalin, Julio. A Model-Driven Approach to Continuous Delivery of Cloud Resources.
  • 09.30 – 10.00 – de Oliveira, Patrícia Araújo. An approach to predictive analysis of self-adaptive systems in design time.
  • 10.00 – 10.30 – Corral Plaza, David. Paving the Way for a Real-Time Context-Aware Predictive Architecture.

10.30

11.00

• Coffee Break

11.00

12.30

• Workshop: ASOCA

  • 11.00 – 11.30 – What, Where, When, How and Right of Runtime Adaptation in Service-Oriented Systems. Kotonya, Gerald; Mutanu, Leah.
  • 11.30 – 12.00 – A BRS Based Approach for Modeling Elastic Cloud Systems. Khebbeb, Khaled; Hameurlain, Nabil; Belala, Faiza.
  • 12.00 – 12.30 – Model checking of cost-effective elasticity strategies in Cloud computing. Guerfel, Rawand; Sbai, Zohra; Ben Ayed, Rahma.

• Workshop: ISyCC

  • 11.00 – A Feedback-based Adaptive Service-Oriented Paradigm for the Internet of Things. Dong, Yuji; Wan, Kaiyu; Yue, Yong.
  • 11.30 – Seamless interactions on the Internet of Things. A Spotify-based proof of concept. Garcia-Alonso, Jose; Berrocal, Javier; Canal, Carlos; Murillo, Juan M.
  • 12.00 – Cognitive Determination of Policies for Data Management in IoT Systems. Megahed, Aly; Tata, Samir; Nazeem, Ahmed.

• Workshop: WESOACS

  • 11.00 – Sustainable WAsTe Collection (SWAT): One Step towards Smart and Spotless Cities. Daniel J. Rosa-Gallardo et al.
  • 11.30 – A Knowledge Carrying Service-Component Architecture for Smart Cyber Physical Systems: An Example based on self-documenting production systems. Christopher Haubeck et al.
  • 12.00 – Integrating Smart Devices as Business Process Resources – Concept and Software Prototype. Robert Wehlitz et al.

• PhD Symposium Keynote: Mike Papazoglou.

12.30

14.00

• Lunch

14.00

15.30

• Workshop: ASOCA

  • 14.00-14.30 – Detecting customer queue “at-risk” behaviors based on ethograms to minimize overall service dissatisfaction. Dubosson, Magali; Fragniere, Emmanuel; Junod, Nathalie; Willaerts, Bettina.
  • 14.30-15.00 – An end-to-end security model for Adaptive Service-oriented applications. Abdellatif, Takoua; Bozga, Marius.
  • 15.00-15.30 – Runtime Migration of Applications in a Trans-Cloud Environment. Carrasco, Jose; Duran, Francisco; Pimentel, Ernesto.

• Workshop: ISyCC

  • 14.00 – BiAgent-based Model for IoT Applications: Case of a Collision Avoidance System. Marir, Souad; Kitouni, Romaissa; Zakaria, Benzadri; Belala, Faiza
  • 14.30 – QoS Prediction for Reliable Service Composition in IoT. White, Gary; Palade, Andrei; Clarke, Siobhán
  • 15.00 – A Research Perspective on Fog Computing. Bermbach, David; Pallas, Frank; García Pérez, David; Plebani, Pierluigi; Anderson, Maya; Kat, Ronen; Tai, Stefan

• Workshop: WESOACS

  • 14.00 – Designing Suitable Access Control for Web-Connected Smart Home Platforms. Sebastian Werner et al.
  • 14.30 – Towards setting up a collaborative environment to support collaborative business processes and services with social interactions. Andrea Delgado et al.
  • 15.00 – Toward an Interactive Mobility Assistant for Multi-Modal Transport in Smart Cities. Christian Kuster et al.

• Smart Data Systems and Applications.

• PhD Symposium

  Moderators: Juanma Murillo, Flavio de Paoli

  • 14.00-14.30 – Kostova, Blagovesta Hristova. A Proposition for a Design Method of Service Systems.
  • 14.30-15.00 – Zavala, Edith. Towards Adaptive Monitoring Services for Self-adaptive Software Systems.
  • 15.00-15.30 – Gamez-Diaz, Antonio. SLA-driven governance for RESTful systems.

15.30

16.00

• Coffee Break

16.00

17.30

• Workshop: ASOCA

  • 16:00-16:30 – QoS-Driven Self-Adaptation for Critical IoT-Based Systems. Gatouillat, Arthur; Badr, Youakim; Massot, Bertrand.
  • 16:30 – Round table.

• Workshop: ISyCC

  • 16.00 – Power-Based Device Recognition for Occupancy Detection. Pratama, Azkario Rizky; Lazovik, Alexander; Aiello, Marco.
  • 16.30 – Checking and Enforcing Security through Opacity in Healthcare Applications. Zrelli, Rym; Yeddes, Moez; Ben Hadj-Alouane, Nejib.
  • 17.00 – Open Discussion.

• Workshop: WESOACS

  • 16:00 – Lessons Learned from Evaluating Workflow Management Systems. Jörg Lenhard et al.
  • 16:30 – Experiences on Migrating RESTful Web Services to GraphQL. Maximilian Vogel et al.
  • 17:00 – Open Discussion and Closing of Workshop.

• Smart Data Systems and Applications.

• PhD Symposium

  Moderators: TBA

  • 16.00-16.30 – Flores-Martin, Daniel. Meeting IoT Users’ Preferences by Emerging Behavior at Run-Time
  • 16.30-17.30 – Panel. Juanma Murillo, Juan M. Vara, Flavio de Paoli

20.30

22.00

• Welcome reception

  • Los Patios de Beatas is in the heart of the historic center, 50 meters away from Picasso Museum. Beatas Street is an emblematic road of the city centre. Los Patios de Beatas is located in two rehabilitated houses from the 18th and 19th centuries. Both architecturally protected for their beauty, historic value and the inside patios.All ICSOC2017 participants are invited to the Welcome Reception, on Monday 13, 20:30 hs. in Los Patios de Beatas winery and restaurant. You will be given your ticket at the registration desk.

    Website
    Location: Los Patios de Beatas, Calle Beatas, 43, 29006 Málaga, Spain (map)

08.30

• Registration

08.45

09.00

• Opening

09.00

10.30

• Keynote 1. Christopher Adams.

10.30

11.00

• Coffee Break

11.00

12.30

• Foundations

  Session chair: Juan Manuel Murillo

  • Maria Krotsiani, Christos Kloukinas, George Spanoudakis. Cloud Certification Process Validation using Formal Methods (#bestPaperNominee)
  • Montserrat Estañol, Esperanza Marcos, Xavier Oriol, Francisco Javier Pérez, Ernest Teniente, Juan Manuel Vara. Validation of Service Blueprint models by means of formal simulation techniques
  • Souha Boubaker, Kais Klai, Katia Schmitz, Mohamed Graiet, Walid Gaaloul. Deadlock-Freeness Verification of Business Process Configuration using SOG (#bestPaperNominee)
  • Loli Burgueño, Martin Gogolla. Formally Modeling, Executing, and Testing Service-Oriented Systems with UML and OCL

• Mining and Analytics (I)

  Session chair: Jian Yang

  • Shance Wang, Zhongjie Wang, Xiaofei Xu, Quanzheng Sheng. App Update Patterns: How Developers Act on User Reviews in Mobile App Stores
  • Rachael Ann Shaw, Enda Barrett, Enda Howley. Predicting the Available Bandwidth on Intra Cloud Network Links for Deadline Constrained Workflow Scheduling in Public Clouds
  • Xu Chi, Haifang Wang, Zhongjie Wang, Shiping Chen, Xiaofei Xu. Predicting the Evolution of Service Value Features from User Reviews for Continuous Service Improvement
  • Lie Qu, Athman Bouguettaya. Confidence-aware Reputation Bootstrapping in Composite Service Environments

12.30

14.00

• Lunch

14.00

15.30

• Mining and Analytics (II)

  Session chair: Michael Maximilien

  • Yaguang Sun, Bernhard Bauer, Matthias Weidlich. Compound Trace Clustering to Generate Accurate and Simple Sub-Process Models
  • Meiling Zhu, Chen Liu, Jianwu Wang, Shen Su, Yanbo Han. An Approach to Modeling and Discovering Event Correlations for Service Collaboration
  • Minxian Xu, Rajkumar Buyya. Energy Efficient Scheduling of Application Components via Brownout and Approximate Markov Decision Process
  • Shinya Kitajima, Naoki Matsuoka. Inferring Calling Relationship Based on External Observation for Microservice Architecture

• Quality of Services

  Session chair: Pierluigi Plebani

  • MohammadReza HoseinyFarahabady, Young Choon Lee, Albert Y. Zomaya, Zahir Tari. A QoS-Aware Resource Allocation Controller for Function as a Service (FaaS) Platform
  • Sajib Mistry, Athman Bouguettaya, Hai Dong, Abdelkarim Erradi. Probabilistic Qualitative Preference Matching in Long-term IaaS Composition
  • Hamza Labbaci, Brahim Medjahed, Youcef Aklouf. A Deep Learning Approach for Quality-Aware Long-term Service Composition
  • Yaoming Wu, Fenfang Xie, Liang Chen, Chuan Chen, Zibin Zheng. An Embedding based Factorization Machine Approach for Web Service QoS Prediction

15.30

16.00

• Coffee Break

16.00

17.30

• Run-time Service Operation and Management

  Session chair: Flavio De Paoli

  • José María García, Octavio Martín-Díaz, Pablo Fernandez, Antonio Ruiz-Cortés, Miguel Toro. Automated Analysis of Cloud Offerings for Optimal Service Provisioning
  • Giovanni Meroni, Claudio Di Ciccio, Jan Mendling. An Artifact-driven Approach to Monitor Business Processes Through Real-world Objects
  • Dimitri Van Landuyt, Fatih Gey, Eddy Truyen, Wouter Joosen. Middleware for Dynamic Upgrade Activation and Compensations in Multi-tenant SaaS Applications
  • David Bermbach, Jörn Kuhlenkamp, Akon Dey, Arunmoezhi Ramachandran, Alan Fekete, Stefan Tai. BenchFoundry: A Benchmarking Framework for Cloud Storage Services (#bestPaperNominee)

• Services in Organization, Business an Society

  Session chair: Leon Zhang

  • Fanghua Ye, Jiahao Liu, Chuan Chen, Guohui Ling, Zibin Zheng, Yuren Zhou. Efficient Influential Individuals Discovery on Service-Oriented Social Networks: A Community-Based Approach
  • Bahar Jazayeri, Olaf Zimmermann, Gregor Engels, Dennis Kundisch. A Variability Model for Store-oriented Software Ecosystems: An Enterprise Perspective
  • Mohamed Ameziane OUMAZIZ, Abdelkarim Belkhir, Tristan Vacher, Eric Beaudry, Xavier Blanc, Jean-Rémy Falleri, Naouel Moha. Empirical Study on REST APIs usage in Android Mobile Applications
  • Antonio Gamez-Diaz, Pablo Fernandez, Antonio Ruiz-Cortes. An analysis of RESTful APIs offerings in the industry

17.30

19.00

• Open API Initiative (co-located event)

  • The Open API Initiative (OAI) is an organization formed by a growing consortium of forward-looking industry experts who recognize the immense value of standardizing on how REST APIs are described. As an open governance structure under the Linux Foundation, the OAI is focused on creating, evolving and promoting a vendor-neutral description format for REST APIs. In this talk, we will present the highlights of the recently released OpenAPI Specification v3 and the tooling map developed by the community with a hands-on workshop. Attendance to the Open API Initiative event is free of charge for all ICSOC2017 participants. Free snacks and drinks will be offered.

    Pablo Fernández, University of Seville.

09.00

10.30

• Keynote 2. Tommi Mikkonen. A Research Agenda for the Programmable World: Software Challenges for IoT Era.

10.30

11.00

• Coffee Break

11.00

12.30

• Applications

  Session chair: Zahir Tari

  • Sarthak Ahuja, Joydeep Mondal, Sudhanshu Shekhar Singh, David Glenn George. Similarity computation exploiting the semantic and syntactic inherent structure among job titles
  • Rakesh Rameshrao Pimplikar, Kalapriya Kannan, Abhik Mondal, Joydeep Mondal, Sushant Saxena, Gyana Parija, Chandra Devulapalli. RISE: Resolution of Identity through Similarity Establishment on Unstructured Job Descriptions
  • Anup Kumar Kalia, Pankaj Telang, Jin Xiao, Maja Vukovic.Quark: A Methodology to Transform People-Driven Processes to Chatbot Services
  • Tooba Aamir, Athman Bouguettaya, Hai Dong, Sajib Mistry, Abdelkarim Erradi. Social-Sensor Cloud Service for Scene Reconstruction

• Service Recommendation

  Session chair: Manuel Lama

  • Anup Kumar Kalia, Jin Xiao, Muhammed Bulut, Maja Vukovic, Nikos Anerousis. Cataloger: Catalog Recommendation Service for IT Change Requests
  • Min Fu, Shiping Chen, Jian Yang, Surya Nepal, Liming Zhu. ARA-Assessor: Application-Aware Runtime Risk Assessment for Cloud-Based Business Continuity
  • Yiwen Zhang, Xiaofei Ai, Qiang He, Xuyun Zhang, Wanchun Dou, Feifei Chen, Liang Chen, Yun Yang. Personalized Quality Centric Service Recommendation
  • Antonio Bucchiarone, Martina De Sanctis, Annapaola Marconi. ATLAS: A World-wide Travel Assistant exploiting Service-based Adaptive Technologies

12.30

14.00

• Lunch

14.00

15.30

• Panel

  • Title of the Panel Discussion:
    • Services at the Crossroads
  • Panelists:
    • Ricardo Baeza-Yates, NTENT
    • Athman Bouguettaya, University of Sydney
    • Mike Papazoglou, Tilburg University
    • Jian Yang, Macquarie University
  • Short Description of the panel session:
    • After more than 15 year’s extensive research and development, SOC has still created limited impact in real world and has not fully reached its potential. As a community, we all need to seriously think about what has gone wrong and what we should do to address it. In this panel, we would like to discuss the lessons learned from past 15 years and flesh out service research directions for the next decade. Some main topics for discussion will include:
      • What lessons we learned from 15 years service research and development?
      • What are the challenges in service research, particularly in supporting key technologies (e.g., big data, IoT, cloud computing, social computing, edge computing, and mobile computing) that influence the landscape of global business?
      • What are the strategies of the service community in next 10 years?

15.30

16.00

• Coffee Break

16.00

17.30

• Demo Session

  Note: Authors have 5 minutes for introducing its demo (time slots of the file) and then they should be in a table with its notebook for talking with people.

  • Saatkamp, Karoline; Breitenbücher, Uwe; Képes, Kálmán; Leymann, Frank; Zimmermann, Michael. OpenTOSCA Injector: Vertical and Horizontal Topology Model Injection
  • Gschwind, Katharina; Adam, Constantin; Duri, Sastry; Nadgowda, Shripad; Vukovic, Maja. Optimizing Service Delivery with Minimal Runtimes
  • Wolters, Dennis; Heindorf, Stefan; Kirchhoff, Jonas; Engels, Gregor. Semantic Data Mediator: Linking Services to Websites
  • Sandobalin, Julio; Insfran, Emilio; Abrahao, Silvia. ARGON: A Tool for Modeling Cloud Resources
  • Mohamed, Mohamed; Engel, Robert; Warke, Amit; Ludwig, Heiko. Ubiquity: An Extensible Framework for Persistence in Container Environments
  • Khochare, Aakash; Ravindra, Pushkara; Reddy, Siva Prakash; Simmhan, Yogesh. Distributed Video Analytics across Edge and Cloud using ECHO

• Service Adaptation

  Session chair: Khalil Drira

  • Andreas Metzger, Philipp Bohn. Risk-based Proactive Process Adaptation
  • Carlos Mera-Gómez, Francisco Ramírez, Rami Bahsoon, Rajkumar Buyya. A Debt-Aware Learning Approach for Resource Adaptations in Cloud Elasticity Management
  • Hongbing Wang, Mingzhu Gu, Qi Yu, Huanhuan Fei, Jiajie Li, Yong Tao. Large-scale and Adaptive Service Composition Using Deep Reinforcement Learning

21.00

23.30

• Gala dinner: Finca El Realengo

  • The Finca El Realengo offers an exceptional cuisine in an exceptional atmosphere. It is located in a world-class environment, the historical gardens of El Retiro, an authentic gem venue of Malaga province and an outstanding botanical garden. These gardens are considered the most important private gardens in Spain. They were declared National Historic Monument in 1984, as exceptional witnesses of a good part of the history of Spain.Both Full and Conference-only ICSOC2017 participants are invited to the Social Dinner, on Wednesday 15, 21:00 hs. You will be given your ticket at the registration desk. Buses to the dinner will be leaving at 20:15 from the main door of the NH Hotel (map).

    Website

09.00

10.30

• Service Engineering (I)

  Session chair: Pablo Fernandez

  • Pushkar Ravindra, Aakash Khochare, Siva Prakash Reddy, Sarthak Sharma, Prateeksha Varshney, Yogesh Simmhan. ECHO: An Adaptive Orchestration Platform for Hybrid Dataflows across Cloud and Edge Resources
  • Uwe Zdun, Elena Navarro, Frank Leymann. Ensuring and Assessing Architecture Conformance to Microservice Decomposition Patterns
  • Elyas Ben Hadj Yahia, Jean-Rémy Falleri, Laurent Réveillère. Polly: A Language-Based Approach for Custom Change Detection of Web Service Data
  • Constantin Adam, Nikos Anerousis, Fatih Bulut, Robert Filepp, Anup Kalia, Brian Peterson, John Rofrano, Maja Vukovic, Jin Xiao. Design and Evaluation of a Self-Service Delivery Framework

• Services in the Cloud (I)

  Session chair: Sami Yangui

  • Nada Alruhaily, Carlos Mera-Gomez, Tom Chothia, Rami Bahsoon. A Market-based Approach for Detecting Malware in the Cloud via Introspection
  • Hongyue Wu, Shuiguang Deng, Wei Li, Qiang Yang, Jianwei Yin, Zhaohui Wu, Albert Y. Zomaya. Revenue-Driven Service Provisioning for Resource Sharing in Mobile Cloud Computing (#bestPaperNominee)
  • Shivali Agarwal, Shubham Atreja, Gargi Dasgupta. Continuous Learning as a Service for Conversational Virtual Agents
  • Jörn Kuhlenkamp, Markus Klems. Costradamus: A Cost-Tracing System for Cloud-based Software Services

10.30

11.00

• Coffee Break

11.00

12.30

• Keynote 3. Ricardo Baeza-Yates. Semantic Search.

12.30

14.00

• Lunch

14.00

15.30

• Service Engineering (II)

  Session chair: Antonio Ruiz

  • Yanjun Shu, Decheng Zuo, Hongwei Liu, Quan Z. Sheng, Wei Emma Zhang. A Tree-based Reliability Analysis for Fault-Tolerant Web Services Composition
  • Hanyang Cao, Jean-Rémy Falleri, Xavier Blanc. Automated Generation of REST API Specification From Plain HTML Documentation
  • Qiang He, Rui Zhou, Xuyun Zhang, Yanchun Wang, Dayong Ye, Feifei Chen, Shiping Chen, John Grundy, Yun Yang. Efficient Keyword Search for Building Service-based Systems based on Dynamic Programming
  • Andreas Christoforou, Martin Garriga, Andreas S. Andreou, Luciano Baresi. Supporting the Decision of Migrating to Microservices through Multi-layer Fuzzy Cognitive Maps
  • Marcos López-Sanz, Valeria de Castro, Esperanza Marcos, Jorge Moratalla. Modernization of Information Systems at Red.es: An Approach based on Gap Analysis and ADM
  • Hanzhang Wang, Marouane Kessentini. Improving Web Services Design Quality Using Dimensionality Reduction Techniques

• Services in Cloud-II

  Session chair: Juan Manuel Vara

  • Markus Klems, Jacob Eberhardt, Stefan Tai, Steffen Härtlein, Simon Buchholz, Ahmed Tidjani. Trustless Intermediation in Blockchain-based Decentralized Service Marketplaces
  • Yu Zhao, Ying Zou, Joanna Ng, Daniel Alencar da Costa. An Automatic Approach for Migrating IoT applications to RESTful Services on the Cloud
  • Cheng Chen, Jordi Arjona Aroca, Diego Lugones. RobOps: Robust control for cloud-based services
  • Qingye Jiang, Young Choon Lee, Albert Y. Zomaya. Serverless Execution of Scientific Workflows

15.30

16.00

• Closing + Coffee Break