Toward a Modeling Language Prototype for Modeling the Behavior of Wireless Body Area Networks Communication Protocols

Modeling and evaluating the behavior of the medium access control (MAC) protocols of wireless body area networks (WBANs) through the model-checker toolset UPPAAL-SMC necessitate a certain level of expertise. The thing that is not available for many MAC protocol designers. To facilitate the use of UPPAAL-SMC, we propose to define a model-driven engineering (MDE) approach that uses a modeling method (MM) as a start and the UPPAAL-SMC as a target and back. In this paper, we use the ADOxx platform to define the domain-specific modeling language (DSML) of WBAN that is presented through the name WBAN modeling language (WBAN-ML) to model the behavior of the WBANs MAC protocols. The prototype implementation result of the WBAN-ML is presented in this paper.