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 104
- Downloads 0
Representing a Model to Measure Absorbency Of Information Technology in Small And Medium Sized Enterprises
With rapid development of information technology (IT) and further deepening of informationization construction, more and more enterprises have realized the strategic value of IT and made great investments in it. However,...
Fast Automatic Face Recognition from Single Image per Person Using GAW-KNN
Real time face recognition systems have several limitations such as collecting features. One training sample per target means less feature extraction techniques are available to use. To obtain an acceptable accuracy, mos...
A New Cooperative Approach for Cognitive Radio Networks with Correlated Wireless Channels
An effective cooperative cognitive radio system is proposed, when the wireless channels are highly correlated. The system model consists of two multi-antenna secondary users (SU TX and SU RX), constituting the desired li...
Load Balanced Spanning Tree in Metro Ethernet Networks
Spanning Tree Protocol (STP) is a link management standard that provides loop free paths in Ethernet networks. Deploying STP in metro area networks is inadequate because it does not meet the requirements of these network...
A New Finite Field Multiplication Algorithm to Improve Elliptic Curve Cryptosystem Implementations
This paper presents a new and efficient implementation approach for the elliptic curve cryptosystem (ECC) based on a novel finite field multiplication in GF(2m) and an efficient scalar multiplication algorithm. This new...