Edsger W. Dijkstra has frequently suggested building a "firewall" between the technology- and application-side of computer science. His justification: The methods to attack the computer scientists' formal, mathematical "correctness problem" differ fundamentally from the methods to attack the applicants' informal "pleasantness problem". In this setting, a model is always confined to one side or the other of this wall. This keynote shows that a seamless transition between both sides can be achieved by a framework with architecture, statics, and dynamics as the three pillars of modeling computer-integrated systems. Selected examples justify this framework. It allows to "breath life" into (static) models, and it implies a new understanding of the "pleasantness" of computer-integrated systems, which is well-needed in the age of "digital first".
翻译:Edsger W. Dijkstra经常建议在计算机科学的技术和应用方面建立“ 防火墙 ” 。 他的理由 : 攻击计算机科学家正式、数学“ 纠正问题” 的方法与攻击申请人非正式“ 刺激问题” 的方法大相径庭。 在这种环境下, 模型总是局限在墙的一边或另一边。 本基调表明, 可以通过建筑、 静态和动态作为计算机集成系统建模的三大支柱的框架实现双方之间的无缝过渡。 某些例子证明这个框架是合理的。 它允许“ 呼吸生命” 进入( 静态) 模型, 这意味着对计算机集成系统的“ 喜悦性” 有了新的理解, 这是“ 数字第一” 时代非常需要的。