MVDA 2013: The 2nd IEEE Workshop on Modeling and Verifying Distributed Applications

Held in conjunction with COMPSAC, the IEEE Signature Conference on Computers, Software & Applications - July 22-26, 2013 - Kyoto, Japan


Goal of the Workshop

Distributing applications and service applications among networks of computers offer many potential benefits. However, implementing robust, efficient, and extensible 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 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.

Theme and 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 applications
• Models and frameworks for distributed applications
• Methods, processes and patterns for developing distributed applications
• Ontological mapping
• Similarity of ontologies
• Model Driven Engineering
• Semantic composition
• Model driven composition
• Modeling formalisms, languages and notations for service workflow applications
• Tools, techniques and methodologies for verifying distributed application models


Papers must be submitted electronically via the MVDA 2013 Submission Page once it becomes available.

Follow the IEEE Computer Society Press Proceedings Author Guidelines to prepare your papers:

All papers will be carefully reviewed by at least three reviewers. Papers can be submitted as regular papers (six pages), and the acceptance will depend on reviewer feedback. Accepted papers will be published in the workshop proceedings of the IEEE Computer Software and Applications Conference (COMPSAC 2013) by the IEEE CS Press. At least one of the authors of each accepted paper must register as a full participant of the workshop to have the paper published in the proceedings. Each accepted paper must be presented in person by an author.

General Inquiries

For updated information, please contact the workshop organizers.

MVDA Organizers

Leila Jemni Ben Ayed
Laboratory LaTICE – University of Tunis/ ENSI, University of Manouba, Tunisia
Email: leila.jemni (at)

Fevzi Belli
University of Paderborn, Germany
E-mail: belli (at)

Ahlem Ben Younes
Laboratory LaTICE – University of Tunis, Tunisia
Email: Ahlem.Benyounes (at)

Yousra Hlaoui Ben Daly
Laboratory LaTICE – University of Tunis/ESC, University of Manouba, Tunisia
Email: yousra.bendalyhlaoui (at)

Program Committee

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)

Workshops Program Deadlines

• Extended: April 8, 2013 : Workshop papers due
• April 26, 2013: Workshop paper notifications
• May 5, 2013: Camera-ready copy and registration due