This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Knowledge Representation and Reasoning in the Design of Composite Systems
June 1992 (vol. 18 no. 6)
pp. 470-482

The design process that spans the gap between the requirements acquisition process and the implementation process, in which the basic architecture of a system is defined, and functions are allocated to software, hardware, and human agents. is studied. The authors call this process composite system design. The goal is an interactive model of composite system design incorporating deficiency-driven design, formal analysis, incremental design and rationalization, and design reuse. They discuss knowledge representations and reasoning techniques that support these goals for the product (composite system) that they are designing, and for the design process. To evaluate the model, the authors report on its use to reconstruct the design of two existing composite systems rationally.

[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," inProc. 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.L. Begeman, "A hypertext tool for exploratory policy discussion,"ACM Trans. Office Inform. Syst., vol. 6, no. 4, pp. 303-331, 1988.
[8] A. Dardenne, S. Fickas, and A. van Lamsweerde, "Goal-directed concept acquisition in requirements elicitation," inProc. 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 d'Informatique, Facultés Universitaries de Namur, 1990.
[10] E. Dubois and J. Hagelstein, "A logic of action for goal-oriented elaboration of requirements," inProc. 5th Int. Workshop Software Specification and Design, published asACM SIGSOFT Engineering Notes, vol. 14, pp. 160-168, May 1989.
[11] E. Dubois, "Supporting an incremental elaboration of requirements for multi-agent systems," inProc. Int. Conf. Cooperating Knowledge-Based Systems, pp. 130-134, 1990.
[12] Feather, M., "Language Support for the Specification and Development of Composite Systems,"ACM Trans. Programming Languages, Vol. 9, No. 2, Apr. 1987, pp. 198-234.
[13] M. S. Feather, "The evolution of composite system specifications," inProc. 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 (to appear inProc. Fourth Annual KBSE Conf., Syracuse, NY, Oct. 1991).
[15] S. F. Fickas, "Automating the transformational development of software,"IEEE Trans. Software Eng., vol. SE-11, no. 11, pp. 1268- 1278, Nov. 1985.
[16] S. Fickas and P. Nagarajan, "Critiquing software specifications: a knowledge based approach,"IEEE Software, Nov. 1988.
[17] 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).
[18] G. Fischer, R. McCall, and A. Morch, "Janus: Integrating hypertext with a knowledge-based design environment," inProc. Hypertext 89. New York: ACM, 1989, pp. 105-117.
[19] P. Friedland and Y. Iwasaki, "The concept and implementation of skeletal plans,"Rep. KSL 85-6, Stanford Knowledge Systems Laboratory, 1985.
[20] M. Gasser,Building a Secure Computer System. New York: Van Nostrand Reinhold, 1988.
[21] K. J. Hammond,Case-Based Planning: Viewing Planning as a Memory Task. Boston, MA: Academic, 1989.
[22] G. J. Holzmann,Design and Validation of Computer Protocols. Englewood, Cliffs, NJ: Prentice-Hall, 1991.
[23] 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.
[24] Problem set inProc. 4th Int. Workshop on Software Specification and Design, 1987, pp. 52-57.
[25] R. Kemmerer, "Testing formal specifications to detect design errors,"IEEE Trans. Software Engineering, vol. SE-11, pp. 32-42, Jan. 1985.
[26] B. Kramer, "Prototyping and formal analysis of concurrent and distributed systems," inProc. 6th Int. Workshop on Software Specification and Design, 1991, pp. 60-66.
[27] J. Kramer, J. Magee, and A. Finkelstein, "A constructive approach to the design of distributed systems," inProc. 10th Int. Conf. Distributed Computing Systems, May 1990.
[28] L. Lamport, "Proving the correctness of multiprocessor programs,"IEEE Trans. Software Engineering, vol. SE-3, pp. 125-143, Mar. 1977.
[29] N. G. Leveson, M. Heimdahl, H. Hildreth, and A. Ortega, inProc. 6th Int. Workshop Software Specification and Design, pp. 31-41, 1991.
[30] P. E. London and M. S. Feather, "Implementing specification freedoms," inReadings in Artificial Intelligence and Software Engineering, C. Rich and R. Waters, Eds. Los Gatos, CA: Morgan Kaufmann, 1986, pp. 285-205. (Originally appeared inSci. Computer Programming, vol. 2, pp. 91-131, 1982.)
[31] J. Loyall, S. Kaplan, and S. Goering, "Abstraction and composition in D-specifications of concurrent systems," inProc. 6th Int. Workshop Software Specification and Design, pp. 52-59, 1991.
[32] T. McGean,Urban Transportation Technology. Lexington, MA: D. C. Heath, 1976.
[33] R. Milner,A Calculus of Communicating Systems (Lecture Notes in Computer Science 92). New York: Springer-Verlag, 1980.
[34] L. Morgenstern, "A first-order theory of planning, knowledge, and action," inTheoretical Aspects of Reasoning about Knowledge: Proc. 1986 Conference, J. Halpern, Ed. Los Gatos, CA: Morgan Kaufmann, 1986, pp. 99-114.
[35] J. Mostow, "Why are design derivations hard to replay?" inMachine Learning: A Guide to Current Research, T. Mitchell, J. Carbonell, and R. Michaelski, Eds. Hingham, MA: Kluwer, 1986, pp. 213-218.
[36] J. B. Postel and J. K. Reynolds, "Telnet protocol specification," Internet Request For Comments 855, May 1983.
[37] W. N. Robinson, "Negotiation behavior during requirements specification," inProc. 12th Int. Conf. Software Engineering, Nice, France, 1990, pp. 268-276.
[38] M. T. Rose,The Open Book: A Practical Perspective on OSI. Englewood Cliffs, NJ: Prentice-Hall, 1989.
[39] M. T. Rose,The Simple Book: Management of TCP/IP-based Internets. Englewood Cliffs, NJ: Prentice-Hall, Inc., 1991.
[40] 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.
[41] 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.
[42] 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.
[43] R. Simmons, "A theory of debugging plans and interpretations," inAAAI-88: Proc. 7th Nat. Conf. Artificial Intelligence, pp. 94-99, 1988.
[44] A. Tanenbaum,Computer Networks. Englewood Cliffs, NJ: Prentice-Hall, 1988.
[45] 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.
[46] M. C. Wilbur-Ham, "Numerical petri nets--A guide," Telecom Australia Research Laboratories, Report 7791, 1985.

Index Terms:
composite systems; requirements acquisition; implementation process; human agents; deficiency-driven design; formal analysis; incremental design; rationalization; design reuse; knowledge representations; reasoning techniques; formal specification; inference mechanisms; knowledge representation; software prototyping; software reusability
Citation:
S. Fickas, B.R. Helm, "Knowledge Representation and Reasoning in the Design of Composite Systems," IEEE Transactions on Software Engineering, vol. 18, no. 6, pp. 470-482, June 1992, doi:10.1109/32.142870
Usage of this product signifies your acceptance of the Terms of Use.