Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models

  • Authors:

  • Aneesh Krishna;Sergiy A. Vilkomir;Aditya K. Ghose

  • Affiliations:

  • Decision Systems Laboratory, School of Information Technology and Computer Science, University of Wollongong, NSW 2522, Australia;Software Quality Research Laboratory, Department of Electrical Engineering and Computer Science, University of Tennessee, Knoxville, TN 37996-3450, USA;Decision Systems Laboratory, School of Information Technology and Computer Science, University of Wollongong, NSW 2522, Australia

  • Venue:
  • Information and Software Technology
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

Many modelling techniques tend to address ''late-phase'' requirements while many critical modelling decisions (such as determining the main goals of the system, how the stakeholders depend on each other, and what alternatives exist) are taken during early-phase requirements engineering. The i^* modelling framework is a semiformal agent-oriented conceptual modelling language that is well-suited for answering these questions. This paper addresses key challenge faced in the practical deployment of agent-oriented conceptual modelling frameworks such as i^*. Our approach to addressing this problem is based on the observation that the value of conceptual modelling in the i^* framework lies in its use as a notation complementary to existing requirements modelling and specification languages, i.e., the expressive power of i^* complements rather than supplants that of existing notations. The use of i^* in this fashion requires that we define methodologies that support the co-evolution of i^* models with more traditional specifications. This research examines how this might be done with formal specification notations (specifically Z).