AN APPROACH TO COMPOSE VIEWPOINTS OF DIFFERENT STAKEHOLDERS IN THE SPECIFICATION OF PROBABILISTIC SYSTEMS

Q: How can I download an article?

To download an article from SID, first log in to the site, search for the article title, and click on the 'Download Article' option.

Q: How can I download an ISI article?

To download an ISI article on SID, enter the keyword or article title in the search bar, view the relevant results, click on the desired article, and select the 'Download Article' option.

Q: How can I access the SID database?

To access the SID database, visit SID.ir, create an account, and log in to access scientific resources.

Q: Is downloading articles from SID free?

Some articles on SID are available for free, while others require payment. Details are specified on the article's page.

SAMADI MAHBOUBEH; HAGHIGHI HASAN

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Journal Paper

Paper Information

Journal: Journal of Information Systems and Telecommunication Year:2014 | Volume:2 | Issue:1 (5) Page(s): 15-22

Download Full-Text

View:

415

Download:

115

Cites:

Information Journal Paper

Title

AN APPROACH TO COMPOSE VIEWPOINTS OF DIFFERENT STAKEHOLDERS IN THE SPECIFICATION OF PROBABILISTIC SYSTEMS

Author(s)

SAMADI MAHBOUBEH | HAGHIGHI HASAN | Issue Writer Certificate

Keywords

FORMAL METHODS

FORMAL SPECIFICATION

PROBABILISTIC SYSTEMS

PARTIAL MODELS

MULTIPLE VIEWPOINTS

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.

Cites

No record.

References

Cite

APA: Copy

SAMADI, MAHBOUBEH, & HAGHIGHI, HASAN. (2014). AN APPROACH TO COMPOSE VIEWPOINTS OF DIFFERENT STAKEHOLDERS IN THE SPECIFICATION OF PROBABILISTIC SYSTEMS. JOURNAL OF INFORMATION SYSTEMS AND TELECOMMUNICATION (JIST), 2(1 (5)), 15-22. SID. https://sid.ir/paper/332628/en

Vancouver: Copy

SAMADI MAHBOUBEH, HAGHIGHI HASAN. AN APPROACH TO COMPOSE VIEWPOINTS OF DIFFERENT STAKEHOLDERS IN THE SPECIFICATION OF PROBABILISTIC SYSTEMS. JOURNAL OF INFORMATION SYSTEMS AND TELECOMMUNICATION (JIST)[Internet]. 2014;2(1 (5)):15-22. Available from: https://sid.ir/paper/332628/en

IEEE: Copy

MAHBOUBEH SAMADI, and HASAN HAGHIGHI, “AN APPROACH TO COMPOSE VIEWPOINTS OF DIFFERENT STAKEHOLDERS IN THE SPECIFICATION OF PROBABILISTIC SYSTEMS,” JOURNAL OF INFORMATION SYSTEMS AND TELECOMMUNICATION (JIST), vol. 2, no. 1 (5), pp. 15–22, 2014, [Online]. Available: https://sid.ir/paper/332628/en

Related Journal Papers

No record.

Related Seminar Papers

No record.

Related Plans

No record.

Recommended Workshops