首页> 外文会议>Reliable software technologies - Ada-Europe 2012. >Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development
【24h】

Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development

机译:在模型驱动的基于组件的开发中,在关注点分离下处理同步需求

获取原文
获取原文并翻译 | 示例
获取外文期刊封面目录资料

摘要

In this paper we discuss how the concept of separation of concerns could be conveniently applied to improve the model-driven component-based development of real-time high-integrity systems. Interpreting Dijkstra's view in this regard, we seek separation of concerns between the specification of needs (expressed declaratively by the user as requirements and assumptions) and the conception of a demonstrable solution for them (which we want to implement automatically, in the spirit of model-driven development). We aim to enable software designers to specify the assumptions needed on the expected behavior of the system solely by attaching declarative attributes to the affected elements of the system model. We then want the underlying design environment to produce a solution that provably achieves that behavior at run time. We find this vision to fit very well in a component-based development as it naturally allows the declarative space to be confined to interfaces (for the outside view of components) and operations (for the inside view of them). To prove the viability of our vision we apply it to the handling of synchronization requirements as seen from the perspective of the calling component, which is acutely more challenging than from the standpoint of the provider component.
机译:在本文中,我们讨论了关注点分离的概念如何可以方便地应用于改善模型驱动的基于组件的实时高完整性系统的开发。在这方面解释Dijkstra的观点,我们寻求将需求规范(由用户以声明方式表示为需求和假设)与针对它们的可证明解决方案(我们希望根据模型的精神自动实现)之间的关注点分离驱动的开发)。我们旨在使软件设计人员仅通过将声明性属性附加到系统模型的受影响元素即可指定系统预期行为所需的假设。然后,我们希望基础设计环境产生一种解决方案,以在运行时证明该行为。我们发现这种愿景非常适合基于组件的开发,因为它自然地将声明性空间限制在接口(对于组件的外部视图)和操作(对于组件的内部视图)中。为了证明我们愿景的可行性,我们将其应用于处理同步需求,从调用组件的角度来看,这比从提供者组件的角度来看更具挑战性。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号