On Scalable Modeling Techniques
Bibliographic Information
- Other Title
-
- スケーラブルなモデリング技法に関する考察
Search this article
Description
モデルベース開発、プロダクトライン開発、形式手法など、モデルを活用した開発形態では、従来以上に厳密、網羅的、詳細なモデルが求められ、結果としてモデリング作業が大規模、複雑化してきている。本稿では、開発で使われる複数のモデル間の整合性の問題に焦点を当て、部分的かつ弱い整合性を取りながら、徐々に整合性を高めていくアプローチについて、概念的な検討を行う。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
-
- 研究報告ソフトウェア工学(SE)
-
研究報告ソフトウェア工学(SE) 2011 (10), 1-8, 2011-07-14
- Tweet
Details 詳細情報について
-
- CRID
- 1571698601963233408
-
- NII Article ID
- 110008583158
-
- NII Book ID
- AN10112981
-
- Text Lang
- ja
-
- Data Source
-
- CiNii Articles
- KAKEN