IMPORTANT INFORMATION FOR COMPSAC 2022 AUTHORS 

Because of uncertainties related to Covid 19, COMPSAC 2022, currently planned as an in-person event to be held in Turin, Italy, may be conducted in a hybrid format – with some sessions in-person and some over the Internet. If the conference format is hybrid, authors of accepted papers will be able to decide to present their papers either virtually or in-person in Turin. 

However, if the pandemic worsens, the conference will be completely virtual as it was in 2020 and 2021, and all presentations will be done virtually. We will announce in the submission acceptance letters to authors whether the conference will be hybrid or virtual. Registration fees will be adjusted to reflect the format of the conference.

10th IEEE International Workshop on Modeling and Verifying Distributed-Embedded Applications (MVDA 2022)

Goal of the workshop:

The workshop aims to bring together researchers to the latest research ideas on development of distributed real-Time and embedded systems.

Workshop theme:

Distributing applications and cloud 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 a semantic description to retrieve and compose automatically and semantically 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. Especially for distributed real-time embedded system, cost and quality requirements necessitate reuse of the functional software components for multiple deployment architectures. An important step is the allocation of software components to hardware. During this process the differences between the hardware and application software architectures must be reconciled. We need model-based techniques to resolve these differences and integrate hardware and software components. The system architecture serves as the underpinning based on which distributed real-time components can be generated. 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 they fit in one of the following main areas:

  • Architecture and design principles for distributed and cloud service applications
  • Architecture and design principles for distributed embedded applications
  • Models and frameworks for distributed and cloud service applications.
  • Methods, processes and patterns for developing distributed and cloud service applications.
  • Ontology engineering and similarity.
  • Machine learning based matching ontologies.
  • Model Driven Engineering, model and meta-model transformation.
  • Intelligent semantic composition of cloud service applications based on machine learning.
  • Modeling formalisms, languages and notations for cloud service applications and business processes.
  • Formal specification, test and formal verification of distributed and cloud service applications.
  • Refinement in Business Process models.
  • Elasticity and flexibility in Cloud service Business Processes.

Likely participants: Software engineering, cloud, Business Process and machine learning researchers are called to participate and exchange ideas and techniques.

Please visit Information for Authors for formatting instructions, page limits, and IEEE paper templates.

Important dates for submission and notification are listed here.

Workshop Organizers

Leila Ben Ayed, ENSI, University of Manouba, Tunisia; LIPSIC Research Laboratory FST, University of El Manar, Tunisia
Email: leila.benayed@ensi-uma.tn

Yousra Bendaly Hlaoui, LIPSIC Research Laboratory, FST, University of El Manar, Tunisia
Email: yousra.hlaoui@fst.utm.tn

Samir Ben Ahmed, LIPSIC Research Laboratory, FST, University of El Manar, Tunisia
Email: samir.benahmed@fst.utm.tn

Ahlem Ben Younes, ENSIT, University of Tunis, Tunisia
Email: Ahlem.Benyounes@utic.rnu.tn

Program Committee

(to be confirmed)

Hong Zhu, ( Oxford Brookes University, UK)

Cristina Seceleanu, (Malardalen 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, Montreal, Canada)

Ahmed Hadj Kacem (University of Sfax , Tunisia)

Christine Choppy (Laboratory LIPN , University of Paris Nord, France)

Mohamed Jmaiel (University of Sfax , Tunisia)

Afef Kacem (Laboratory LaTICE, 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 ComputacionFacultad de Ingenieria, Uruguay)

Sofiene Tahar (Concordia University, Montreal, Canada)

Mohamed Moez Yeddes ( EcolePolytechnique de Montreal, University of Montreal, Canada)

Fahima Hajjej (Princess Noura University, Riadh, KSA)

John Mullins ( Ecole Polytechnique de Montreal, University of Montreal, Canada)

Riadh Robbana (National Institute of Applied Sciences and Technology (INSAT), and Tunisia Polytechnic

School (EPT), University of Carthage, Tunisia)

Mohamed Khalgui (National Institute of Applied Sciences and Technology (INSAT),Tunisia)

Olfa Mousbahi, (National Institute of Applied Sciences and Technology (INSAT),Tunisia)

Mohamed Taha Bennani (LIPSIC Research Laboratory, FST, University of El Manar,Tunisia)

Narjes Dougaz (LIPAH Research Laboratory, FST, University of El Manar,Tunisia)

Lamia Zouhaier (LIPSIC Research Laboratory, FST, University of El Manar,Tunisia)

Imen Ben Fraj (LIPSIC Research Laboratory, FST, University of El Manar,Tunisia)

Salma Ayari (LIPSIC Research Laboratory, FST, University of El Manar,Tunisia)