Managing the integrity of design data generated by multiple applications: The principle of patching

Research in Engineering Design - Theory, Applications, and Concurrent Engineering

Volumn 9, Issue 3, 1997, Pages 125-145

  Eastman, Chuck ^a   Parker, D Stott ^b   Jeng, Tay Sheng ^a  

^a GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Change management; Concurrent engineering; Design; Engineering databases; Integrity management

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER AIDED DESIGN; DATA PROCESSING; DATABASE SYSTEMS; INDUSTRIAL MANAGEMENT;

INTEGRITY MANAGEMENT; SEMANTIC INTEGRITY RELATIONS;

CONCURRENT ENGINEERING;

EID: 0030649338     PISSN: 09349839     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF01596599     Document Type: Article

References (37)

1. Banerjee J, Kim W, Kim H, Korth H. Semantics and implementation of schema evolution in object-oriented databases. Proc. ACM SIGMOD 1987 Annual Conf. 1987; Vol. 16, 3: 311-322
2. Barghouti MS, Kaiser G. Concurrency control in advanced database applications. ACM Comp Surveys, 1991; 23, 3: 269-318
3. Buchmann AP, Carrera RS, Vasquez-Galindo MA. Handling constraints and their exceptions: an attached constraint handler for object-oriented CAD databases. In Dittrich, K, Dayal U, Buchmann A (eds). On object-oriented database systems. Springer-Verlag, New York, 1991. pp 65-83
4. Chrysanthis PK, Ramamritham K. Synthesis of extended transaction models using ACTA. ACM TODS September 1994; 19, 3: 450-491
5. Cornelio A, Navathe S. Database support for engineering and simulation. Proc. 2nd Int Conf on Data and Knowledge Systems for Manuf and Engr. IEEE, NIST, Gaithersburg, MD, October. 1989
6. Cutkosky MR. PACT: an experiment in integrating concurrent engineering systems. IEEE Computer January 1993; 26, 1: 28-38
7. Davies CT. Data processing spheres of control. IBM Syst J. 1978; 17, 2: 179-198
8. Doyle J. A truth maintenance system. Artificial Intelligence. November 1979; 12, 3: 231-272
9. Eastman CM, Managing integrity in design information flows. Computer Aided Design, Vol. 28, 6/7, IPC Press, pp 551-565
10. Eastman CM, Cho MS, Jeng TS, Assal HH. A data model and database supporting integrity management. 1995 ASCE Int. Computing Congress, Atlanta, GA. 1995
11. EDM Group. EDM-2 reference manual, Version 1.0. Design Computing Research Report, College of Architecture, Georgia Institute of Technology, Atlanta, GA, 1995
12. Elkan C. A rational reconstruction of nonmonotonic truth maintenance systems. Artificial Intelligence 1990; May 43, 2: 219-234
13. Fitting, M. Bilattices and the semantics of logic programming. J Logic Programming 1991; 11: 91-116
14. Ginsberg ML. Multi-valued logics. Proc Fifth National Conf on Artificial Intelligence (AAAI-86), vol. 1, 1986. Philadelphia, PA, pp 243-247
15. Ginsberg ML. Multi-valued logics: a uniform approach to inference in artificial intelligence. Computational Intelligence 1988: 265-316
16. Gray J, Reuter A. Transaction processing: concepts and techniques. Morgan Kaufmann Publishers, San Mateo 1993
17. Guttag JV. Abstract data types for the development of data structures. Communications of the ACM 1977; 20: 307-315
18. Hoare CAR. An axiomatic basis for computer programming. Communications of the ACM October, 1969; 12, 10: 576-580
19. Inui M, Kimura F. Using a truth-maintenance system to assist product-model construction for design and process planning. Computer-Aided Design January, 1993; 25, 1: 59-70
20. Johnston MD, Minton S. Analyzing a heuristic strategy for constraint-satisfaction and scheduling. In: Zweben M, Fox MS (eds). Intelligent scheduling. Morgan Kaufmann Publishers. 1994. pp 257-289
21. Katz R. Toward a unified framework for version modeling in engineering databases. ACM Comp. Surveys December, 1990; 22, 4: 375-408
22. Kim W, Bertino E, Garza J. Composite objects revisited. Proc 1989 ACM SIGMOD Conf SIGMOD Record, vol. 18, 2, June 1989. pp 337-347
23. de Kleer J. An assumption-based truth maintenance system. Artificial Intelligence 1986; 28: 127-162
24. de Kleer J. A perspective on assumption-based truth maintenance. Artificial Intelligence 1993; 59: 63-67
25. Kutay A, Eastman CM. Transaction management in engineering databases. SIGMOD Conf on Engineering DB, 1983. pp 73-80
26. Leler, Wm. Constraint programming languages: their specification and generation. Addison-Wesley, Reading, MA 1988
27. Leonhardt U, Kramer J, Nuseibeh B, Finkelstein A. Decentralised process enactment in a multi-perspective development environment. Proc 17th Int Conf on Software Engineering, Seattle, April 1995. pp 255-264
28. Maher ML. Engineering design synthesis: a domain independent representation. IA-EDAM 1987; 1, 3: 207-213
29. Meyer A. Object-oriented software construction. Prentice-Hall, Englewood Cliffs, NJ, 1988
30. Miyashita K, Sycara K. Adaptive case-based control of schedule revision. In: Zweben M, Fox MS (eds). Intelligent scheduling. Morgan Kaufmann Publishers, San Mateo, CA 1994. pp 291-308
31. Moss E. Nested transactions: an approach to reliable distributed computing. MIT Press, Cambridge, MA 1985
32. Osborn SL. The role of polymorphism in schema evolution in an object-oriented database. IEEE Transactions on Knowledege and Data Engr 1989; 1; 3: 310-317
33. Reed DP. Naming and synchronization in a decentralized computer system. Technical Report 205, PhD thesis. Dept of Electrical Engineering and Computer Science, MIT September 1978
34. Reiter R, de Kleer J. Foundations of assumption-based truth maintenance systems. Proc 3rd Int Conf on Knowledge Representation and Reasoning 1992. pp 532-538
35. Roddick J. Schema evolution in database systems-an annotated bibliography. SIGMOD Record December 1992; 21, 4: 35-40
36. Smith JM, Smith DC. Database abstractions: aggregation. Communic ACM 1977; 20, 6: 405-413
37. Ullman JD. Principles of database and knowledge-base systems, vol. 1. Computer Science Press, Rockville, MD 1988