Knowledge representation and reasoning in the design of composite systems

IEEE Transactions on Software Engineering

Volumn 18, Issue 6, 1992, Pages 470-482

  Fickas, Stephen ^a   Helm, B Robert ^a  

^a UNIVERSITY OF OREGON   (United States)

Author keywords

.Automated analysis composite systems knowl ; edge based design; rational reconstruction; software specification

Indexed keywords

COMPUTER SYSTEMS, DIGITAL--DESIGN; SYSTEMS ENGINEERING;

AUTOMATED REASONING; KNOWLDGE REPRESENTATION; SOFTWARE DEVELOPMENT; SOFTWARE SPECIFICATION;

COMPUTER SOFTWARE;

EID: 0026881004     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.142870     Document Type: Article

References (48)

1. M. Abadi and L. Lamport, “Composing specifications,” Digital Systems Research Center, Rep. 66, Oct. 1990.
2. J. S. Anderson and S. Fickas, “A proposed perspective shift: Viewing specification design as a planning problem,” in Proc. 5th Int. Workshop Software Specification and Design, pp. 177–184, 1989.
3. J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, Eds., Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Berlin: Springer-Verlag, 1989.
4. H. Barringer, M. Fisher, D. Gabbay, G. Gough, and R. Owens, “METATEM: A framework for programming in temporal logic,” in J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, Eds., Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Berlin: Springer-Verlag, 1989, pp. 94–129.
5. J. Castro, “Distributed system specification using a temporal-causal framework,” Ph. D. dissertation, Department of Computing, Imperial College of Science and Technology and Medicine, Univ. London, 1990.
6. P. R. Cohen and H. Levesque, “Intention is choice with commitment,” Artificial Intelligence, vol. 42, pp. 213–261, 1990.
7. J. Conklin and M. Begeman, “gIBIS: A hypertext tool for exploratory policy discussion,” ACM Trans. Office Information Syst., vol. 6, pp. 303–331, Oct. 1988.
8. A. Dardenne, S. Fickas, and A. van Lamsweerde, “Goal-directed concept acquisition in requirements elicitation,” in Proc. 6th Int. Workshop Software Specification and Design, pp. 14–21, 1991.
9. F. Dubisy and A. van Lamsweerde, “Requirements acquisition by analogy,” Int. Rep. 13, KAOS Project, Institut dTnformatique, Facultes Universitaries de Namur, 1990.
10. E. Dubois and J. Hagelstein, “A logic of action for goal-oriented elaboration of requirements,” in Proc. 5th Int. Workshop Software Specification and Design, published as ACM SIGSOFT Engineering Notes, vol. 14, pp. 160–168, May 1989.
11. E. Dubois, “Supporting an incremental elaboration of requirements for multi-agent systems,” in Proc. Int. Conf. Cooperating Knowledge-Based Systems, pp. 130–134, 1990.
12. M. S. Feather, “Language support for the specification and development of composite systems,” ACM Trans. Programming Languages Syst., vol. 9, pp. 198–234, Nov. 1987.
13. M. S. Feather, “The evolution of composite system specifications,” in Proc. 4th Int. Workshop Software Specification and Design, pp. 52–57, 1987.
14. M.S. Feather, S. Fickas, and B. R. Helm, “Composite system design: The good news and the bad news,” Tech. Report CIS-TR-91-12, Dept. Comp. Info. Sci., Univ. Oregon, 1991
15. Proc. Fourth Annual KBSE Conf, Syracuse, NY, Oct. 1991
16. S. Fickas, “Automating the transformational development of software,” IEEE Trans. Software Engineering, vol. SE-11, no. 11, pp. 1268–1277, Nov. 1985.
17. S. Fickas and P. Nagarajan, “Critiquing software specifications: a knowledge based approach,” IEEE Software, Nov. 1988.
18. S. Fickas, B. R. Helm, and M. S. Feather, “When things go wrong: Predicting failure in multi-agent systems,” Tech. Rep. CIS-TR-91-15, Dept. Comp. Info. Sci., Univ. Oregon, 1991 (presented at the Niagra Workshop on Intelligent Information Systems, Niagra, NY, July 1991).
19. G. Fischer, R. McCall, and A. Morch, “Janus: Integrating hypertext with a knowledge-based design environment,” in Proc. Hypertext 89. New York: ACM, 1989, pp. 105–117.
20. P. Friedland and Y. Iwasaki, “The concept and implementation of skeletal plans,” Rep. KSL 85–6, Stanford Knowledge Systems Laboratory, 1985.
21. M. Gasser, Building a Secure Computer System. New York: Van Nostrand Reinhold, 1988.
22. K. J. Hammond, Case-Based Planning: Viewing Planning as a Memory Task. Boston, MA: Academic, 1989.
23. G. Holzmann, Design and Validation of Computer Protocols. Englewood Cliffs, NJ: Prentice-Hall, 1991.
24. P. Huber, A. Jensen, L. Jepsen, and K. Jensen, “Reachability trees for high-level Petri nets,” Theoretical Computer Science, vol. 45, pp. 262–292, 1986.
25. Problem set in Proc. 4th Int. Workshop on Software Specification and Design, 1987, pp. 52–57.
26. R. Kemmerer, “Testing formal specifications to detect design errors,” IEEE Trans. Software Engineering, vol. SE-11, pp. 32–42, Jan. 1985.
27. B. Kramer, “Prototyping and formal analysis of concurrent and distributed systems,” in Proc. 6th Int. Workshop on Software Specification and Design, 1991, pp. 60–66.
28. J. Kramer, J. Magee, and A. Finkelstein, “A constructive approach to the design of distributed systems,” in Proc. 10th Int. Conf. Distributed Computing Systems, May 1990.
29. L. Lamport, “Proving the correctness of multiprocessor programs,” IEEE Trans. Software Engineering, vol. SE-3, pp. 125–143, Mar. 1977.
30. N. G. Leveson, M. Heimdahl, H. Hildreth, and A. Ortega, in Proc. 6th Int. Workshop Software Specification and Design, pp. 31—41, 1991.
31. P. E. London and M. S. Feather, “Implementing specification freedoms,” in Readings in Artificial Intelligence and Software Engineering, C. Rich and R. Waters, Eds. Los Gatos, CA: Morgan Kaufmann, 1986, pp. 285–205.
32. Sci. Computer Programming, vol. 2, pp. 91–131, 1982.
33. J. Loyall, S. Kaplan, and S. Goering, “Abstraction and composition in D-specifications of concurrent systems,” in Proc. 6th Int. Workshop Software Specification and Design, pp. 52–59, 1991.
34. T. McGean, Urban Transportation Technology. Lexington, MA: D. C. Heath, 1976.
35. R. Milner, A Calculus of Communicating Systems. Berlin: Springer-Verlag, 1980.
36. L. Morgenstern, “A first-order theory of planning, knowledge, and action,” in Theoretical Aspects of Reasoning about Knowledge: Proc. 1986 Conference, J. Halpern, Ed. Los Gatos, CA: Morgan Kaufmann, 1986, pp. 99–114.
37. J. Mostow, “Why are design derivations hard to replay?” in Machine Learning: A Guide to Current Research, T. Mitchell, J. Carbonell, and R. Michaelski, Eds. Hingham, MA: Kluwer, 1986, pp. 213–218.
38. J. B. Postel and J. K. Reynolds, “Telnet protocol specification,” Internet Request For Comments 855, May 1983.
39. W. Robinson, “A multi-agent view of requirements,” in Proc. 12th Int. Conf. Software Engineering, pp. 268–276, 1990.
40. M.T. Rose, The Open Book: A Practical Perspective on OSI. Englewood Cliffs, NJ: Prentice-Hall, 1989.
41. M.T. Rose, The Simple Book: Management of TCP/IP-based Internets. Englewood Cliffs, NJ: Prentice-Hall, Inc., 1991.
42. S. Rosenschein and L. P. Kaelbing, “The synthesis of digital machines with provable epistemic properties,” in J. Halpern, Ed., Theoretical Aspects of Reasoning about Knowledge: Proc. 1986 Conf, pp. 83–98, 1986.
43. A. V. Shankar and S. S. Lam, “Construction of network protocols by stepwise refinement,” in J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, Eds., Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Berlin: Springer-Verlag, 1989, pp. 669–695.
44. Robert B. Shaw, Down Brakes: A History of Railroad Accidents, Safety Precautions, and Operating Practices in the United States of America. London: P. R. Macmillan, 1961.
45. R. Simmons, “A theory of debugging plans and interpretations,” in AAAI-88: Proc. 7th Nat. Conf. Artificial Intelligence, pp. 94–99, 1988.
46. A. J. Tanenbaum, Computer Networks. Englewood Cliffs, NJ: Prentice-Hall, 1988.
47. A. van Lamsweerde, A. Dardenne, and F. Dubisy, “KAOS knowledge representations as initial support for formal specification processes,” Facults Universitaries de Namur, Research Paper RP24/91, May 1991.
48. M. C. Wilbur-Ham, “Numerical petri nets—A guide,” Telecom Australia Research Laboratories, Report 7791, 1985.