On Scalable Modeling Techniques

Bibliographic Information

Other Title
  • スケーラブルなモデリング技法に関する考察

Search this article

Abstract

モデルベース開発、プロダクトライン開発、形式手法など、モデルを活用した開発形態では、従来以上に厳密、網羅的、詳細なモデルが求められ、結果としてモデリング作業が大規模、複雑化してきている。本稿では、開発で使われる複数のモデル間の整合性の問題に焦点を当て、部分的かつ弱い整合性を取りながら、徐々に整合性を高めていくアプローチについて、概念的な検討を行う。Recent software development techniques such as model-based development, product-line development and formal approaches require rigorous, exhaustive and detailed model, and it makes software models larger and more complicated. In this paper, we propose a modeling approach in which we firstly realize partial and weak consistencies among models, and then gradually enhance the consistencies along with the development lifecycle. We give a conceptual framework of the idea as our early research result.

Journal

Related Projects

See more

Details 詳細情報について

  • CRID
    1571698601963233408
  • NII Article ID
    110008583158
  • NII Book ID
    AN10112981
  • Text Lang
    ja
  • Data Source
    • CiNii Articles
    • KAKEN

Report a problem

Back to top