UCL  IRIS
Institutional Research Information Service
UCL Logo
Please report any queries concerning the funding data grouped in the sections named "Externally Awarded" or "Internally Disbursed" (shown on the profile page) to your Research Finance Administrator. Your can find your Research Finance Administrator at http://www.ucl.ac.uk/finance/research/post_award/post_award_contacts.php by entering your department
Please report any queries concerning the student data shown on the profile page to:

Email: portico-services@ucl.ac.uk

Help Desk: http://www.ucl.ac.uk/ras/portico/helpdesk
Publication Detail
Inconsistency handling in multi-perspective specifications
  • Publication Type:
    Journal article
  • Publication Sub Type:
    Article
  • Authors:
    Finkelstein A, Gabbay D, Hunter A, Kramer J, Nuseibeh B
  • Publication date:
    1994
  • Pagination:
    569, 578
  • Journal:
    IEEE Transactions on Software Engineering
  • Volume:
    20
  • Issue:
    8
  • Print ISSN:
    0098-5589
  • Keywords:
    VIEWS, VIEWPOINTS, SPECIFICATION, INCONSISTENCY HANDLING, MULTIPLE PERSPECTIVES, PROCESS MODELING, CLASSICAL 1ST-ORDER PREDICATE LOGIC, TEMPORAL LOGIC, TOOL INTEGRATION FRAMEWORK SYSTEM
  • Notes:
    1994/08// Inconsistency handling in multiperspective specifications 132
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 formalize 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 organization, and a logic-based approach to inconsistency handling. This paper presents our technique for inconsistency handling in the ViewPoints framework by using simple examples.
Publication data is maintained in RPS. Visit https://rps.ucl.ac.uk
 More search options
UCL Researchers
Author
Dept of Computer Science
Author
Dept of Computer Science
University College London - Gower Street - London - WC1E 6BT Tel:+44 (0)20 7679 2000

© UCL 1999–2011

Search by