首页> 外文会议>International conference on formal methods for industrial critical systems >Generative Model Driven Design for Agile System Design and Evolution: A Tale of Two Worlds
【24h】

Generative Model Driven Design for Agile System Design and Evolution: A Tale of Two Worlds

机译:生成模型驱动的敏捷系统设计和演化设计:两个世界的故事

获取原文

摘要

In order to mainstream the production and evolution of IT at the levels of speed, scale, affordability and collaborative effort needed to truly make IT enter the fabric of every economical and societal endeavour, as is the projected future of our society in the next decade, the ease of learning, understanding, and applying new disruptive technologies must drastically improve. We argue that the needs of the people, the economical sectors, and the large-scale trends can only be met if the IT professions embrace and adopt a new way of producing and consuming IT, based on more formal descriptions, more models, more reasoning and analysis before expensive implementations are incurred, coupled with automatic transformations, generations, and analyses that take advantage of the models and formalized knowledge. We analyse briefly the various dimensions, derive a specification for the new IT and IT platforms, and provide a few examples of how the new thinking can disrupt the status quo but empower a better understanding, a more efficient organization, and a more automatic management of the many cross-dimensional issues that future connected software and systems will depend upon.
机译:为了使速度和规模,可负担性和协同工作水平真正成为IT的生产和发展的主流,以使IT真正进入各种经济和社会事业的结构中,正如我们未来十年社会的未来规划一样,学习,理解和应用新的破坏性技术的难易程度必须大大提高。我们认为,只有基于更正式的描述,更多的模型,更多的推理,IT专业人员才能接受并采用一种新的生产和消费IT的方式,才能满足人们,经济部门和大规模趋势的需求。在进行昂贵的实现之前先进行分析和分析,再加上利用模型和形式化知识进行的自动转换,生成和分析。我们简要分析了各个方面,为新的IT和IT平台制定了规范,并提供了一些示例,说明新思维如何破坏现状,但能使您更好地理解,更有效地组织和更自动地管理未来连接的软件和系统将要依赖的许多跨维度问题。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号