View in EDS PDF Full Text

ON ARCHITECTURAL SUPPORT FOR BEHAVIOUR REFINEMENT IN DISTRIBUTED SYSTEMS DESIGN.

Saved in:
Bibliographic Details
Title: ON ARCHITECTURAL SUPPORT FOR BEHAVIOUR REFINEMENT IN DISTRIBUTED SYSTEMS DESIGN.
Authors: Quartel, Dick1, Pires, Luís Ferreira1, van Sinderen, Marten1
Source: Journal of Integrated Design & Process Science. Mar2002, Vol. 6 Issue 1, p1. 30p.
Subjects: Architectural design, Unit construction, Concrete construction, Industrial design, Architecture
Abstract: During the top-down design of distributed systems, abstract designs have to be replaced by more concrete designs, which add details that define how these systems can be implemented using available building blocks. Behaviour refinement is a design operation in which abstract behaviours are replaced by more concrete behaviours. Methods that guide and enforce the correctness of these replacements are necessary. This paper presents a set of methods to perform behaviour refinement, based on a careful consideration of the architectural concepts of action and causality relation. Correctness is enforced by validation of the conformance relation between an abstract and a concrete behaviour. Rules are provided to determine whether a concrete behaviour conforms to an abstract behaviour. [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: 11065136
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: ON ARCHITECTURAL SUPPORT FOR BEHAVIOUR REFINEMENT IN DISTRIBUTED SYSTEMS DESIGN.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Quartel%2C+Dick%22">Quartel, Dick</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Pires%2C+Luís+Ferreira%22">Pires, Luís Ferreira</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22van+Sinderen%2C+Marten%22">van Sinderen, Marten</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>. Mar2002, Vol. 6 Issue 1, p1. 30p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Architectural+design%22">Architectural design</searchLink><br /><searchLink fieldCode="DE" term="%22Unit+construction%22">Unit construction</searchLink><br /><searchLink fieldCode="DE" term="%22Concrete+construction%22">Concrete construction</searchLink><br /><searchLink fieldCode="DE" term="%22Industrial+design%22">Industrial design</searchLink><br /><searchLink fieldCode="DE" term="%22Architecture%22">Architecture</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: During the top-down design of distributed systems, abstract designs have to be replaced by more concrete designs, which add details that define how these systems can be implemented using available building blocks. Behaviour refinement is a design operation in which abstract behaviours are replaced by more concrete behaviours. Methods that guide and enforce the correctness of these replacements are necessary. This paper presents a set of methods to perform behaviour refinement, based on a careful consideration of the architectural concepts of action and causality relation. Correctness is enforced by validation of the conformance relation between an abstract and a concrete behaviour. Rules are provided to determine whether a concrete behaviour conforms to an abstract behaviour. [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=11065136
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.3233/jid-2002-6101
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 30
        StartPage: 1
    Subjects:
      – SubjectFull: Architectural design
        Type: general
      – SubjectFull: Unit construction
        Type: general
      – SubjectFull: Concrete construction
        Type: general
      – SubjectFull: Industrial design
        Type: general
      – SubjectFull: Architecture
        Type: general
    Titles:
      – TitleFull: ON ARCHITECTURAL SUPPORT FOR BEHAVIOUR REFINEMENT IN DISTRIBUTED SYSTEMS DESIGN.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Quartel, Dick
      – PersonEntity:
          Name:
            NameFull: Pires, Luís Ferreira
      – PersonEntity:
          Name:
            NameFull: van Sinderen, Marten
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 03
              Text: Mar2002
              Type: published
              Y: 2002
          Identifiers:
            – Type: issn-print
              Value: 10920617
          Numbering:
            – Type: volume
              Value: 6
            – Type: issue
              Value: 1
          Titles:
            – TitleFull: Journal of Integrated Design & Process Science
              Type: main
ResultId 1