Formal Application Description of Autonomous and Cooperative M2M Application Services.

Michael Steinheimer, Ulrich Trick, Bogdan Ghita

Research output: Contribution to journalArticlepeer-review

1 Downloads (Pure)

Abstract

This publication presents a novel concept for designing M2M applications on end user level. A formal description language is introduced that enables formal description of M2M application semantic based on statemachines. The evaluation of several modelling languages for describing statemachine-based application semantic are analysed with the result that UML Statemachine Diagrams form the best fitting approach for the introduced formal description language. The defined concept of behavioural modelling M2M application through end users by means of statemachines forms a generalised, intuitive and platform independent methodology to define the semantic of M2M applications.
Original languageEnglish
Pages (from-to)33-39
Number of pages0
JournalJ. Commun.
Volume14
Issue number0
DOIs
Publication statusPublished - 2019

Fingerprint

Dive into the research topics of 'Formal Application Description of Autonomous and Cooperative M2M Application Services.'. Together they form a unique fingerprint.

Cite this