research-article

Inconsistency Handling in Multiperspective Specifications

Authors:

A. C. W. Finkelstein,

B. NuseibehAuthors Info & Claims

IEEE Transactions on Software Engineering, Volume 20, Issue 8

Pages 569 - 578

https://doi.org/10.1109/32.310667

Published: 01 August 1994 Publication History

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.

References

[1]

{1} A. R. Anderson and N. D. Belnap, The Logic of Entailment, Princeton, NJ: Princeton Univ. Press, 1976.

[2]

{2} R. Balzer, "Tolerating inconsistency," in Proc. 13th Int. Conf. Software Eng. (ICSE-13), Austin, TX, IEEE Computer Society Press, May 1991, pp. 158-165.

Digital Library

[3]

{3} H. Barringer, M. Fischer, D. Gabbay, G. Gough, and R. Owens, "MetateM: A framework for programming in temporal logic," in Proc. REX Workshop on Stepwise Refinement of Distributed Systems, LNCS 430, New York: Springer-Verlag, 1989.

Digital Library

[4]

{4} H. Barringer, M. Fischer, D. Gabbay, and A. Hunter, "Meta-reasoning in executable temporal logic," in Proc. 2nd Int. Conf. Princ. of Knowledge Representation and Reasoning, San Francisco, CA: Morgan Kaufmann, 1991, pp. 40-49.

[5]

{5} J. Bell, "Non-Monotonic reasoning, non-monotonic logics, and reasoning about change," Artificial Intell. Rev., vol. 4, pp. 79-108, 1990.

[6]

{6} H. Blair and V. Subrahmanian "Paraconsistent logic programming," Theoretical Comput. Sci., vol. 68, pp. 135-154, 1989.

Digital Library

[7]

{7} N. D. da Costa, "On the theory of inconsistent formal systems," Notre Dame J. Formal Logic, vol. 15, pp. 497-510, 1974.

[8]

{8} J. Doyle, "A truth maintenance system," Artificial Intell., vol. 12, pp. 231-272, 1979.

[9]

{9} M. Finger, P. McBrien, and R. Owens, "Databases and executable temporal logic," in Proc. ESPRIT Conf., CEC, 1991.

[10]

{10} A. Finkelstein, M. Goedicke, and J. Kramer "ViewPoint oriented software development," in Proc. 3rd Int. Workshop on Software Eng. and Its Applicat., Toulouse, France, Cigref EC2, Dec. 1990, pp. 337-351.

[11]

{11} A. Finkelstein, J. Kramer, and M. Hales, "Process modelling: A critical analysis," Integrated Software Engineering with Reuse: Management and Techniques, P. Walton and N. Maiden, Eds. London: Chapman & Hall, and UNICOM, UK, 1992, pp. 137-148.

[12]

{12} A. Finkelstein, J. Kramer, and B. Nuseibeh, Eds., Software Process Modelling and Technology, Advanced Software Development Series, Somerset, UK: Research Studies Press Ltd. (Wiley), 1994.

Digital Library

[13]

{13} A. Finkelstein, J. Kramer, B. Nuseibeh, L. Finkelstein, and M. Goedicke, "Viewpoints: A framework for integrating multiple perspectives in system development," International Journal of Software Engineering and Knowledge Engineering, Singapore: World Scientific Publishing Co., vol. 2, no. 1, Mar., 1992, pp. 31-58.

[14]

{14} D. Gabbay, "Declarative past and imperative future: Executable temporal logic for interactive systems," in Proc. Colloquium on Temporal Logic in Specification. New York: Springer-Verlag, LNCS 398, 1989.

Digital Library

[15]

{15} D. Gabbay and A. Hunter, "Making inconsistency respectable: A logical framework for inconsistency in reasoning, Part 1--A position paper," Proc. Fundamentals Artificial Intell. Research'91, New York: Springer-Verlag, LNCS 535, 1991, pp. 19-32.

Digital Library

[16]

{16} D. Gabbay and A. Hunter, "Making inconsistency respectable: A logical framework for inconsistency in reasoning: Part 2," Symbolic and Quantitative Approaches to Reasoning and Uncertainty, New York: Springer-Verlag, LNCS, 1992, pp. 129-136.

