TY - JOUR
T1 - Formal Application Description of Autonomous and Cooperative M2M Application Services.
AU - Steinheimer, Michael
AU - Trick, Ulrich
AU - Ghita, Bogdan
PY - 2019
Y1 - 2019
N2 - 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.
AB - 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.
UR - https://pearl.plymouth.ac.uk/context/secam-research/article/1447/viewcontent/Formal_20Application_20Description_20of_20Autonomous_20and_20Cooperative_20M2M_20Application_20Services..pdf
U2 - 10.12720/jcm.14.1.33-39
DO - 10.12720/jcm.14.1.33-39
M3 - Article
VL - 14
SP - 33
EP - 39
JO - J. Commun.
JF - J. Commun.
IS - 0
ER -