View in EDS

A generalization of the E-LOTOS renaming operator: a convenience for specification of new forms of process composition

Saved in:
Bibliographic Details
Title: A generalization of the E-LOTOS renaming operator: a convenience for specification of new forms of process composition
Authors: Kapus-Kolar, M.1 monika.kapus-kolar@ijs.si
Source: Computer Standards & Interfaces. Oct2004, Vol. 26 Issue 6, p549-563. 15p.
Subjects: LOTOS (Computer program language), Programming languages, Real-time computing, Electronic data processing
Abstract: E-LOTOS is one of the standard languages for formal specification of real-time concurrent and reactive systems. As it is process-algebraic, its expressive power lies in its process-composition operators. Of course, not all forms of composition can be directly expressed in the language. In the most difficult cases, one typically resorts to the constraint-oriented specification style. We demonstrate that a slight enhancement of the E-LOTOS renaming operator would make the specification style even more powerful. As an example, we show how to specify choice, parallel composition and disabling enhanced with action priorities. [Copyright &y& Elsevier]
Copyright of Computer Standards & Interfaces 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: 14047312
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: A generalization of the E-LOTOS renaming operator: a convenience for specification of new forms of process composition
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Kapus-Kolar%2C+M%2E%22">Kapus-Kolar, M.</searchLink><relatesTo>1</relatesTo><i> monika.kapus-kolar@ijs.si</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Computer+Standards+%26+Interfaces%22">Computer Standards & Interfaces</searchLink>. Oct2004, Vol. 26 Issue 6, p549-563. 15p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22LOTOS+%28Computer+program+language%29%22">LOTOS (Computer program language)</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Real-time+computing%22">Real-time computing</searchLink><br /><searchLink fieldCode="DE" term="%22Electronic+data+processing%22">Electronic data processing</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: E-LOTOS is one of the standard languages for formal specification of real-time concurrent and reactive systems. As it is process-algebraic, its expressive power lies in its process-composition operators. Of course, not all forms of composition can be directly expressed in the language. In the most difficult cases, one typically resorts to the constraint-oriented specification style. We demonstrate that a slight enhancement of the E-LOTOS renaming operator would make the specification style even more powerful. As an example, we show how to specify choice, parallel composition and disabling enhanced with action priorities. [Copyright &y& Elsevier]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of Computer Standards & Interfaces 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=14047312
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1016/j.csi.2004.03.002
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 15
        StartPage: 549
    Subjects:
      – SubjectFull: LOTOS (Computer program language)
        Type: general
      – SubjectFull: Programming languages
        Type: general
      – SubjectFull: Real-time computing
        Type: general
      – SubjectFull: Electronic data processing
        Type: general
    Titles:
      – TitleFull: A generalization of the E-LOTOS renaming operator: a convenience for specification of new forms of process composition
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Kapus-Kolar, M.
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 10
              Text: Oct2004
              Type: published
              Y: 2004
          Identifiers:
            – Type: issn-print
              Value: 09205489
          Numbering:
            – Type: volume
              Value: 26
            – Type: issue
              Value: 6
          Titles:
            – TitleFull: Computer Standards & Interfaces
              Type: main
ResultId 1