Digital Library

[17]

{17} D. Gabbay and H. Ohlbach, "Quantifier elimination in second order predicate logic," in Proc. 3rd. Int. Conf. Principles of Knowledge Representation and Reasoning, San Francisco, CA: Morgan Kaufmann, 1992, pp. 35-43.

[18]

{18} P. Graubmann, "The HyperView tool standard methods," REX Technical Report REX-WP3-SIE-021-V1.0, Siemens, Germany, Jan. 1992.

[19]

{19} B. Hailpern, "Special issue on multiparadigm languages," Software, vol. 3, no. 1, pp. 6-77, Jan., 1986, IEEE Computer Society Press.

Digital Library

[20]

{20} J. Kramer, "CASE support for the software process: A research viewpoint," in Proc. of 3rd European software Eng., Conf. (ESEC 93), Milan, Italy, New York: Springer-Verlag, LNCS 550, pp. 499-503, Oct. 1991.

Digital Library

[21]

{21} J. Kramer, "A configurable framework for method and tool integration," in Proc. European Symp. Software Devel. Envir. and CASE Technology, Königswinter, Germany, June, 1991, New York: Springer-Verlag, LNCS 509, 1991, pp. 233-257.

Digital Library

[22]

{22} J. Krogstie, P. McBrien, R. Owens, and A. Selvit, "Information system Development using a combination of process and rules-based approaches," in Proc. Int. Conf. on Advanced Inform. Syst. Eng., New York: Springer-Verlag, LNCS 1991.

Digital Library

[23]

{23} S. Meyers and S. P. Reiss, "A system for multiparadigm development of Software systems," in Proc. of 6th Int. Workshop on Software Specification and Des. (IWSSD-6), Como. Italy, Oct. 1991, pp. 202-209, IEEE Computer Society Press, 1991.

Digital Library

[24]

{24} G. Mullery, "Acquisition--Environment," Distributed Systems Methods and Tools for Specification, M. Paul and H. Siegert, Eds. New York: Springer-Verlag LNCS 190, 1985.

Digital Library

[25]

{25} K. Narayanaswamy and N. Goldman "Lazy" consistency: A basis for cooperative software development," in Proc. of Int. Conf. Computer-Supported Cooperative Work (CSCW '92), Toronto, ON, Canada, 31 Oct.-4 Nov., pp. 257-264, ACM SIGCHI & SIGOIS 1992.

Digital Library

[26]

