A CASE STUDY OF COMBINING i* FRAMEWORK AND THE Z NOTATION

Aneesh Krishna, Sergiy Vilkomir, Aditya Ghose

2004

Abstract

Agent-oriented conceptual modeling (AoCM) frameworks are gaining wider popularity in software engineering. In this paper, we are using AoCM framework i* and the Z notation together for requirements engineering (RE). Most formal techniques like Z are suitable for and designed to work in the later phases of RE and early design stages of system development. We argue that early requirements analysis is a very crucial phase of software development. Understanding the organisational environment, reasoning and rationale underlying requirements along with the goals and social dependencies of its stakeholders are important to model and build effective computing systems. The i* framework is one such language which addresses early stage RE issues cited above extremely well. It supports the modeling of social dependencies between agents with respect to tasks and goals both functional and non-functional. We have developed a methodology involving the combined use of i* and the Z notation for agent-oriented RE. In our approach we suggest to perform one-to-one mapping between i* framework and Z. At the first instance general i* model has been mapped into Z schemas, and then i* diagrams of the Emergency Flood Rescue Management Case Study are mapped into Z. Some steps explaining further information refinement with examples are also provided. Using Z specification schemas, we are in a position to express properties that are not restricted to the current state of the system, but also to its past and future history. The case study described in this paper is taken from one of the most important responsibilities of the emergency services agency, managing flood rescue and evacuation operations. By using this case study, we have tested the effectiveness of our methodology to a real-life application.

Paper Citation

in Harvard Style

Krishna A., Vilkomir S. and Ghose A. (2004). A CASE STUDY OF COMBINING i* FRAMEWORK AND THE Z NOTATION . In Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 972-8865-00-7, pages 192-200. DOI: 10.5220/0002645301920200

in Bibtex Style

@conference{iceis04,
author={Aneesh Krishna and Sergiy Vilkomir and Aditya Ghose},
title={A CASE STUDY OF COMBINING i* FRAMEWORK AND THE Z NOTATION},
booktitle={Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2004},
pages={192-200},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002645301920200},
isbn={972-8865-00-7},
}

in EndNote Style

TY - CONF
JO - Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - A CASE STUDY OF COMBINING i* FRAMEWORK AND THE Z NOTATION
SN - 972-8865-00-7
AU - Krishna A.
AU - Vilkomir S.
AU - Ghose A.
PY - 2004
SP - 192
EP - 200
DO - 10.5220/0002645301920200