【24h】

An Exploration of Perspective Changes within MBD

机译:MBD内部视角变化的探索

获取原文

摘要

Most current model-based design approaches tend to be specification-driven. Using task models solely at the specification level, contradicts the very idea inherent to task-based design. This paper suggests to look for improvements of the situation at different levels of artifact use. First, HOPS is introduced as a general specification formalism for the interaction paradigm which also allows advanced task modeling. Second, we propose to apply formal modeling in different modes during the different stages of a design process. "Task sketching" is elaborated more deeply. And third, a combination with complementary techniques is recommended to embed the development of formal system specifications in a reflective conversation between all stakeholders. An example is used throughout the paper to illustrate our ideas.
机译:当前大多数基于模型的设计方法都倾向于规范驱动。仅在规范级别使用任务模型与基于任务的设计固有的思想相矛盾。本文建议在工件使用的不同级别上寻求改善的情况。首先,HOPS被引入为交互范例的一般规范形式,这也允许高级任务建模。其次,我们建议在设计过程的不同阶段以不同的模式应用形式化建模。 “任务草绘”将更详细地阐述。第三,建议与补充技术结合使用,以将正式系统规范的开发嵌入到所有利益相关者之间的反思性对话中。全文中使用一个示例来说明我们的想法。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号