[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
research-article

Inconsistency Handling in Multiperspective Specifications

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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.

Cited By

View all
  • (2024)Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems EngineeringProceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems10.1145/3652620.3688565(915-919)Online publication date: 22-Sep-2024
  • (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
  • (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
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

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

Publisher

IEEE Press

Publication History

Published: 01 August 1994

Author Tags

  1. ViewPoints
  2. complex systems
  3. data integrity
  4. development
  5. distributed development
  6. distributed processing
  7. first order predicate logic
  8. formal specification
  9. inconsistency handling
  10. logical rules
  11. multiperspective specifications
  12. multiple perspectives
  13. process modeling
  14. specification
  15. specifications
  16. temporal logic

Qualifiers

  • Research-article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 19 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2024)Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems EngineeringProceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems10.1145/3652620.3688565(915-919)Online publication date: 22-Sep-2024
  • (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
  • (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
  • (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
  • (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
  • (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
  • (2021)History-based Model Repair RecommendationsACM Transactions on Software Engineering and Methodology10.1145/341901730:2(1-46)Online publication date: 3-Jan-2021
  • (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
  • (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
  • (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
  • Show More Cited By

View Options

View options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media