Inconsistency handling in multiperspective specifications Export

@article{finkelstein94, 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}, author = {Finkelstein, A. C. W. and Gabbay, D. and Hunter, A. and Kramer, J. and Nuseibeh, B.}, citeulike-article-id = {266344}, citeulike-linkout-0 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=310667}, comment = {* inconsistency must be allowed in viewpoints framework, so need some method of dealing with it * "Viewpoints are managed by maintaining local consistency within each Viewpoint and partial consistency between different Viewpoints." * "Inconsistency in (D, E) System Implies Action in (D, E) System" where D is the db representing some info in some viewpoints, and E is a representation of control and coordination among viewpoints (and is always consistent). * }, journal = {IEEE Transactions on Software Engineering}, keywords = {2106, formal, inconsistency, requirements, viewpoints}, month = {October}, number = {8}, pages = {569--578}, posted-at = {2005-07-28 03:00:28}, priority = {0}, title = {Inconsistency handling in multiperspective specifications}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=310667}, volume = {20}, year = {1994} }

TY - JOUR ID - finkelstein94 L3 - citeulike-article-id:266344 N2 - 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 IS - 8 JF - IEEE Transactions on Software Engineering EP - 578 TI - Inconsistency handling in multiperspective specifications VL - 20 SP - 569 KW - 2106 KW - formal KW - inconsistency KW - requirements KW - viewpoints N1 - * inconsistency must be allowed in viewpoints framework, so need some method of dealing with it * "Viewpoints are managed by maintaining local consistency within each Viewpoint and partial consistency between different Viewpoints." * "Inconsistency in (D, E) System Implies Action in (D, E) System" where D is the db representing some info in some viewpoints, and E is a representation of control and coordination among viewpoints (and is always consistent). * AU - Finkelstein, ACW AU - Gabbay, D AU - Hunter, A AU - Kramer, J AU - Nuseibeh, B PY - 1994/10// UR - http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=310667 ER -