Show simple item record

dc.contributor.authorKrishna, Aneesh
dc.contributor.authorVilkomir, S.
dc.contributor.authorGhose, A.
dc.date.accessioned2017-01-30T12:01:27Z
dc.date.available2017-01-30T12:01:27Z
dc.date.created2014-10-08T02:29:19Z
dc.date.issued2009
dc.identifier.citationKrishna, A. and Vilkomir, S. and Ghose, A. 2009. Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models. Information and Software Technology. 51 (2): pp. 478-496.
dc.identifier.urihttp://hdl.handle.net/20.500.11937/17369
dc.identifier.doi10.1016/j.infsof.2008.05.015
dc.description.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).

dc.publisherElsevier BV
dc.titleConsistency preserving co-evolution of formal specifications and agent-oriented conceptual models
dc.typeJournal Article
dcterms.source.volume51
dcterms.source.number2
dcterms.source.startPage478
dcterms.source.endPage496
dcterms.source.issn0950-5849
dcterms.source.titleInformation and Software Technology.
curtin.accessStatusFulltext not available


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record