Compsac 2017 Banner



Building Digital Autonomy for a Sustainable World
Hosted by the Politecnico di Torino, Turin, Italy
July 4-8

MVDA 2017: The 6th IEEE International COMPSAC Workshop on Modeling and Verifying Distributed Applications

Paper submission site

Workshop Co-Chairs:
Leila Jemni Ben Ayed, Laboratory LaTICE – University of Tunis / ENSI, University of Manouba, Tunisia (
Fevzi Belli, University of Paderborn, Germany (
Ahlem Ben Younes, Laboratory LaTICE – University of Tunis, Tunisia (
Yousra Bendaly Hlaoui, Laboratory LaTICE – University of Tunis/ ESC, University of Manouba,Tunisia 

Purpose of the Workshop:
Distributing applications and service applications among cloud systems offer many potential benefits. However, implementing robust, efficient, and flexible distributed applications is more complex than building stand-alone applications. A significant portion of this complexity is due to the fact that developers must consider new design alternatives and must acquire many new skills. The problem of building such applications requires finding and orchestrating appropriate services that are frequently non trivial for a developer. This is due to the very large number of available services on the cloud and the different possibilities for constructing an application from matching services. We need an abstract view of the application using modeling approaches. In addition, we need an ontological description to retrieve and compose automatically this kind of applications. This abstraction allows in one hand the reuse of the elaborated application and on the other hand reduces the complexity and saves the users from the detail of the low level of the environment. Proposed modeling approaches need a standard verification step against required properties to analyze and correct built applications as early as possible in order to avoid any costly maintenance delays due to runtime errors.

Topics of Interest:
Papers may address one or more of the topics listed below. Unlisted but related topics are also acceptable, provided they fit in one of the following main areas:

  • Architecture and design principles for cloud applications
  • Models and frameworks for cloud applications
  • Methods, processes and patterns for developing cloud applications
  • Ontology engineering and similarity,
  • Model Driven Engineering
  • Semantic composition of cloud service applications
  • Model driven composition of cloud service applications
  • Modeling formalisms, languages and notations for cloud service workflow applications
  • Tools, techniques and methodologies for verifying and validating cloud application models

Program Committee (to be confirmed)
- Hong Zhu, ( Oxford Brookes University, UK)
- Cristina Seceleanu, (Mälardalen University- Sweden)
- Sumi Helal, (University of Florida, USA)
-Tolga Ayav (Izmir Institute of Technology – Turkey)
- Hanen Ben Abdallah (University of Sfax, Tunisia)
- Lee Moon-Kun (Chonbuk National University- Korea)
-Eun-Sun Cho (Chungnam National University – Korea)
- Jamal Bentahar (Concordia University -Montréal- Canada)
- Ahmed Hadj Kacem (University of Sfax – Tunisia)
- Christine Choppy (Laboratory LIPN – University of Paris Nord, France)
- Mohamed Jemni (Laboratory LaTICE, University of Tunis, Tunisia)
- Mohamed Jmaiel (University of Sfax – Tunisia)
- Afef Kacem (Laboratory LaTICE, University of Tunis, Tunisia)
- Ali Mili (New Jersey Institute of Technology - USA)
- Zakaria Maamar ( Zayed University, Dubai-United Arab Emirates)
- Sandeep  Shukla (Virginia Polytechnic and State University in Blacksburg – USA)
- Issam Mabrouki ( Tunisia Polytechnic School-University of Carthage, Tunisia)
- Daniel Calegari Garcia ( Instituto de Computación Facultad de Ingeniería, Uruguay)
- Sofiene Tahar (Concordia University -Montréal- Canada)
- Mohamed Moez Yeddes (University of la Manouba – Tunisia)
- Hamdi Yahyaoui ( Kuwait University, State of Kuwait)
- John Mullins ( École Polytechnique de Montréal - University of Montreal- Canada)
- Nejib Boubaker (SUP'COM,University of Carthage –Tunis)

IT Pro - Review of COMPSAC 2016


Author Instructions

Authors, please use the IEEE Author Kit to prepare your papers for publication in the COMPSAC proceedings.

Please note COMPSAC C1J2 & J1C2 schemes for journal publication opportunity

Important Dates

May 9, 2017: Main Conference Camera Ready and Registration Due 
May 14, 2017: SRS Camera Ready and Registration Due
May 16, 2017: Workshop and Fast Abstract Camera Ready and Registration Due