Formal Application Description of Autonomous and Cooperative M2M Application Services
MetadataShow full item record
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.
Recommended, similar items
The following license files are associated with this item: