Inconsistency handling in multi-perspective specifications

A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, B. Nuseibeh

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

36 Scopus citations

Abstract

The development of most large and complex systems necessarily involves many people - each with their own perspectives on the system defined by their knowledge, responsibilities, and commitments. To address this we have advocated distributed development of specifications from multiple perspectives. However, this leads to problems of identifying and handling inconsistencies between such perspectives. Maintaining absolute consistency is not always possible. Often this is not even desirable since this can unnecessarily constrain the development process, and can lead to the loss of important information. Indeed since the real-world forces us to work with inconsistencies, we should formalise some of the usually informal or extra-logical ways of responding to them. This is not necessarily done by eradicating inconsistencies but rather by supplying logical rules specifying how we should act on them. To achieve this, we combine two lines of existing research: the Viewpoints framework for perspective development, interaction and organisation, and a logic-based approach to inconsistency handling. This paper presents our technique for inconsistency handling in the ViewPoints framework by using simple examples.

Original languageEnglish
Title of host publicationSoftware Engineering ─ ESEC 1993 - 4th European Software Engineering Conference, Proceedings
EditorsIan Sommerville, Manfred Paul
PublisherSpringer Verlag
Pages84-99
Number of pages16
ISBN (Print)9783540572091
DOIs
StatePublished - 1993
Externally publishedYes
Event4th European Software Engineering Conference, ESEC 1993 - Garmisch-Partenkirchen, Germany
Duration: 13 Sep 199317 Sep 1993

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume717 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference4th European Software Engineering Conference, ESEC 1993
Country/TerritoryGermany
CityGarmisch-Partenkirchen
Period13/09/9317/09/93

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1993.

Fingerprint

Dive into the research topics of 'Inconsistency handling in multi-perspective specifications'. Together they form a unique fingerprint.

Cite this