Partitioning of perfect synchroneous reactive specifications to distributed processors using μ-charts.
Saved in:
| Title: | Partitioning of perfect synchroneous reactive specifications to distributed processors using μ-charts. |
|---|---|
| Authors: | Scholz, Peter1 peter.scholz@fh-landshut.de |
| Source: | Software & Systems Modeling. Apr2006, Vol. 5 Issue 1, p13-25. 13p. 7 Diagrams, 1 Chart. |
| Subjects: | Statecharts (Computer science), Distributed computing, Structured techniques of electronic data processing, Computer science, Computer programming |
| Abstract: | In this contribution, it is shown that perfect synchroneous specifications can be partitioned to and implemented on a distributed processor network. To this end, we introduce a lean visual formalism, called μ-charts, that is similar to the specification language Statecharts. This formalism consists of fewer syntactic constructs than Statecharts. Further syntax like hierarchical decomposition can be derived by means of syntactic abbreviation. μ-charts' semantics is based on the assumption of perfect synchrony. This paper is one of several contributions in this context; it gives a formal background and concentrates on the question how to use perfect synchroneous, state-based description techniques as a basis for distributed implementations. The main contribution presented in this article is that the (formal and compositional) semantics of a perfect synchroneous specification is preserved when it is partitioned and implemented on distributed processors. We prove a theorem which guarantees that the communication flow between distributed parts of a perfect synchroneous specification stabilizes in a fixed point, i.e.$ terminates, independently of the processor speeds. [ABSTRACT FROM AUTHOR] |
| Copyright of Software & Systems Modeling is the property of Springer Nature 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: 20239728 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Partitioning of perfect synchroneous reactive specifications to distributed processors using μ-charts. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Scholz%2C+Peter%22">Scholz, Peter</searchLink><relatesTo>1</relatesTo><i> peter.scholz@fh-landshut.de</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Software+%26+Systems+Modeling%22">Software & Systems Modeling</searchLink>. Apr2006, Vol. 5 Issue 1, p13-25. 13p. 7 Diagrams, 1 Chart. – 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="%22Distributed+computing%22">Distributed computing</searchLink><br /><searchLink fieldCode="DE" term="%22Structured+techniques+of+electronic+data+processing%22">Structured techniques of electronic data processing</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+science%22">Computer science</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+programming%22">Computer programming</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: In this contribution, it is shown that perfect synchroneous specifications can be partitioned to and implemented on a distributed processor network. To this end, we introduce a lean visual formalism, called μ-charts, that is similar to the specification language Statecharts. This formalism consists of fewer syntactic constructs than Statecharts. Further syntax like hierarchical decomposition can be derived by means of syntactic abbreviation. μ-charts' semantics is based on the assumption of perfect synchrony. This paper is one of several contributions in this context; it gives a formal background and concentrates on the question how to use perfect synchroneous, state-based description techniques as a basis for distributed implementations. The main contribution presented in this article is that the (formal and compositional) semantics of a perfect synchroneous specification is preserved when it is partitioned and implemented on distributed processors. We prove a theorem which guarantees that the communication flow between distributed parts of a perfect synchroneous specification stabilizes in a fixed point, i.e.$ terminates, independently of the processor speeds. [ABSTRACT FROM AUTHOR] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>Copyright of Software & Systems Modeling is the property of Springer Nature 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=20239728 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1007/s10270-005-0094-1 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 13 StartPage: 13 Subjects: – SubjectFull: Statecharts (Computer science) Type: general – SubjectFull: Distributed computing Type: general – SubjectFull: Structured techniques of electronic data processing Type: general – SubjectFull: Computer science Type: general – SubjectFull: Computer programming Type: general Titles: – TitleFull: Partitioning of perfect synchroneous reactive specifications to distributed processors using μ-charts. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Scholz, Peter IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 04 Text: Apr2006 Type: published Y: 2006 Identifiers: – Type: issn-print Value: 16191366 Numbering: – Type: volume Value: 5 – Type: issue Value: 1 Titles: – TitleFull: Software & Systems Modeling Type: main |
| ResultId | 1 |
