View in EDS

On the expressiveness of timed coordination models

Saved in:
Bibliographic Details
Title: On the expressiveness of timed coordination models
Authors: Linden, I.1 ili@info.fundp.ac.be, Jacquet, J.-M.1 jmj@info.fundp.ac.be, De Bosschere, K.2 kdb@elis.ugent.be, Brogi, A.3 brogi@di.unipi.it
Source: Science of Computer Programming. Jul2006, Vol. 61 Issue 2, p152-187. 36p.
Subjects: JavaSpaces technology, LINDA (Computer system), Computer programming, Programming languages
Abstract: Abstract: Although very simple and elegant, Linda-style coordination models lack the notion of time, and are therefore not able to precisely model real-life coordination applications. Nevertheless, industrial proposals such as TSpaces and JavaSpaces, inspired from Linda, have incorporated time constructs. This paper aims at a systematic study of the introduction of time in coordination models. It builds upon previous work to study in a coherent framework the expressiveness of Linda extended with two notions of time, relative time and absolute time, and, for each notion, two types of features. On the one hand, with respect to relative time, we describe two extensions: (i) a delay mechanism to postpone the execution of communication primitives, and (ii) explicit deadlines on the validity of tuples and on the duration of suspension of communication operations. On the other hand, for absolute time, we introduce: (iii) a wait primitive capable of waiting till an absolute point of time, and (iv) time intervals, both on tuples in the data store and on communication operations. This expressiveness study points out a most expressive language for which an implementation is described, thereby allowing for the implementation of all the languages presented in the paper. [Copyright &y& Elsevier]
Copyright of Science of Computer Programming is the property of Elsevier B.V. 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 Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 20728476
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: On the expressiveness of timed coordination models
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Linden%2C+I%2E%22">Linden, I.</searchLink><relatesTo>1</relatesTo><i> ili@info.fundp.ac.be</i><br /><searchLink fieldCode="AR" term="%22Jacquet%2C+J%2E-M%2E%22">Jacquet, J.-M.</searchLink><relatesTo>1</relatesTo><i> jmj@info.fundp.ac.be</i><br /><searchLink fieldCode="AR" term="%22De+Bosschere%2C+K%2E%22">De Bosschere, K.</searchLink><relatesTo>2</relatesTo><i> kdb@elis.ugent.be</i><br /><searchLink fieldCode="AR" term="%22Brogi%2C+A%2E%22">Brogi, A.</searchLink><relatesTo>3</relatesTo><i> brogi@di.unipi.it</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Science+of+Computer+Programming%22">Science of Computer Programming</searchLink>. Jul2006, Vol. 61 Issue 2, p152-187. 36p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22JavaSpaces+technology%22">JavaSpaces technology</searchLink><br /><searchLink fieldCode="DE" term="%22LINDA+%28Computer+system%29%22">LINDA (Computer system)</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+programming%22">Computer programming</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: Abstract: Although very simple and elegant, Linda-style coordination models lack the notion of time, and are therefore not able to precisely model real-life coordination applications. Nevertheless, industrial proposals such as TSpaces and JavaSpaces, inspired from Linda, have incorporated time constructs. This paper aims at a systematic study of the introduction of time in coordination models. It builds upon previous work to study in a coherent framework the expressiveness of Linda extended with two notions of time, relative time and absolute time, and, for each notion, two types of features. On the one hand, with respect to relative time, we describe two extensions: (i) a delay mechanism to postpone the execution of communication primitives, and (ii) explicit deadlines on the validity of tuples and on the duration of suspension of communication operations. On the other hand, for absolute time, we introduce: (iii) a wait primitive capable of waiting till an absolute point of time, and (iv) time intervals, both on tuples in the data store and on communication operations. This expressiveness study points out a most expressive language for which an implementation is described, thereby allowing for the implementation of all the languages presented in the paper. [Copyright &y& Elsevier]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of Science of Computer Programming is the property of Elsevier B.V. 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=20728476
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1016/j.scico.2005.10.011
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 36
        StartPage: 152
    Subjects:
      – SubjectFull: JavaSpaces technology
        Type: general
      – SubjectFull: LINDA (Computer system)
        Type: general
      – SubjectFull: Computer programming
        Type: general
      – SubjectFull: Programming languages
        Type: general
    Titles:
      – TitleFull: On the expressiveness of timed coordination models
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Linden, I.
      – PersonEntity:
          Name:
            NameFull: Jacquet, J.-M.
      – PersonEntity:
          Name:
            NameFull: De Bosschere, K.
      – PersonEntity:
          Name:
            NameFull: Brogi, A.
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 07
              Text: Jul2006
              Type: published
              Y: 2006
          Identifiers:
            – Type: issn-print
              Value: 01676423
          Numbering:
            – Type: volume
              Value: 61
            – Type: issue
              Value: 2
          Titles:
            – TitleFull: Science of Computer Programming
              Type: main
ResultId 1