Towards a general formal framework of Coherence Management in RE

Alexander Borgida, Ivan Jureta, Anna Zamansky

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Abstract

Coherence Management refers to all efforts one needs to invest, in order to ensure that information shown in, and implied by a representation of requirements makes sense as a whole, is coherent. Coherence Management is an umbrella term we use to cover, and more importantly, stimulate research on relationships between identification, measurement, and action on phenomena which reflect tensions between information in requirements representations. Such tensions exist between information which is, for example, logically inconsistent, or stakeholders disagree on, or signals tradeoffs (meaning that improvement on some requirements, for instance, necessarily means some quantifiable (or not) deterioration of others). These tensions are an important topic of research in Requirements Engineering, and various methods have been proposed for the identification, measurement, and action on logical inconsistency in requirements models, on negotiating disagreements, and on settling tradeoffs. Despite focusing on related phenomena, these methods are different and each come with their own specific definition of when a representation of requirements is incoherent and what to do about it. This makes it hard to compare existing methods, design new ones, and choose those to apply when doing RE. In this short communication we outline our research agenda for developing a unified formal framework for the systematization and classification of Coherence Management efforts in the context of RE, as well as exploring their compatibility.

Original languageEnglish (US)
Title of host publication2015 IEEE 23rd International Requirements Engineering Conference, RE 2015 - Proceedings
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages274-277
Number of pages4
ISBN (Electronic)9781467369053
DOIs
StatePublished - Nov 4 2015
Event23rd IEEE International Requirements Engineering Conference, RE 2015 - Ottawa, Canada
Duration: Aug 24 2015Aug 28 2015

Publication series

Name2015 IEEE 23rd International Requirements Engineering Conference, RE 2015 - Proceedings

Other

Other23rd IEEE International Requirements Engineering Conference, RE 2015
CountryCanada
CityOttawa
Period8/24/158/28/15

All Science Journal Classification (ASJC) codes

  • Software

Keywords

  • Inconsistency Management
  • Requirements Engineering

Fingerprint Dive into the research topics of 'Towards a general formal framework of Coherence Management in RE'. Together they form a unique fingerprint.

Cite this