Modeling of Bootstrapping and Registration IoT Design Patterns
65
semantics associated. There is no research work that deals with the modeling
of IoT patterns. In this paper, we present the modeling of IoT design patterns
proposed by Reinfurt et al. [7].
8 Conclusions
In this paper, we presented an approach that allows to model and specify connected object architecture design patterns. In particular modeling the “Bootstrapping Design Patterns” category and the “Registration Design Patterns”
category. The modeling phase consists of presenting models of the design patterns in order to present a meta-model that presents an abstract view of a model
of the patterns. Subsequently, we described the structural and behavioral features of the pattern. Then, we formally specified these design patterns using the
formal Event-B method. Finally, we developed a plug-in under the Eclipse Modeling platform that offers a graphical editor for modeling IoT design patterns.
Currently, the transition from the SoaML modeling to the formal specification
is achieved manually, we are working on automating this phase by implementing
transformation rules.
References
1. Abrial, J.R.: Modeling in Event-B: System and Software Engineering, 1st edn.
Cambridge University Press, New York (2010)
2. Abrial, J.R., Butler, M., Hallerstede, S., Hoang, T., Mehta, F., Voisin, L.: Rodin: an
open toolset for modelling and reasoning in event-B. Int. J. Softw. Tools Technol.
Transf. 12(6), 447–466 (2010)
3. Chandra, G.S.: Pattern language for IoT applications. In: PLoP Conference, USA
(2016)
4. Dong, J., Alencar, P., Cowan, D.D., Sheng, Y.: Composing pattern-based components and verifying correctness. J. Syst. Softw. 80, 1755–1769 (2007)
5. Leuschel, M., Butler, M.: ProB: a model checker for B. In: Araki, K., Gnesi, S.,
Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 855–874. Springer, Heidelberg
(2003). https://doi.org/10.1007/978-3-540-45236-2 46
6. Qanbari, S., et al.: IoT design patterns: computational constructs to design, build
and engineer edge applications. In: 2016 IEEE First International Conference on
Internet-of-Things Design and Implementation (IoTDI), pp. 277–282 (2016)
7. Reinfurt, L., Breitenb¨ ucher, U., Falkenthal, M., Leymann, F., Riegg, A.: Internet
of things patterns for device bootstrapping and registration. In: Proceedings of the
22Nd European Conference on Pattern Languages of Programs, EuroPLoP 2017,
pp. 15:1–15:27. ACM, New York (2017)
8. Reinfurt, L., Breitenb¨ ucher, U., Falkenthal, M., Leymann, F., Riegg, A.: Internet of
things patterns for devices. In: Proceedings of the Ninth International Conferences
on Pervasive Patterns and Applications (PATTERNS), pp. 117–126 (2017)
9. Reinfurt, L., Falkenthal, M., Breitenb¨ ucher, U., Leymann, F.: Applying IoT patterns to smart factory systems. Advanced Summer School on Service Oriented
Computing, Summer SOC (2017)
65
semantics associated. There is no research work that deals with the modeling
of IoT patterns. In this paper, we present the modeling of IoT design patterns
proposed by Reinfurt et al. [7].
8 Conclusions
In this paper, we presented an approach that allows to model and specify connected object architecture design patterns. In particular modeling the “Bootstrapping Design Patterns” category and the “Registration Design Patterns”
category. The modeling phase consists of presenting models of the design patterns in order to present a meta-model that presents an abstract view of a model
of the patterns. Subsequently, we described the structural and behavioral features of the pattern. Then, we formally specified these design patterns using the
formal Event-B method. Finally, we developed a plug-in under the Eclipse Modeling platform that offers a graphical editor for modeling IoT design patterns.
Currently, the transition from the SoaML modeling to the formal specification
is achieved manually, we are working on automating this phase by implementing
transformation rules.
References
1. Abrial, J.R.: Modeling in Event-B: System and Software Engineering, 1st edn.
Cambridge University Press, New York (2010)
2. Abrial, J.R., Butler, M., Hallerstede, S., Hoang, T., Mehta, F., Voisin, L.: Rodin: an
open toolset for modelling and reasoning in event-B. Int. J. Softw. Tools Technol.
Transf. 12(6), 447–466 (2010)
3. Chandra, G.S.: Pattern language for IoT applications. In: PLoP Conference, USA
(2016)
4. Dong, J., Alencar, P., Cowan, D.D., Sheng, Y.: Composing pattern-based components and verifying correctness. J. Syst. Softw. 80, 1755–1769 (2007)
5. Leuschel, M., Butler, M.: ProB: a model checker for B. In: Araki, K., Gnesi, S.,
Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 855–874. Springer, Heidelberg
(2003). https://doi.org/10.1007/978-3-540-45236-2 46
6. Qanbari, S., et al.: IoT design patterns: computational constructs to design, build
and engineer edge applications. In: 2016 IEEE First International Conference on
Internet-of-Things Design and Implementation (IoTDI), pp. 277–282 (2016)
7. Reinfurt, L., Breitenb¨ ucher, U., Falkenthal, M., Leymann, F., Riegg, A.: Internet
of things patterns for device bootstrapping and registration. In: Proceedings of the
22Nd European Conference on Pattern Languages of Programs, EuroPLoP 2017,
pp. 15:1–15:27. ACM, New York (2017)
8. Reinfurt, L., Breitenb¨ ucher, U., Falkenthal, M., Leymann, F., Riegg, A.: Internet of
things patterns for devices. In: Proceedings of the Ninth International Conferences
on Pervasive Patterns and Applications (PATTERNS), pp. 117–126 (2017)
9. Reinfurt, L., Falkenthal, M., Breitenb¨ ucher, U., Leymann, F.: Applying IoT patterns to smart factory systems. Advanced Summer School on Service Oriented
Computing, Summer SOC (2017)