posted by system || 2864 views || tracked by 4 users: [display]

MVDA 2012 : The 1st IEEE Workshop on Modeling and Verifying Distributed Applications


When Jul 16, 2012 - Jul 20, 2012
Where Izmir, Turkey
Submission Deadline Mar 15, 2012
Categories    distributed systems

Call For Papers

MVDA012: The 1st IEEE Workshop on Modeling and Verifying Distributed Applications

In conjunction with The 36th Annual International Computer Software and Applications
COMPSAC 2012(, 16-20 July 2012, Izmir, Turkey

Purpose of the Workshop:

Distributing service applications among networks of computers offers 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.
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 thefollowing main areas:

+ Architecture and design principles for distributed applications

+ Models and frameworks for distributed applications

+ Methods, processes and patterns for developing distributed applications

+ Modeling formalisms, languages and notations for service workflowapplications

+ Tools, techniques and methodologies for verifying distributedapplication models


Software engineers, researchers, developers and practitioners
in the area of distributed applications

Paper Submission:

Papers, not longer than 6 pages, must be submitted electronically via
the MVDA2012 Submission Page (
The format of submitted papers should follow the guidelines for the IEEE conference proceedings.
All papers will be carefully reviewed by at least three reviewers.
Accepted papers will be published in the electronic proceedings by IEEE Computer Society.
In order to enable indexing through INSPEC and EI Index, and inclusion in the IEEE digital library,
at least one of the authors of each accepted paper must register as a participant of the workshop
and the paper must be presented in person by one of the authors.

Workshop Chairs:

Leila Jemni Ben Ayed Laboratory LaTICE, University of Tunis, Tunisia
Fevzi Belli University of Paderborn, Germany


Leila Jemni Ben Ayed Email:
Ahlem Ben Younes Email:
YousraHlaoui Ben Daly Email:

Laboratory LaTICE University of Tunis

Program Committee (incomplete):

- Tolga Ayav (Izmir Institute of Technology ? Turkey)
- Hanen Ben Abdallah (University of Sfax, Tunisia)
- 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)
- Sundeep K Shukla (Virginia Polytechnic and State University in Blacksburg ? USA)
- Ali Mili (New Jersey Institute of Technology - USA)
- Zakaria Maamar ( Zayed University, Dubai-United Arab Emirates)
- Issam Mabrouki ( Tunisia Polytechnic School-University of Carthage, Tunisia)
- Sofiene Tahar (Concordia University -Montr?al- Canada)
- Mohamed Moez Yeddes (University of la Manouba ? Tunisia)
- Hamdi Yahyaoui ( Kuwait University, State of Kuwait)

Important Dates:

March 15, 2012: Workshop paper submission deadline
April 15, 2012: Acceptance notification
May 02, 2012: Camera-ready copy and registration due

Related Resources

Distributed ML and Opt. 2023   Distributed Machine Learning and Optimization: Theory and Applications
CERTS 2022   5th Workshop on Security and Dependability of Critical Embedded Real-Time Systems
ICDCS 2023   The 43rd IEEE International Conference on Distributed Computing Systems
IEEE ISADS 2023   IEEE 15th International Symposium on Autonomous Decentralized Systems
IEEE ICCIA 2023   IEEE--2023 8th International Conference on Computational Intelligence and Applications (ICCIA 2023)
ICCIA 2023   IEEE--2023 8th International Conference on Computational Intelligence and Applications (ICCIA 2023)
VISUAL 2023   The Eighth International Conference on Applications and Systems of Visual Paradigms
IEEE ICA 2022   The 6th IEEE International Conference on Agents
IEEE SSCI 2023   2023 IEEE Symposium Series on Computational Intelligence
IEEE CCNC STP-CPS 2023   5th International Workshop on Security Trust Privacy for Cyber-Physical Systems (STP-CPS'23) with IEEE CCNC 2023, 8-11 January, Las Vegas, NV, USA