MVDA 2019: The 7th IEEE International Workshop on Modeling and Verifying Distributed Applications

MVDA 2019 Program

MVDA 1: The 7th IEEE International Workshop on Modeling and Verifying Distributed Applications
Models & Systems
Friday July 19, 8:00 – 9:30
Location: AMU 254
Session Chair: Yousra BenDaly Hlaoui, University of Tunis/University of El Manar

Optimization System for Dynamic Flight Planning for Groups of Drones using Cooperation with Mobile Recharge Bases by Means of Multiagent System and Recursive Auctions
Robison Brito, José Loureiro, Eduardo Todt and Andre Guedes
A Discrete Model of IEEE 1588-2008 Precision Time Protocol with Clock Servo using PI Controller
Ryuichiro Maegawa, Daiki Matsui, Yasuhiro Yamasaki and Hiroyuki Ohsaki

Fluid-based Modeling of Large-Scale IEEE 802.15.4 Wireless Sensor Networks
Kei Katayama and Hiroyuki Ohsaki

MVDA 2: The 7th IEEE International Workshop on Modeling and Verifying Distributed Applications
Formal Approaches
Friday July 19, 1:00 – 2:30
Location: AMU 254
Session Chair: Yousra BenDaly Hlaoui, University of Tunis/University of El Manar

A Grammar based Approach to BPMN Model Semantic Preservation using Refinement
Salma Ayari, Yousra Bendali Hlaoui and Leila Ben Ayed

Formal Verification of Blockchain Smart Contract based on Colored Petri Net Models
Zhentian Liu and Jing Liu

From BPMN2 to Event B: A Specification and Verification Approach of Workflow Applications
Ahlem Ben Younes, Yosra Ben Daly Hlaoui, Leila Ben Ayed and Mayssa Bessifi

Call for Papers

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.

Scope of the Workshop

Papers may address one or more of the topics listed below. Unlisted but related topics are also acceptable, provided that 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
• 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