Advertisement

Abstract

After a short introduction to the concepts of knowware, knowware engineering and knowledge middleware, this paper proposes to study the software/knowware co-engineering. Different from the traditional software engineering process, it is a mixed process involving both software engineering and knowware engineering issues. The technical subtleties of such a mixed process are discussed and guidelines of building models for it are proposed. It involves three parallel lines of developing system components of different types. The key issues of this process are how to guarantee the correctness and appropriateness of system composition and decomposition. The ladder principle, which is a modification of the waterfall model, and the tower principle, which is a modification of the fountain model, are proposed. We also studied the possibility of equipping the co-engineering process with a formal semantics. The core problem of establishing such a theory is to give a formal semantics to an open knowledge source. We have found a suitable tool for this purpose. That is the co-algebra. We also try to give a preliminary delineation of a co-algebraic semantics for a typical example of open knowledge source – the knowledge distributed on the World Wide Web.

Keywords

Knowware knowledge middleware software/knowware co-engineering 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Ma, X.: Private Communication (1992)Google Scholar
  2. 2.
    Feigenbaum, E.A., McCorduck, P.: The fifth generation, artificial intelligence and Japan’s challenge to the world. Addison-Wesley, Reading (1983)Google Scholar
  3. 3.
    Lu, R.: From hardware to software to knowware: IT’s third liberation? IEEE Intelligent Systems, March/April, pp. 82–85 (2005)Google Scholar
  4. 4.
    Lu, R., Jin, Z.: Beyond Knowledge Engineering. Journal of Computer Science and Technology (to appear, 2006)Google Scholar
  5. 5.
    Lenat, D.B., Guha, P.V.: Building Large Knowledge Based Systems: Representation and Inference in the CYC Project. Addison Wesley, Reading (1990)Google Scholar
  6. 6.
    Lu, R., Cao, C., Chen, Y., Han, Z.: On Automatic Generation of Intelligent Tutoring Systems. In: Proc. of 7th International Conference of AI in Education (1995)Google Scholar
  7. 7.
    Nonaka, I., Takeuk, H.: The Knowledge Creating Company: How Japanese Companies Create Dynamics of Innovation. Oxford University Press, Oxford (1995)Google Scholar
  8. 8.
    Glance, N., et al.: Knowledge Pump: Supporting the Flow and Use of Knowledge. In: Borghoff, U., et al. (eds.) Information Technology for Knowledge Management, ch. 3. Springer, Heidelberg (1998)Google Scholar
  9. 9.
    Sowa, J.F.: Representing Knowledge Soup in Language and Logic. In: Conference on Knowledge and Logic, Darmstadt (2002)Google Scholar
  10. 10.
    Spector, A.: Architecting Knowledge Middleware. In: WWW 2002, Hawaii (2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Ruqian Lu
    • 1
    • 2
  1. 1.Institute of Mathematics& MADIS, AMSS, Key Lab of Intelligent Information Processing, Inst. of Computing Technology, Shanghai Key Lab of Intelligent Information ProcessingFudan University 
  2. 2.Beijing Key Lab of Multimedia and Intelligent SoftwareBeijing University of Technology 

Personalised recommendations