Formal Application Description of Autonomous and Cooperative M2M Application Services

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.