Home // ICONS 2014, The Ninth International Conference on Systems // View article

Construction Principles for Well-behaved Scalable Systems

Authors:
Peter Ochsenschläger
Roland Rieke

Keywords: uniformly parameterised systems; monotonic parameterised systems; behaviour-abstraction; self-similarity of behaviour

Abstract:
We formally define scalable systems as uniformly monotonic parameterised systems and motivate this definition. With respect to such scalable systems, we focus on properties, which rely on specific component types and a specific number of individual components for these component types but not on the specific individuality of the individual components. We characterise well-behaved scalable systems by those systems which fulfil such a kind of property if already one prototype system (depending on the property) fulfils that property. Self-similar uniformly monotonic parameterised systems have the above desired property. Therefore, we define well-behaved scalable systems as self-similar scalable systems. This paper presents a formal framework that provides construction principles for well-behaved scalable systems. It gives sufficient conditions to specify a certain kind of basic well-behaved scalable systems and shows how to construct more complex systems by the composition of several synchronisation conditions.

Pages: 32 to 39

Copyright: Copyright (c) IARIA, 2014

Publication date: February 23, 2014

Published in: conference

ISSN: 2308-4243

ISBN: 978-1-61208-319-3

Location: Nice, France

Dates: from February 23, 2014 to February 27, 2014