Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models
MetadataShow full item record
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).
Showing items related by title, author, creator and subject.
Conceptual change in secondary chemistry : the role of multiple analogical models of atoms and molecules.Harrison, Allan G. (1996)Chemistry textbooks and teachers frequently use a variety of metaphors, analogies and models to describe atomic and molecular structures and processes. While it is widely believed that multiple analogical models encourage ...
Fulton, B.; Jones, Tod; Boschetti, F.; Sporcic, M.; De La Mare, W.; Syme, Geoffrey; Dzidic, Peta; Gorton, R.; Little, L.; Dambacher, G.; Chapman, K. (2011)We describe the different types of models we used as part of an effort to inform policy-making aiming at the management of the Ningaloo coast in the Gascoyne region, Western Australia. This provides an overview of how ...
Permvattana, Ruchireak (2012)Sighted learners and vision impaired learners experience different problems when accessing e-learning environments. Web designers use complex visual images and interactive features which learners with vision impairment ...