RT Journal Article T1 SKYWare: The Unavoidable Convergence of Software towards Runnable Knowledge A1 Exman, Iaakov A1 Llorens Morillo, Juan Bautista A1 Fraga Vázquez, Anabel A1 Álvarez Rodríguez, José María AB There Has Been A Growing Awareness Of Deep Relations Between Software And Knowledge. Software, From An Efficiency Oriented Way To Program Computing Machines, Gradually Converged To Human Oriented Runnable Knowledge. Apparently This Has Happened Unintentionally, But Knowledge Is Not Incidental To Software. The Basic Thesis: Runnable Knowledge Is The Essence Of Abstract Software. A Knowledge Distillation Procedure Is Offered As A Constructive Feasibility Proof Of The Thesis. A Formal Basis Is Given For These Notions. Runnable Knowledge Is Substantiated In The Association Of Semantic Structural Models (Like Ontologies) With Formal Behavioral Models (Like Uml Statecharts). Meaning Functions Are Defined For Ontologies In Terms Of Concept Densities. Examples Are Provided To Concretely Clarify The Meaning And Implications Of Knowledge Runnability. The Paper Concludes With The Runnable Knowledge Convergence Point: Skyware, A New Term Designating The Domain In Which Content Meaning Is Completely Independent Of Any Underlying Machine. PB Know-Center SN 0948-695X YR 2015 FD 2015-11-01 LK https://hdl.handle.net/10016/33187 UL https://hdl.handle.net/10016/33187 LA eng DS e-Archivo RD 1 sept. 2024