Zobrazit v EDS

Specification Composition for the Verification of Message Passing Program Composition

Uloženo v:
Podrobná bibliografie
Název: Specification Composition for the Verification of Message Passing Program Composition
Autoři: J. Y. Cotronis, Z. Tsiatsoulis
Přispěvatelé: The Pennsylvania State University CiteSeerX Archives
Zdroj: http://www.di.uoa.gr/~ensemble/PDF/09.pdf.
Informace o vydavateli: Chapman & Hall
Rok vydání: 1997
Sbírka: CiteSeerX
Témata: Message Passing Composition, Specification Composition, Reusable Program Component, Reusable Specification Component, Software Reliability, Coloured Petri Net
Popis: We present a specification composition technique, for improving the reliability of message passing applications composed by the Ensemble methodology. In Ensemble, applications are built by composing reusable executable program components designed with scalable communication interfaces. The composition is controlled by scripts. We define reusable specification components associated to program components, as well as their composition directed by the same Ensemble scripts, thus obtaining specifications of applications. We propose an extension of coloured Petri nets, which is used to define specification components. Composed specifications and applications may be validated or verified by available tools. Keywords: Message Passing Composition, Specification Composition, Reusable Program Component, Reusable Specification Component, Software Reliability, Coloured Petri Net. 1
Druh dokumentu: text
Popis souboru: application/pdf
Jazyk: English
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.6294; http://www.di.uoa.gr/~ensemble/PDF/09.pdf
Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.6294
http://www.di.uoa.gr/~ensemble/PDF/09.pdf
Rights: Metadata may be used without restrictions as long as the oai identifier remains attached to it.
Přístupové číslo: edsbas.4989730
Databáze: BASE
FullText Text:
  Availability: 0
CustomLinks:
  – Url: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.6294#
    Name: EDS - BASE (s4221598)
    Category: fullText
    Text: View record from BASE
  – Url: https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=EBSCO&SrcAuth=EBSCO&DestApp=WOS&ServiceName=TransferToWoS&DestLinkType=GeneralSearchSummary&Func=Links&author=Cotronis%20JY
    Name: ISI
    Category: fullText
    Text: Nájsť tento článok vo Web of Science
    Icon: https://imagesrvr.epnet.com/ls/20docs.gif
    MouseOverText: Nájsť tento článok vo Web of Science
Header DbId: edsbas
DbLabel: BASE
An: edsbas.4989730
RelevancyScore: 822
AccessLevel: 3
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 822.459594726563
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Specification Composition for the Verification of Message Passing Program Composition
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22J%2E+Y%2E+Cotronis%22">J. Y. Cotronis</searchLink><br /><searchLink fieldCode="AR" term="%22Z%2E+Tsiatsoulis%22">Z. Tsiatsoulis</searchLink>
– Name: Author
  Label: Contributors
  Group: Au
  Data: The Pennsylvania State University CiteSeerX Archives
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <i>http://www.di.uoa.gr/~ensemble/PDF/09.pdf</i>.
– Name: Publisher
  Label: Publisher Information
  Group: PubInfo
  Data: Chapman & Hall
– Name: DatePubCY
  Label: Publication Year
  Group: Date
  Data: 1997
– Name: Subset
  Label: Collection
  Group: HoldingsInfo
  Data: CiteSeerX
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Message+Passing+Composition%22">Message Passing Composition</searchLink><br /><searchLink fieldCode="DE" term="%22Specification+Composition%22">Specification Composition</searchLink><br /><searchLink fieldCode="DE" term="%22Reusable+Program+Component%22">Reusable Program Component</searchLink><br /><searchLink fieldCode="DE" term="%22Reusable+Specification+Component%22">Reusable Specification Component</searchLink><br /><searchLink fieldCode="DE" term="%22Software+Reliability%22">Software Reliability</searchLink><br /><searchLink fieldCode="DE" term="%22Coloured+Petri+Net%22">Coloured Petri Net</searchLink>
– Name: Abstract
  Label: Description
  Group: Ab
  Data: We present a specification composition technique, for improving the reliability of message passing applications composed by the Ensemble methodology. In Ensemble, applications are built by composing reusable executable program components designed with scalable communication interfaces. The composition is controlled by scripts. We define reusable specification components associated to program components, as well as their composition directed by the same Ensemble scripts, thus obtaining specifications of applications. We propose an extension of coloured Petri nets, which is used to define specification components. Composed specifications and applications may be validated or verified by available tools. Keywords: Message Passing Composition, Specification Composition, Reusable Program Component, Reusable Specification Component, Software Reliability, Coloured Petri Net. 1
– Name: TypeDocument
  Label: Document Type
  Group: TypDoc
  Data: text
– Name: Format
  Label: File Description
  Group: SrcInfo
  Data: application/pdf
– Name: Language
  Label: Language
  Group: Lang
  Data: English
– Name: NoteTitleSource
  Label: Relation
  Group: SrcInfo
  Data: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.6294; http://www.di.uoa.gr/~ensemble/PDF/09.pdf
– Name: URL
  Label: Availability
  Group: URL
  Data: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.6294<br />http://www.di.uoa.gr/~ensemble/PDF/09.pdf
– Name: Copyright
  Label: Rights
  Group: Cpyrght
  Data: Metadata may be used without restrictions as long as the oai identifier remains attached to it.
– Name: AN
  Label: Accession Number
  Group: ID
  Data: edsbas.4989730
PLink https://erproxy.cvtisr.sk/sfx/access?url=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.4989730
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Text: English
    Subjects:
      – SubjectFull: Message Passing Composition
        Type: general
      – SubjectFull: Specification Composition
        Type: general
      – SubjectFull: Reusable Program Component
        Type: general
      – SubjectFull: Reusable Specification Component
        Type: general
      – SubjectFull: Software Reliability
        Type: general
      – SubjectFull: Coloured Petri Net
        Type: general
    Titles:
      – TitleFull: Specification Composition for the Verification of Message Passing Program Composition
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: J. Y. Cotronis
      – PersonEntity:
          Name:
            NameFull: Z. Tsiatsoulis
      – PersonEntity:
          Name:
            NameFull: The Pennsylvania State University CiteSeerX Archives
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 1997
          Identifiers:
            – Type: issn-locals
              Value: edsbas
            – Type: issn-locals
              Value: edsbas.oa
          Titles:
            – TitleFull: http://www.di.uoa.gr/~ensemble/PDF/09.pdf
              Type: main
ResultId 1