Reference : On Modelling Communication in Ubiquitous Computing Systems using Algebraic Higher Ord...
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/10292
On Modelling Communication in Ubiquitous Computing Systems using Algebraic Higher Order Nets
English
Gottmann, Susann mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Nachtigall, Nico mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Hoffmann, Kathrin [Hochschule für Angewandte Wissenschaften Hamburg, Germany]
2012
Electronic Communications of the EASST
European Association of Software Science and Technology
51
1-12
Yes
1863-2122
Proceedings of the 5th International Workshop on Petri Nets, Graph Transformation and other Concurrency Formalisms
29-09-2012
[en] Ubiquitous Computing Systems ; Systems Modelling ; Algebraic Higher Order Nets ; Petri Nets with Individual Tokens ; Graph Transformation
[en] Ubiquitous computing systems (UCSs) are designed to participate almost imperceptibly in everyday life. To ensure a solid operation, a UCS heavily depends on a reliable and efficient communication between its distributed computing components. Moreover components can join and leave the system at any time. In order to guarantee high quality systems, the use of models is inevitable especially at an early stage of the development process where models are the only possibility to address a system which does not yet exist in reality. Petri nets and graph transformation systems are established, theoretically well-founded concepts for modelling and analysing complex systems. This paper presents a formal approach for modelling core aspects of the communication in UCSs by using Algebraic Higher Order Nets with Individual Tokens and graph transformation. The approach is suitable to cover the different aspects of communication and enables the analysis of specific properties. The approach and its suitability are illustrated based on a running example. The easibility of embedding the approach in a broader context of modelling is demonstrated in applying it to a real world system: the Living Place Hamburg.
http://hdl.handle.net/10993/10292

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
778-2327-1-PB.pdfPublisher postprint289.62 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.