An Approach to Compose Viewpoints of Different Stakeholders in the Specification of Probabilistic Systems
Journal Title: Journal of Information Systems and Telecommunication - Year 2014, Vol 2, Issue 1
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 and Affiliations
Mahboubeh Samadi, Hasan Haghighi
Keywords
Related Articles
- EP ID EP185966
- DOI 10.7508/jist.2014.01.002
- Views 125
- Downloads 0
Quality Assessment Based Coded Apertures for Defocus Deblurring
A conventional camera with small size pixels may capture images with defocused blurred regions. Blurring, as a low-pass filter, attenuates or drops details of the captured image. This fact makes deblurring as an ill-pose...
Early Detection of Pediatric Heart Disease by Automated Spectral Analysis of Phonocardiogram
Early recognition of heart disease is an important goal in pediatrics. Developing countries have a large population of children living with undiagnosed heart murmurs. As a result of an accompanying skills shortage, most...
Achieving Better Performance of S-MMA Algorithm in the OFDM Modulation
Effective algorithms in modern digital communication systems provide a fundamental basis for increasing the efficiency of the application networks which are in many cases neither optimized nor very close to their practic...
Improving Accuracy, Area and Speed of Approximate Floating-Point Multiplication Using Carry Prediction
The arithmetic units are the most essential in digital circuits’ construct, and the enhancement of their operation would optimize the whole digital system. Among them, multipliers are the most important operational units...
Wideband Log Periodic-Microstrip Antenna with Elliptic Patches
A broadband microstrip antenna based on log periodic technique was conceived and demonstrated practically. The antenna exhibits a wideband characteristic comparing with other microstrip antennas. Over the operation frequ...