View in EDS PDF Full Text

STATECHARTS COMPOSITION TO MODEL TOPOLOGICALLY DISTRIBUTED APPLICATIONS.

Saved in:
Bibliographic Details
Title: STATECHARTS COMPOSITION TO MODEL TOPOLOGICALLY DISTRIBUTED APPLICATIONS.
Authors: Banci, Michele1, Fantechi, Alessandro2, Gnesi, Stefania1
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
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 23696988
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: STATECHARTS COMPOSITION TO MODEL TOPOLOGICALLY DISTRIBUTED APPLICATIONS.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Banci%2C+Michele%22">Banci, Michele</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Fantechi%2C+Alessandro%22">Fantechi, Alessandro</searchLink><relatesTo>2</relatesTo><br /><searchLink fieldCode="AR" term="%22Gnesi%2C+Stefania%22">Gnesi, Stefania</searchLink><relatesTo>1</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Journal+of+Integrated+Design+%26+Process+Science%22">Journal of Integrated Design & Process Science</searchLink>. Mar2006, Vol. 10 Issue 1, p1-15. 15p. 10 Diagrams, 2 Charts.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Statecharts+%28Computer+science%29%22">Statecharts (Computer science)</searchLink><br /><searchLink fieldCode="DE" term="%22Complexity+%28Philosophy%29%22">Complexity (Philosophy)</searchLink><br /><searchLink fieldCode="DE" term="%22Product+attributes%22">Product attributes</searchLink><br /><searchLink fieldCode="DE" term="%22Industrial+applications%22">Industrial applications</searchLink><br /><searchLink fieldCode="DE" term="%22Topology%22">Topology</searchLink><br /><searchLink fieldCode="DE" term="%22Distributed+algorithms%22">Distributed algorithms</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: 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]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>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.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=23696988
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.3233/jid-2006-10101
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 15
        StartPage: 1
    Subjects:
      – SubjectFull: Statecharts (Computer science)
        Type: general
      – SubjectFull: Complexity (Philosophy)
        Type: general
      – SubjectFull: Product attributes
        Type: general
      – SubjectFull: Industrial applications
        Type: general
      – SubjectFull: Topology
        Type: general
      – SubjectFull: Distributed algorithms
        Type: general
    Titles:
      – TitleFull: STATECHARTS COMPOSITION TO MODEL TOPOLOGICALLY DISTRIBUTED APPLICATIONS.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Banci, Michele
      – PersonEntity:
          Name:
            NameFull: Fantechi, Alessandro
      – PersonEntity:
          Name:
            NameFull: Gnesi, Stefania
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 03
              Text: Mar2006
              Type: published
              Y: 2006
          Identifiers:
            – Type: issn-print
              Value: 10920617
          Numbering:
            – Type: volume
              Value: 10
            – Type: issue
              Value: 1
          Titles:
            – TitleFull: Journal of Integrated Design & Process Science
              Type: main
ResultId 1