{26} B. Nuseibeh and A. Finkelstein, "ViewPoints: A vehicle for method and tool integration," in Proc. of 5th Int. Workshop on Computer-Aided Software Eng. (CASE '92), Montreal, Canada, 6-10 July 1992, IEEE Computer Society Press, pp. 50-60, 1992.

[27]

{27} B. Nuseibeh, A. Finkelstein, and J. Kramer, "Fine-Grain process modelling," in Proc. 7th Int. Workshop Software Specification and Des. (IWSSD-7), Redondo Beach, CA, Dec. 6-7, 1992, IEEE Computer Society Press, pp. 42-46, 1993.

Digital Library

[28]

{28} B. Nuseibeh, A. Finkelstein, and J. Kramer, "Method engineering for multi-perspective software development," Informatiom and Software Technology (forthcoming), Oxford, England: Buterworth Heinemann. (to be published).

[29]

{29} B. Nuseibeh, J. Kramer, and A. Finkelstein, "Expressing the relationships between multiple views in requirements specification," in Proc. 15th Int. Conf. Software Eng., (ICSE-15), Baltimore, MD., May 17-21, 1993, IEEE Computer Society Press, 1993, pp. 187-200.

Digital Library

[30]

{30} T. Pequendo and A. Buschbaum, "The logic of epistemic inconsistency," in Proc. 2nd Int. Conf. Principles of Knowledge Representation and Reasoning, San Francisco, CA: Morgan Kaufmann, 1991, pp. 453-460.

[31]

{31} J. N. Pocock, "VSF and its Relationship to open systems and standard repositories," in Proc. of European Symp. Software Devel. Envir. and CASE Technology, Königswinter, Germany, New York: Springer-Verlag, LNCS 509, June 1991, pp. 53-68.

Digital Library

[32]

{32} R. Reiter, "On closed world databases," Logic & Databases, H. Gallaire and J. Minker Eds. New York: Plenum Press, 1978.

[33]

{33} F. Sadri and R. Kowalski, "An application of general theorem proving to database integrity," Tech. Rep., Dept. of Computing, Imperial College, London, UK, 1986.

[34]

{34} R. W. Schwanke and G. E. Kaiser, "Living with inconsistency in large Systems," in Proc. Int. Workshop on Software Version and Configuration Control, Grassau, Germany, Jan. 27-29, 1988, Stullgart: B. G. Teubner, 1988, pp. 98-118.

[35]

{35} G. Wagner, "Ex contradictione nihil sequitor," in Proc. of 12th Int. Joint Conf. Artificial Intell., San Francisco, CA: Morgan Kaufmann, 1991.

[36]

{36} A. I. Wasserman, "Tool integration in Software engineering environments," Proc. Int. Workshop on Environments, Chinon, France, Sept. 1989, New York: Springer-Verlag, LNCS 467, 1990, pp. 137-149.

Digital Library

[37]

{37} A. I. Wasserman and P. A. Pircher, "A graphical, extensible integrated environment for software development," SIGPlan Notices, Proc. 2nd Symp. Practical Software Devel. Envir., New York: ACM Press, vol. 22, no. 1, Jan. 1987, pp. 131-142.

Digital Library

[38]

{38} D. S. Wile, "Integrating syntaxes and their associated semantics," Tech. Rep. RR-92-297, 1992, USC/Inform. Sci. Inst. Univ. of Southern California, Marina del Rey, CA, 1992.

[39]

{39} J. C. Wileden, A. I. Wolf, W. R. Rosenblatt, and P. L. Tarr, "Specification-Level interoperability," Communications: ACM, vol. 34, no: 5, pp. 72-87, May 1991, ACM Press, 1992.

Digital Library

[40]

{40} P. Zave and M. Jackson, "Conjunction as composition," Trans. Software Eng. and Methodology, vol. 2, no. 4, pp. 379-411, ACM Press, Oct. 1993.

Digital Library

Cited By

Raţiu CAssunção WHaas REgyed ASyriani ESahraoui H(2022)Reactive links across multi-domain engineering modelsProceedings of the 25th International Conference on Model Driven Engineering Languages and Systems10.1145/3550355.3552446(76-86)Online publication date: 23-Oct-2022
https://dl.acm.org/doi/10.1145/3550355.3552446
Ji FOcker FZou MVogel-Heuser BOligschläger M(2022)Identifying Inconsistencies in the Design of Large-scale Casting Systems – An Ontology-based Approach2022 IEEE 18th International Conference on Automation Science and Engineering (CASE)10.1109/CASE49997.2022.9926710(319-325)Online publication date: 20-Aug-2022
https://dl.acm.org/doi/10.1109/CASE49997.2022.9926710
David ILatifaj MPietron JZhang WCiccozzi FMalavolta IRaschke ASteghöfer JHebig R(2022)Blended modeling in commercial and open-source model-driven software engineering tools: A systematic studySoftware and Systems Modeling (SoSyM)10.1007/s10270-022-01010-322:1(415-447)Online publication date: 21-Jun-2022
https://dl.acm.org/doi/10.1007/s10270-022-01010-3
Show More Cited By

Recommendations

Managing inconsistencies in an evolving specification
RE '95: Proceedings of the Second IEEE International Symposium on Requirements Engineering

In an evolving specification, considerable effort is spent handling recurrent inconsistencies. Detecting and resolving inconsistencies is only part of the problem: a resolved inconsistency might not stay resolved. Frameworks in which inconsistency is ...
Formalized structured analysis specifications
Consistency checking of SCR-style requirements specifications
RE '95: Proceedings of the Second IEEE International Symposium on Requirements Engineering

The paper describes a class of formal analysis called consistency checking that mechanically checks requirements specifications, expressed in the SCR tabular notation, for application independent properties. Properties include domain coverage, type ...

Comments

Information & Contributors

Information

Published In

cover image IEEE Transactions on Software Engineering

IEEE Transactions on Software Engineering Volume 20, Issue 8

August 1994

118 pages

ISSN:0098-5589

Issue’s Table of Contents

Copyright © Copyright © 1994 IEEE. All Rights Reserved.

Publisher

IEEE Press

Publication History

Published: 01 August 1994

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

136
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 11 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Raţiu CAssunção WHaas REgyed ASyriani ESahraoui H(2022)Reactive links across multi-domain engineering modelsProceedings of the 25th International Conference on Model Driven Engineering Languages and Systems10.1145/3550355.3552446(76-86)Online publication date: 23-Oct-2022
https://dl.acm.org/doi/10.1145/3550355.3552446
Ji FOcker FZou MVogel-Heuser BOligschläger M(2022)Identifying Inconsistencies in the Design of Large-scale Casting Systems – An Ontology-based Approach2022 IEEE 18th International Conference on Automation Science and Engineering (CASE)10.1109/CASE49997.2022.9926710(319-325)Online publication date: 20-Aug-2022
https://dl.acm.org/doi/10.1109/CASE49997.2022.9926710
David ILatifaj MPietron JZhang WCiccozzi FMalavolta IRaschke ASteghöfer JHebig R(2022)Blended modeling in commercial and open-source model-driven software engineering tools: A systematic studySoftware and Systems Modeling (SoSyM)10.1007/s10270-022-01010-322:1(415-447)Online publication date: 21-Jun-2022
https://dl.acm.org/doi/10.1007/s10270-022-01010-3
Tröls MMarchezan LMashkoor AEgyed A(2022)Instant and global consistency checking during collaborative engineeringSoftware and Systems Modeling (SoSyM)10.1007/s10270-022-00984-421:6(2489-2515)Online publication date: 1-Dec-2022
https://dl.acm.org/doi/10.1007/s10270-022-00984-4
Barkowsky MGiese H(2022)Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-FormednessGraph Transformation10.1007/978-3-031-09843-7_7(118-136)Online publication date: 7-Jul-2022
https://dl.acm.org/doi/10.1007/978-3-031-09843-7_7
Ohrndorf MPietsch CKelter UGrunske LKehrer T(2021)History-based Model Repair RecommendationsACM Transactions on Software Engineering and Methodology10.1145/341901730:2(1-46)Online publication date: 3-Jan-2021
https://dl.acm.org/doi/10.1145/3419017
Tröls MMashkoor ADemuth AEgyed A(2021)Ensuring safe and consistent coengineering of cyber‐physical production systemsJournal of Software: Evolution and Process10.1002/smr.230833:9Online publication date: 12-Sep-2021
https://dl.acm.org/doi/10.1002/smr.2308
Tröls MMashkoor AEgyed APanach IVanderdonckt JPastor Ó(2019)Collaboratively enhanced consistency checking in a cloud-based engineering environmentProceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems10.1145/3319499.3328232(1-6)Online publication date: 18-Jun-2019
https://dl.acm.org/doi/10.1145/3319499.3328232
Tröls MMashkoor AEgyed AHung CPapadopoulos G(2019)Live and global consistency checking in a collaborative engineering environmentProceedings of the 34th ACM/SIGAPP Symposium on Applied Computing10.1145/3297280.3297454(1776-1785)Online publication date: 8-Apr-2019
https://dl.acm.org/doi/10.1145/3297280.3297454
Jongeling RPretschner AVoss SBurgueño L(2019)How to live with inconsistencies in industrial model-based development practiceProceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems10.1109/MODELS-C.2019.00098(642-647)Online publication date: 15-Sep-2019
https://dl.acm.org/doi/10.1109/MODELS-C.2019.00098
Show More Cited By

View Options

View options

Media

Figures

Other

Tables

View Issue’s Table of Contents