STATECHARTS COMPOSITION TO MODEL TOPOLOGICALLY DISTRIBUTED APPLICATIONS.

Saved in:

Bibliographic Details
Title:	STATECHARTS COMPOSITION TO MODEL TOPOLOGICALLY DISTRIBUTED APPLICATIONS.
Authors:	Banci, Michele¹, Fantechi, Alessandro², Gnesi, Stefania¹
Source:	Journal of Integrated Design & Process Science. Mar2006, Vol. 10 Issue 1, p1-15. 15p. 10 Diagrams, 2 Charts.
Subjects:	Statecharts (Computer science), Complexity (Philosophy), Product attributes, Industrial applications, Topology, Distributed algorithms
Abstract:	Many real-world systems can be conveniently modelled by the replication and interconnection of simple components of a few types: different configurations of the same system may vary just for the number of components and for the topology of their interconnections. In industrial practice of formal modelling the tedious work of such a manual instantiation has to be automated, allowing the inexpensive production of new configurations for the same product. This paper presents a methodology to build statechart models of topologically distributed systems by instantiating generic components; the method is able to replicate as needed statechart components and to expand the terms that drive their behaviour to create complex interconnection patterns along the required topology. The methodology is illustrated on the example of a classical distributed algorithm (Byzantine Agreement) in order to show the potential of dealing with parameterized distributed structures. The proposed methodology is shown to be able to find several interesting industrial applications. [ABSTRACT FROM AUTHOR]
	Copyright of Journal of Integrated Design & Process Science is the property of Sage Publications Inc. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database:	Engineering Source

Description
Abstract:	Many real-world systems can be conveniently modelled by the replication and interconnection of simple components of a few types: different configurations of the same system may vary just for the number of components and for the topology of their interconnections. In industrial practice of formal modelling the tedious work of such a manual instantiation has to be automated, allowing the inexpensive production of new configurations for the same product. This paper presents a methodology to build statechart models of topologically distributed systems by instantiating generic components; the method is able to replicate as needed statechart components and to expand the terms that drive their behaviour to create complex interconnection patterns along the required topology. The methodology is illustrated on the example of a classical distributed algorithm (Byzantine Agreement) in order to show the potential of dealing with parameterized distributed structures. The proposed methodology is shown to be able to find several interesting industrial applications. [ABSTRACT FROM AUTHOR]
ISSN:	10920617
DOI:	10.3233/jid-2006-10101