On Modelling Communication in Ubiquitous Computing Systems using Algebraic Higher Order Nets

Gottmann, Susann; Nachtigall, Nico; Hoffmann, Kathrin

Reference : On Modelling Communication in Ubiquitous Computing Systems using Algebraic Higher Ord...


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/10292

Title :	On Modelling Communication in Ubiquitous Computing Systems using Algebraic Higher Order Nets
Language :	English
Author, co-author :	Gottmann, Susann [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	Nachtigall, Nico [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	Hoffmann, Kathrin [Hochschule für Angewandte Wissenschaften Hamburg, Germany]
Publication date :	2012
Main document title :	Electronic Communications of the EASST
Publisher :	European Association of Software Science and Technology
Collection and collection volume :	51
Pages :	1-12
Peer reviewed :	Yes
ISBN :	1863-2122
Event name :	Proceedings of the 5th International Workshop on Petri Nets, Graph Transformation and other Concurrency Formalisms
Event date :	29-09-2012
Keywords :	[en] Ubiquitous Computing Systems ; Systems Modelling ; Algebraic Higher Order Nets ; Petri Nets with Individual Tokens ; Graph Transformation
Abstract :	[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.
Permalink :	http://hdl.handle.net/10993/10292

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Limited access	778-2327-1-PB.pdf		Publisher postprint	289.62 kB	Request a copy

All documents in ORBi^lu are protected by a user license.

University of Luxembourg Library | Feedback | Legal notices