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.
Supported by the projects 2001CCA03000, 2001AA113130, 2001CB312004 and NSF Major Program 60496324.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Ma, X.: Private Communication (1992)
Feigenbaum, E.A., McCorduck, P.: The fifth generation, artificial intelligence and Japan’s challenge to the world. Addison-Wesley, Reading (1983)
Lu, R.: From hardware to software to knowware: IT’s third liberation? IEEE Intelligent Systems, March/April, pp. 82–85 (2005)
Lu, R., Jin, Z.: Beyond Knowledge Engineering. Journal of Computer Science and Technology (to appear, 2006)
Lenat, D.B., Guha, P.V.: Building Large Knowledge Based Systems: Representation and Inference in the CYC Project. Addison Wesley, Reading (1990)
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)
Nonaka, I., Takeuk, H.: The Knowledge Creating Company: How Japanese Companies Create Dynamics of Innovation. Oxford University Press, Oxford (1995)
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)
Sowa, J.F.: Representing Knowledge Soup in Language and Logic. In: Conference on Knowledge and Logic, Darmstadt (2002)
Spector, A.: Architecting Knowledge Middleware. In: WWW 2002, Hawaii (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lu, R. (2006). Towards a Software/Knowware Co-engineering. In: Lang, J., Lin, F., Wang, J. (eds) Knowledge Science, Engineering and Management. KSEM 2006. Lecture Notes in Computer Science(), vol 4092. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11811220_2
Download citation
DOI: https://doi.org/10.1007/11811220_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-37033-8
Online ISBN: 978-3-540-37035-2
eBook Packages: Computer ScienceComputer Science (R0)