MVDA 2019: The 7th IEEE International Workshop on Modeling and Verifying Distributed Applications

Call for Papers

Distributing applications and 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 these kinds of applications. This abstraction allows on one hand the reuse of the elaborated application and on the other hand reduces the complexity and saves the users from the details 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 that they fit in one of the following main areas:

  • Architecture and design principles for distributed applications
  • Models and frameworks for distributed applications
  • Methods, processes and patterns for developing distributed applications
  • Ontology engineering and similarity
  • Model Driven Engineering, model and meta-model transformation
  • Semantic composition of service applications
  • Modeling formalisms, languages and notations for service workflow applications
  • Formal specification, test and formal verification of distributed applications

Paper Submission Site

Submission deadlines are given on the Important Dates page.

Paper templates and additional information for authors is available on the Information for Authors page.

All papers submitted to symposia and workshops must be original, previously unpublished work. Interested in presenting previously IEEE journal published work at COMPSAC? Please see our page on Journal First/Conference Second (J1C2) publishing opportunities!

MVDA Organizers

Leila Ben Ayed, Laboratory LaTICE, University of Tunis/ENSI, University of Manouba, Tunisia

Ahlem Ben Younes, Laboratory LaTICE, University of Tunis

Yousra Bendaly Hlaoui, Laboratory LaTICE, University of Tunis/FST, University of El Manar, Tunisia

Fevzi Belli, University of Paderborn, Germany

Program Committee

Hong Zhu, Oxford Brookes University, UK
Cristina Seceleanu, Malärdalen 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, Canada
Ahmed Hadj Kacem, University of Sfax, Tunisia
Christine Choppy, University of Paris Nord, France
Mohamed Jmaiel, University of Sfax, Tunisia
Afef Kacem, 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, Canada
Mohamed Moez Yeddes, University of Montreal, Canada
Fahima Hajjej, Princess Noura University, KSA
John Mullins, University of Montreal, Canada
Mijib Boubaker, University of Carthage, Tunisia
Lamia Zouhaier, University of Mannouba, Tunisia
Imen Ben Jraj, University of Mannouba, Tunisia
Salma Ayari, University of Tunis, Tunisia