مرکز منطقه ای اطلاع رسانی علوم و فناوری Journal of Information Systems and Telecommunication (JIST) 2322-1437 2 5 2014 3 21 An Approach to Compose Viewpoints of Different Stakeholders in the Specification of Probabilistic Systems An Approach to Compose Viewpoints of Different Stakeholders in the Specification of Probabilistic Systems 1 10 10.7508/jist.2014.01.002 en Mahboubeh Samadi Shahid Beheshti حسن حقیقی شهید بهشتی 2014 10 22 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. http://jist.ir/en/Article/Download/14839