メタ階層化による図式モデルの形式的記述

Material type: 文書・図像類

Author: 小飼, 敬 / 上田, 賀一ほか

Publisher: 情報処理学会

Publication date: 2001-06-01

Material Format: Digital

Capacity, size, etc.: -

NDC: -

View All

Notes on use

Note (General)：: application/pdfテクニカルレポートソフトウェア開発においてソフトウェアの仕様を矛盾や曖昧さがないように記述するためには, 仕様を形式化して検証するというアプローチが有効であるL. しかし仕様の規模が大きくなると, 形式化する手間も多くなってくるため作業が困難となる. 本研究では, ソフ...

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

Ibaraki University Academic Repository
Digital
You can check the holdings of institutions and databases with which Institutional Repositories DataBase(IRDB)(Institutional Repository) is linked at the site of Institutional Repositories DataBase(IRDB)(Institutional Repository).
Ibaraki University Academic Repository

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type: 文書・図像類
Title: メタ階層化による図式モデルの形式的記述
Author/Editor: 小飼, 敬 / 上田, 賀一
KOGAI, Kei / UEDA, Yoshikazu
Author Heading: 小飼, 敬 / 上田, 賀一
KOGAI, Kei / UEDA, Yoshikazu
Publication, Distribution, etc.: 情報処理学会
Publication Date: 2001-06-01
Publication Date (W3CDTF): 2001-06-01
Alternative Title: Formal Specifications of Diagrammatic Models using Meta Hierarchy
メタカイソウカニヨルズシキモデルノケイシキテキキジュツ
Periodical title: 情報処理学会研究報告. ソフトウェア工学研究会報告
No. or year of volume/issue: 2001 56
Volume: 2001
Issue: 56
Pages: 41-48
Text Language Code: jpn
Target Audience: 一般
Note (General): application/pdf
テクニカルレポート
ソフトウェア開発においてソフトウェアの仕様を矛盾や曖昧さがないように記述するためには, 仕様を形式化して検証するというアプローチが有効であるL. しかし仕様の規模が大きくなると, 形式化する手間も多くなってくるため作業が困難となる. 本研究では, ソフトウェア仕様で利用される図式モデルに焦点をあて, 図式モデルを記述するための制約をメタモデルとして定義した. これによって, 仕様記述者はメタモデルの制約に従ってモデルを形式化できるため ,この作業が容易になる. また, メタモデルに対しては形式的記述の際の指針を与えることで, ある程度手間を軽減することができる.
A software specification is formalized so that it is guaranteed to be described without a contradiction and a ambiguity. In large scale software, however, it is difficult to formalize specifications. This work focuses on diagrammatic models using software specifications, and defines the meta models that have a semantic description of a diagrammatic model. So, it is enable that a model is described using its meta model, consequently the specifications is formalized simply. For meta models, this work proposes a guideline for formalizing meta models to describe formal specifications easily.
Access Restrictions: 限定公開
Rights (production): 情報処理学会
本文データは学協会の許諾に基づきCiNiiから複製したものである
Periodical Title (NCID): AN10112981
https://ci.nii.ac.jp/ncid/AN10112981
Is Version Of (URI): URI
http://ci.nii.ac.jp/naid/110002931910
Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
Original Data Provider (Database): 茨城大学 : 茨城大学学術情報リポジトリ