Inconsistency Handling in Multiperspective Specifications

IEEE Transactions on Software Engineering

Volumn 20, Issue 8, 1994, Pages 569-578

  Finkelstein, Anthony C W ^a   Gabbay, Dov ^a   Hunter, Anthony ^a   Kramer, Jeff ^a   Nuseibeh, Bashar ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Inconsistency handling multiple perspectives views; viewpoints specification process modeling classical first order predicate logic temporal logic

Indexed keywords

CLASSIFICATION (OF INFORMATION); COMPUTER AIDED SOFTWARE ENGINEERING; DATA REDUCTION; DATA STRUCTURES; FORMAL LOGIC; LARGE SCALE SYSTEMS;

CLASSICAL FIRST ORDER PREDICATE LOGIC; INCONSISTENCY HANDLING; MULTIPERSPECTIVE SPECIFICATIONS; PROCESS MODELING; TEMPORAL LOGIC; VIEWPOINTS; VIEWS;

DATA HANDLING;

EID: 0028481195     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.310667     Document Type: Article

References (40)

1. A. R. Anderson and N. D. Belnap, The Logic of Entailment. Princeton, NJ: Princeton Univ. Press, 1976.
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. 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. 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. J. Bell, “Non-Monotonic reasoning, non-monotonic logics, and reasoning about change,” Artificial Intell. Rev., vol. 4, pp. 79-108, 1990.
6. H. Blair and V. Subrahmanian “Paraconsfstent logic programming,” Theoretical Comput. Sci., vol. 68, pp. 135-154, 1989.
7. N. D. da Costa, “On the theory of inconsistent formal systems,” Notre Dame J. Formal Logic, vol. 15, pp. 497-510, 1974.
8. J. Doyle, “A truth maintenance system,” Artificial Intell., vol. 12, pp. 231-272, 1979.
9. M. Finger, P. McBrien, and R. Owens, “Databases and executable temporal logic,” in Proc. ESPRIT Conf., CEC, 1991.
10. A. Finkelstein, M. Goedictce, 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. 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. 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. 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. D. Gabbay, “Declarative past and imperative future: Executable ternporal poral logic for interactive systems,” in Proc Colloquium on Temporal Logic in Specification. New York: Springer-Verlag, LNCS 398, 1989.
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, Verlag, LNCS 535, 1991, pp. 19-32.
16. “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. 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. P. Graubmann “The HyperView tool standard methods,” REX Technical Report REX-WP3-SIE-021-V1.0, Siemens, Germany, Jan. 1992.
19. B. Hailpern, “Special issue on multiparadigm languages,” Software, vol. 3, no. 1, pp. 6-77, Jan., 1986, IEEE Computer Society Press.
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. “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. J. Krogstie. P. McBrien, R. Owens, and A. Selvit, “Information systems 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. S. Meyers and S. P. Reiss “A system for multiparadigm development of software systems,” in Proc. of 6th hit. Workshop on Software Specification and Des. (IWSSD-6), Como, Italy, Oct. 1991, pp. 202-209, IEEE Computer Society Press, 1991.
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. K. Narayanaswamy and N. Goldman “Lazy” consistency: A basis for cooperative software development,” in Proc. of Int.Conf. Computer-Supported Supported Cooperative Work (CSCW ‘92), Toronto, O N, Canada, 31 Oct.-4 Nov., pp. 257-264, ACM SIGCHI & SIGOIS 1992.
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. 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, 1993, IEEE Computer Society Press, pp. 42-46, 1993.
28. “Method engineering for multiperspective software development,” Information and Software Technology (forthcoming). Oxford, England: Butterworth Heinemann, (to be published).
29. B. Nuseibeh, J. Kramer. and A. Finkelstein, “Expressing the relationships between multiple views i n 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. T. Pequendo and A. Buschbaum “The logic of epistemic inconsistency,” i n Proc. 2nd Int. Conf. Principles of Knowledge Representation and Reasoning, San Francisco, CA: Morgan Kaufmann, 1991, pp. 453-460.
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, Konigswinter. Germany. New York: Springer-Verlag, Verlag, LNCS 509, June 1991. pp. 53-68.
32. R. Reiter, “On closed world databases,” Logic &Databases, H. Gallaire and J. Minker Eds. New York: Plenum Press, 1978.
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. R. W. Schwanke and G. E. Kaiser, “Living with inconsistency in large systems,” in Proc. Int. Workshop on Software Viersion and Configuration Control, Grassau, Germany. Jan. 27-29, 1988. Stuttgart: B. G. Teubner, 1988. pp. 98-118.
35. G. Wagner “Ex contradictione nihil sequitor,” in Proc. of 12th lot. Joint Conf. Artificial Intel., San Francisco, C A: Morgan Kaufmann, 1991.
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. 137-149.
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. 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. 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. P. Zave and M. Jackson, “Conjunction as composition,” Trans. Software Eng. and Methodology, vol. 2, no. 4, pp. 379-411, ACM Press, Oct. 1993.