MVDA012: The 1st IEEE Workshop on Modeling and Verifying Distributed Applications
http://compsac.cs.iastate.edu/workshop_details.php?id=56&y

In conjunction with The 36th Annual International Computer Software and Applications
COMPSAC 2012(www.compsac.org), 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

Participants:

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 (http://myreview.cs.iastate.edu/MVDA2012/).
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

Organizers:

Leila Jemni Ben Ayed Email: leila.jemni@fsegt.rnu.tn
Ahlem Ben Younes Email: Ahlem.Benyounes@utic.rnu.tn
YousraHlaoui Ben Daly Email: yousra.bendalyhlaoui@esstt.rnu.tn

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