MVDA 2019: The 7th IEEE International Workshop on Modeling and Verifying Distributed Applications |
Website | https://ieeecompsac.computer.org/2019/mvda/ |
Abstract registration deadline | April 15, 2019 |
Submission deadline | April 27, 2019 |
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.
Submission Guidelines
All papers submitted to the workshop must be original, previously unpublished work and limited to 6 pages. Page limit is inclusive of tables, figures, appendices, and references.
IEEE Paper templates are available in MS Word 2003 and LaTex. All submissions must use US 8.5×11 letter page format.
List of Topics
- 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
Committees
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
Organizing committee
-
Fevzi Belli, University of Paderborn, Germany, Email: belli@upb.de
-
Leila Ben Ayed, Laboratory LaTICE, University of Tunis/ENSI, University of Manouba, Tunisia
Email: leila.benayed@ensi-uma.tn -
Yousra Bendaly Hlaoui, Laboratory LaTICE, University of Tunis/FST, University of El Manar, Tunisia
Email: yousra.bendalyhlaoui@esstt.rnu.tn -
Ahlem Ben Younes, Laboratory LaTICE, University of Tunis
Email: ahlem.benyounes@utic.rnu.t
Venue
MVDA 2019 will be held, in conjunction with COMPSAC 2019 conference, at Marquette University, a 93-acre campus near downtown Milwaukee. All conference plenary and breakout sessions will be scheduled in the Alumni Memorial Union.
Contact
All questions about submissions should be emailed to ieeecompsac@gmail.com
Sponsors
COMPSAC IS SPONSORED BY IEEE AND THE IEEE COMPUTER SOCIETY