MVDA 2020: The 8th IEEE International Workshop on Modeling & Verifying Distributed Applications

Call for Papers

Goal of the workshop:

The workshop aims to bring together researchers to the latest research ideas on cloud service application development and business process engineering.

Workshop theme:

Distributing applications and cloud service applications among distributed 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 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 and semantically 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.

Scope of the workshop:

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 distributed and cloud service applications
  • Models and frameworks for distributed and cloud service applications.
  • Methods, processes and patterns for developing distributed and cloud service applications.
  • Ontology engineering and similarity.
  • Model Driven Engineering, model and meta-model transformation.
  • Intelligent semantic composition of cloud service applications based on machine learning.
  • Modeling formalisms, languages and notations for cloud service applications and business processes.
  • Formal specification, test and formal verification of distributed and cloud service applications.

Workshop Chairs

Leila Ben Ayed, ENSI, University of Manouba, Tunisia

Yousra BendalyHlaoui, FST, University of El Manar,Tunisia

Ahlem Ben Younes, Laboratory LaTICE, University of Tunis, Tunisia

Fevzi Belli, University of Paderborn, Germany

Program Committee

Hong Zhu, Oxford Brookes University, UK
Cristina Seceleanu, Malardalen University- Sweden
Sumi Helal, University of Florida, USA
Tolga Ayav, Izmir Institute of Technology, Turkey
Lee Moon-Kun, Chonbuk National University, Korea
Eun-Sun Cho, Chungnam National University, Korea
Jamal Bentahar, Concordia University, Montreal, Canada
Ahmed Hadj Kacem, University of Sfax , Tunisia
Christine Choppy, Laboratory LIPN , University of Paris Nord, France
Mohamed Jmaiel, University of Sfax , Tunisia
Afef Kacem (Laboratory LaTICE, University of Tunis, Tunisia
Ali Mili (New Jersey Institute of Technology, USA
Issam Mabrouki, Tunisia Polytechnic School-University of Carthage, Tunisia
Daniel Calegari Garcia, Instituto de Computacion Facultad de Ingenieria, Uruguay
Sofiene Tahar, Concordia University, Montreal, Canada
Mohamed Moez Yeddes, Ecole Polytechnique de Montreal, University of Montreal, Canada
Fahima Hajjej, Princess Noura University, Riadh, KSA
John Mullins, (Ecole Polytechnique de Montreal, University of Montreal, Canada
Nejib Boubaker, SUP’COM,University of Carthage, Tunis, Tunisia
Lamia Zouhaier, ISAM, University of Mannouba, Mannouba, Tunisia
Imen Ben Fraj, ESC, , University of Mannouba, Mannouba, Tunisia
Salma Ayari, Laboratory LaTICE, , University of Tunis, Tunisia