WEKO3
-
RootNode
アイテム
オブジェクト指向方法論OMTにおける静的モデルと動的モデルの一貫性についての一考察
https://ipsj.ixsq.nii.ac.jp/records/21836
https://ipsj.ixsq.nii.ac.jp/records/2183602f0abfe-b6dc-45ed-9934-66030a96f810
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 1996 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | SIG Technical Reports(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 1996-01-18 | |||||||
タイトル | ||||||||
タイトル | オブジェクト指向方法論OMTにおける静的モデルと動的モデルの一貫性についての一考察 | |||||||
タイトル | ||||||||
言語 | en | |||||||
タイトル | A Study on the Consistency between Object and Dynamic Models of OMT | |||||||
言語 | ||||||||
言語 | jpn | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
資源タイプ | technical report | |||||||
著者所属 | ||||||||
広島大学大学院工学研究科 | ||||||||
著者所属 | ||||||||
広島大学工学部 | ||||||||
著者所属 | ||||||||
広島大学工学部 | ||||||||
著者所属 | ||||||||
広島大学工学部 | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Graduate School of Hiroshima University | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Faculty of Engineering, Hiroshima University | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Faculty of Engineering, Hiroshima University | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Faculty of Engineering, Hiroshima University | ||||||||
著者名 |
山井, 和博
吉高, 淳夫
平川, 正人
市川, 忠男
× 山井, 和博 吉高, 淳夫 平川, 正人 市川, 忠男
|
|||||||
著者名(英) |
Kazuhiro, Yamai
Atsuo, Yoshitaka
Masahito, Hirakawa
Tadao, Ichikawa
× Kazuhiro, Yamai Atsuo, Yoshitaka Masahito, Hirakawa Tadao, Ichikawa
|
|||||||
論文抄録 | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | 近年,ドメイン分析モデルとしてオブジェクト指向方法論OMTが注目されている.OMTではオブジェクトモデル,動的モデル,機能モデルを用いてモデリングを行うが,これらのモデル間の関係が明確でないため,記述されたモデルの一貫性が必ずしも保証されない.また,モデルの曖昧性も一貫性の検証を困難にしている.本稿ではOMTの3つのモデルのうち,オブジェクトモデルと動的モデルとの一貫性について考察を行う.モデルの曖昧性を,オブジェクト間のインタラクションをインスタンスレベルで多様に記述できるように動的モデルを拡張することで解消する.また,両モデルで満たされるべき制約に着目して一貫性の検証を行う手法を提案する. | |||||||
論文抄録(英) | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | Object Modeling Technique (OMT) has recently become attractive as a domain analysis model. In OMT, three models are used to describe a system: object, dynamic and functional. But the consistency between those models is not ensured, because the relationship between models is not clear and the dynamic model contains serious ambiguity. This paper discusses the consistency between the object model and the dynamic model. To eliminate the ambiguity of the dynamic model, we introduce an extended dynamic model which allows analysts to describe the various interactions between objects more flexibly. Furthermore, the consistency is guaranteed by the restriction caused on these models. | |||||||
書誌レコードID | ||||||||
収録物識別子タイプ | NCID | |||||||
収録物識別子 | AN10112981 | |||||||
書誌情報 |
情報処理学会研究報告ソフトウェア工学(SE) 巻 1996, 号 6(1995-SE-107), p. 73-80, 発行日 1996-01-18 |
|||||||
Notice | ||||||||
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
出版者 | ||||||||
言語 | ja | |||||||
出版者 | 情報処理学会 |