Mixing logics and rewards for the component-oriented specification of performance measures
Saved in:
| Title: | Mixing logics and rewards for the component-oriented specification of performance measures |
|---|---|
| Authors: | Aldini, Alessandro aldini@sti.uniurb.it, Bernardo, Marco1 |
| Source: | Theoretical Computer Science. Aug2007, Vol. 382 Issue 1, p3-23. 21p. |
| Subjects: | Stochastic processes, Algebra, Markov processes, Computer science research, Mathematical analysis |
| Abstract: | Formal notations for system performance modeling need to be equipped with suitable notations for specifying performance measures. These companion notations have been traditionally based on reward structures and, more recently, on temporal logics. In this paper we propose an approach that combines logics and rewards, together with a definition mechanism that allows performance measures to be specified in a component-oriented way, thus facilitating the task for non-experts. The resulting Measure Specification Language (MSL) is interpreted both on action-labeled continuous-time Markov chains and on stochastic process algebras. The latter interpretation provides a compositional framework for performance-sensitive model manipulations and emphasizes the increased expressiveness with respect to traditional reward structures for implicit-state modeling notations. [Copyright &y& Elsevier] |
| Copyright of Theoretical Computer Science 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: 26038635 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Mixing logics and rewards for the component-oriented specification of performance measures – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Aldini%2C+Alessandro%22">Aldini, Alessandro</searchLink><i> aldini@sti.uniurb.it</i><br /><searchLink fieldCode="AR" term="%22Bernardo%2C+Marco%22">Bernardo, Marco</searchLink><relatesTo>1</relatesTo> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Theoretical+Computer+Science%22">Theoretical Computer Science</searchLink>. Aug2007, Vol. 382 Issue 1, p3-23. 21p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Stochastic+processes%22">Stochastic processes</searchLink><br /><searchLink fieldCode="DE" term="%22Algebra%22">Algebra</searchLink><br /><searchLink fieldCode="DE" term="%22Markov+processes%22">Markov processes</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+science+research%22">Computer science research</searchLink><br /><searchLink fieldCode="DE" term="%22Mathematical+analysis%22">Mathematical analysis</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: Formal notations for system performance modeling need to be equipped with suitable notations for specifying performance measures. These companion notations have been traditionally based on reward structures and, more recently, on temporal logics. In this paper we propose an approach that combines logics and rewards, together with a definition mechanism that allows performance measures to be specified in a component-oriented way, thus facilitating the task for non-experts. The resulting Measure Specification Language (MSL) is interpreted both on action-labeled continuous-time Markov chains and on stochastic process algebras. The latter interpretation provides a compositional framework for performance-sensitive model manipulations and emphasizes the increased expressiveness with respect to traditional reward structures for implicit-state modeling notations. [Copyright &y& Elsevier] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>Copyright of Theoretical Computer Science 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=26038635 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1016/j.tcs.2007.05.006 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 21 StartPage: 3 Subjects: – SubjectFull: Stochastic processes Type: general – SubjectFull: Algebra Type: general – SubjectFull: Markov processes Type: general – SubjectFull: Computer science research Type: general – SubjectFull: Mathematical analysis Type: general Titles: – TitleFull: Mixing logics and rewards for the component-oriented specification of performance measures Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Aldini, Alessandro – PersonEntity: Name: NameFull: Bernardo, Marco IsPartOfRelationships: – BibEntity: Dates: – D: 28 M: 08 Text: Aug2007 Type: published Y: 2007 Identifiers: – Type: issn-print Value: 03043975 Numbering: – Type: volume Value: 382 – Type: issue Value: 1 Titles: – TitleFull: Theoretical Computer Science Type: main |
| ResultId | 1 |
