an approach to compose viewpoints of different stakeholders in the specification of probabilistic systems

Publish Year: 1392
نوع سند: مقاله ژورنالی
زبان: English
View: 722

This Paper With 8 Page And PDF Format Ready To Download

  • Certificate
  • من نویسنده این مقاله هستم

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این Paper:

شناسه ملی سند علمی:

JR_JIST-2-5_002

تاریخ نمایه سازی: 21 فروردین 1393

Abstract:

Developing large and complex systems often involves many stakeholders each of which has her own expectations from the system; hence, it is difficult to write a single formal specification of the system considering all of stakeholders’ requirements at once; instead, each stakeholder can specify the system from her own viewpoint first. Then, the resulting specifications can be composed to prepare the final specification. Much work has been done so far for the specification of non-probabilistic systems regarding viewpoints (or expectations) of different stakeholders; however, because of big trend to apply formal methods on probabilistic systems, in this paper, we present an approach to compose viewpoints of different stakeholders in the specification of probabilistic systems. According to this approach, different viewpoints are separately specified using the Z notation. Then, the resulting specifications are composed using some new operators proposed in this paper. We show the applicability of the presented approach by performing it on a known case study

Authors

Mahboubeh Samadi

Faculty of Electrical and Computer Engineering, Shahid Beheshti University G. C. Tehran, Iran

Hasan Haghighi

Faculty of Electrical and Computer Engineering, Shahid Beheshti University G. C. Tehran, Iran